skysight-inc/HackerNews huggingface dataset:
You are correct that Ocaml has a ref type (though I believe it is actually a special case of a mutable record with one field). Most stuff I've run into uses mutable records more than refs (granted, I'm hardly deep into the Ocaml way of doing things). There is a small difference between an immutable record of which one property is a reference to changing data and a mutable record where the record itself changes. I prefer the first though I realize this is mostly preference.

2017 was just 3 years ago. Loads of Ocaml stuff rely on versions much, much older than that. In any case, the idea of outright changing a formerly mutable structure to an immutable one would be unthinkable in most languages due to all the breakages it is likely to cause.
It's not partially, it is almost solely. And yes that creates conflict of interest, same one search engines have when they display ads.

When looking at a web page you nowadays have to wonder 'what is the purpose of this page?'. Unfortunately even sites like wirecutter exist more and more to drive revenue, rather than inform the user. The only types of pages where purpose is still non-commercial (in most cases) are discussions.
Its really a shame - I've read somewhere Orion is actually even more efficient in an atmosphere! Oh well, we can still use that somewhere else where the atmosphere is not breathable or worse (Jupiter, Titan, Venus, etc.).
Now heat and power consumption is the bottleneck of laptop performance. Performance laptops uses same CPU silicon to desktop (even different SKU, especially Intel) but their performance is limited.
The Dangers of Replication and a Solution (1996)
Yikes, I never really paid attention to how creepy and inappropriate he was with little girls and young women.
Sounds like terrorism
I wouldn't. Standard ML is good, but it doesn't have the momentum that Rust does, and it doesn't have much that Rust doesn't.
So, it's quite possible that one gets a distro or a machine set up so everything works locally, but you can not tunnel a GUI application or run a remote desktop there. Or that you get a machine where you simply can not take a screenshot to report a bug?

So... I was one of those people rooting for anybody to replace X11 when wayland launched. But given the current situation, I'm just hopping that Red Hat finishes dying off before I have to work with somebody stupid enough to set some GUI system that I need to access, but only runs on a computer where I can not run a GUI.
It can be, and the line may move. Sometimes “systematic racism” or similar arguments are thrown about without context, or with a local context that doesn’t make sense to others.

The republicans have a serious problem, and it isn’t Twitter. Blaming media outlets for not paying attention to things is a well worn if dubious path. It’s hard to give credence to with this story given the provenance of the information and obvious problems.
> It drives me nuts when videos don't use youtube and have video players that don't support playback speed.

I can perhaps sympathize with the playback speed complaint, but I'm quite glad that not all video content on the web lives on a single service.
something something homelessness
What Are Central Bank Digital Currencies?
1. You seem to be projecting a lot of your own thoughts and biases onto this article, and this discussion.

2. RTFM made sense when you wrote code in one terminal window and compiled it in another and then shipped a CD. There is no way you can RTFM for every tool you use at a modern software company. NO ifs ands or buts, it just is not happening. It sounds like you are looking at a nostalgic view of the past, and not understanding the context of the scope and scale of software that is built these days.

3. Engineers should be encouraged to share their learnings with each other to collectively 'raise the tide'. I will never pooh pooh a development team wanting to share their learnings, even if you may or may not think it was a good idea, it may have helped their team or someone reading the article.

4. We've been pushing crap to sell ads since advertising began, grow up and take a longer look, the technology has complicated it, but it's still the same as it always was.
The problem is whose pocket the fine ends up in? If it went to charity the city wouldn't be so incentivized.
I can’t speak for the original post, but I’ve seen other people[1] increase the commit count because part of the build process looks for a specific commit to checkout after cloning. If you have pull requests landing concurrently and you only clone the most recent commit, there is a race condition between when you queue the build with a specific commit id and when you start the clone.

All that being said, I don’t know why you would need you build agents to clone the whole damn repo for every build. Why not keep a copy around? That’s what TFS does.

One other thing I've seen to reduce the Git clone bottleneck is to clone from Git once, create a Git bundle from the clone, upload the bundle to cloud storage, and then have the subsequent steps use the bundle instead of cloning directly. See these two files for the .NET Runtime repo[2][3]. I assume they do this because the clone step is slow or unreliable and then the subsequent moving around of the bundle is faster and more reliable. It also makes every node get the exact same clone (they build on macOS, Windows, and Linux).

Lastly, be careful with the depth option when cloning. It causes a higher CPU burden on the remote. You can see this in the console output when the remote says it is compressing objects. And if you subsequently do a normaly fetch after a shallow clone, you can cause the server to do ever more work[4].

1: https://github.com/dotnet/runtime/pull/35109

2: https://github.com/dotnet/runtime/blob/693c1f05188330e270b01...

3: https://github.com/dotnet/runtime/blob/693c1f05188330e270b01...

4: https://github.com/CocoaPods/CocoaPods/issues/4989#issuecomm...
I've found Adobe to be pretty handsy with their consumers' pocketbooks in the past...
Agree. Polls are a bad metric to rely on. Only 2% of those asked respond. Impossible to get a statistical sample with that. People are bad at predicting their future behavior. They are dishonest, they don't know or just don't want to tell you. There's a huge class divide right now. The bigger the class divide the worse polls are historically. And we know they are wrong this time around. None of the early voting margins predicted have held close. Better predictors are Google trends, rally participation, and voter registrations.
PDF: https://www.microsoft.com/en-us/research/wp-content/uploads/...
For me it's a mystery how phone specs are so good, but their performance is so bad. Always freezing, crashing, long load times, etc.

I have an old PSP (PlayStation Portable) and whenever I turn it on I'm amazed at how fast and lag-free it is. This probably proves that the problem is most likely the software, not the hardware.
Yep--although multiple unpleasant experiences with pinterest have spurred me to permaban it from search engine results and smite it with network filters, somewhat wasteful CI/CD pipelines have clearly not prevented the company from flourishing.
Does anyone know of any good sites, podcasts, books, which have a good analysis of the current economic situation, and an idea of what may happen next? It's hard for me to follow every "big" story about all the crazy things happening right now.
Happy to see people think for themselves and form their own opinion. Good balance in your comment. You left room for doubt and rationally stated the reasons behind your opinion. Refreshing. Thank you.
Twitter's objection was that the New York Post article contained hacked or illegally obtained material (personal intimate photos, etc.). Publishing those materials is a legal grey area.

I don't think Twitter ever said that article was Russian disinformation.
It sounds like the guy is way overexaggerating and basically didn't understand the library he was working with. What he describes isn't anything special - the "Evas_Object" (aside of the weird name) sounds like a HWND in Windows or Window in X. The part about layouts sounds like similar to sizers in wxWidgets which are used so that you can avoid using heavyweight native widgets just for layout that some other toolkits do. The event callback sounds like it uses a generic messaging system - again not much different than something like WndProc in Windows.

EFL is written in C so it does have to work within the limitations of C but -non-toy- GUIs are inherently object oriented so things will be a bit more complicated than Qt that can lean on C++'s support for object oriented programming. Especially since apparently EFL also supports bindings to other languages which may also make things a bit more complicated.
I find the self-congratulatory tone in the post kind of off-putting, akin to "I saved 99% on my heating bill when I started closing doors and windows in the middle of winter."

If your repos weigh in at 20GB in size, with 350k commits, subject to 60k pulls in a single day, having someone with half a devops clue take a look at what your Jenkinsfile is doing with git is not exactly rocket science or a needle in a haystack. (Here's hoping they discover branch pruning too; how many of those 2500 branches are active?)

As a consultant I've seen plenty of apallingly poor workflows and practices, so this isn't all that remarkable... but for me the post seems kind of pointless.
I'm not sure why the artificial limitations on comparison; Twitter and Facebook are wholly active and engaged in markets with governments with such histories. Anyway, if you want such examples, look to the Mexican Dirty War for many, as well as the Banana Massacre. The latter of course was merely a threat to deploy the Marines, but the reasoning announced was not strikebreaking but because the strikers were "subversives"; that is, the US claimed to want them silenced not for what they were doing but for what they were saying.

In the past, I would have said that Posse Comitatus would have prevented such behavior from being directed toward American citizens, but after seeing the mutual-law-skirting nature of the Five Eyes approach, as well as the presence of Federal troops in law enforcement roles in US cities over the past year, I'm no longer confident.
Just an anecdata point but I was one of the people who used Napster for legitimate purposes (I used it to distribute music I created, gaining small recognition that wasn’t something I could’ve achieved otherwise with my music and my means and other technologies available). The thing that was disappointing in the fallout was that it caused many years of evasion tactics that made finding a comparable distribution multiplier very difficult. For my own use, I stopped caring about making music for others and trying to find a way to get an audience, and I happily play and write music now for my own joy and amusement, but I hate to think how many artists really struggled to find an audience the same way and came up short
Well I learned something from this article, and I thought I had a good handle on CI/CD, so either I am incredibly stupid and shouldn't be reading these 'nothing' articles, or maybe there is so much to learn it's impossible to know it all.
I like Nubank, I am a client of Nubank, but I am afraid they are too concentrated in getting press and selling a "woke" image these days.

The VP gave an interview last Monday, some woke people thought they found some misplaced word, and she was almost cancelled during the week, until Nubank conceded defeat. So, is Nubank worried about doing the right thing, or to please Internet activists?

The interview itself was very "wokey"; one interviewer even asked why they don't offer very low-interest minimum payments on credit cards... funny thing to ask from a company that does not generate a profit.
IIRC the wast majority goes out with the propellant & propelant being cold liquid hydrogen also helps.

Still after a burn you would definitely need some cooling until the fision byproducts decay. How much & for how long I have no idea.

If a couple minutes/ hours just running some more hydrogen through the shutdown reactor might be enough. Otherwise passive or active cooling loops and radiators could be needed.

Or maybe not enough fission byproducts form during the tens of minutes the reactor is active and cooling after a burn is not a major concern?
Isn't requiring twitter to publish a tweet also compelling speech?
tripplite and apc will happily sell you UPSes that will use external battery packs, which is the only way you’re going to get an hour.

until you switch to external batteries, they keep increasing the inverter size, which is unnecessary for your use case.

you could also just buy chargers, batteries and inverters separately and wire them together.
Similar incident in Brazil:

https://en.wikipedia.org/wiki/Goi%C3%A2nia_accident

Short YouTube doco:

https://www.youtube.com/watch?v=nhL0xQzPSy8
This is very much an Arch issue. The publicly available debian/fedora pandoc packages are statically linked, and, until two years ago, so was the Arch Linux pandoc package. The change to dynamic linking (and therefore 700+ MB of Haskell-related dependencies) was a deliberate decision made at the time to reduce maintainer burden. A statically linked pandoc is still available on the AUR under the name pandoc-bin.
As a data point, I live in a conservative-leaning area of a purple/blue state. Along my normal driving routes I had seen quite a few, but over the past few weeks they have mostly been taken down (in every case, other republican candidate signs still stand). Scenario one, Trump supporters supported him all the way up until now, enough to donate to his re-election campaign to buy a yard sign, and in the final weeks of the election, decided that they'd had enough and taken down their signs. Scenario two, some random stranger decided that it's their right, nay, their responsibility, to moderate someone else's yard signs.

Not every Trump voter is a "Proud Boy" or noted white supremacist, maybe even some of your friends are who "just aren't interested in politics" because they know that if they were honest with you, you would flip out. Some understand that this attitude about yard signs is actually representative of an entire worldview, and opposing that might actually be the lesser of two evils.
Dell sells a laptop with a full socketed desktop 95W unlocked i9-9900k

https://www.notebookcheck.net/Alienware-Area-51m-i9-9900K-RT...
That's great feature. Even powerful gaming laptop, it can run dozens of minutes that's superior than UPS.
Which i think is a fair approach when you’re early on. When you have a dev efficiency team you’re no longer hiring generalists.
None of that require throwing away the entirety of Xorg/X11, breaking every existing application while expecting everyone to rewrite their code in a completely different way, breaking a ton of existing workflows (often without alternatives) and splitting the already tiny Linux desktop in half.

Every single thing you've mentioned can be fixed with Xorg/X11.

(except subpixel antialiasing because that already existed for a long time, i'm not sure what you refer to)
Totally agree. Example: now that Node.js supports native `import` and `export` from modules I can see how many JS libraries will not need a transpilation step.

On the other hand TS seems to be more and more popular, which requires a compilation step.
For one, ISPs aren’t social media companies. If my ISP censors information, then effectively I have no way to access that information, particularly in cases when there’s no other ISP in my area.

A social media platform banning certain content is different. Just as we have alt right media sources such as Breitbart, nothing is preventing you from starting your own social media platform, with whatever content you want or don’t want.

At the end of the day, you still have a variety of content sources on the internet to consume that same content. Twitter is not the only source of information, and if you believe it is, then we have more serious problems.

I was literally banned from r/conservative for posting a question that folks found very inconvenient. Should they be forced to reverse the ban? How far do you believe is too far?

In my opinion, this is pretty clear cut. If you don’t like Twitter’s policies, don’t use their website.

I’m surprised the free enterprise conservatives are actually the ones so against this. “We want government to get out of the way... unless it furthers our agenda and helps us stay in power, in which case, let’s threaten to regulate or break up private companies.”
This is true of many laptops, too; most of my laptops are ancient thinkpads and dells with upgraded memory and disks.
It helps that people are speaking up. People need to rein in the bullies.
Single_file_libs: List of single-file C/C++ libraries
That’s correct, it is also true that most people aren’t worried about that and can live their lives in a “rated PG” environment

Using platforms which fit that mold

We shouldnt be vicariously offended on every topic that happens to involve the government of China
> It's not 2000 anymore.

This is true, but not in a way you think. Conventional wisdom tells us that you're gonna need completely different approaches across the stack (not just technological but organizational as well) when a problem size grows 10x, and the web has grown about 100x from 2000.
On NTRs (and space reactors in general) you only need a "shadow shield" that casts a radiation shadow in the direction of thing to protect (crew, sensitive systems).

This makes the necessary shielding much less than a full sphere, reducing the mass to a mere fraction.

Thing get a bit hairy though when you need to dock with something or even when running multiple engines (the neutron balance would apparently be totally wrong).
Also worth noting that git is pretty efficient at cloning a bunch of subsequent commits, due to delta encoding.

edit: looks like git doesn't implement fetching thin packs when populating a shallow clone. It will still avoid fetching unnecessary packs, so the efficiency is still high for most software repositories.
If I ask you today, would you choose A or B?

A) 5 chocolate bars on January 1st 2021

B) 6 chocolate bars on January 2nd 2021

Almost anyone would choose B, because:

- the risk of not getting paid is almost insignificantly different between those two days, and

- the value of a chocolate bar will not drop much in a day

But, if offered the choice on January 1st, many people would choose to have 5 bars immediately, rather than wait a day for 6 bars.

Now, you're right, this might be because you're worried about getting paid, and 0 days' risk vs 1 days' risk is quite different. The famous marshmallow test is apparently an example of this: for the kids who had experienced less stable/reliable circumstances, it seemed crazy to wait and risk getting nothing.

But, even when the counterparty risk is ~zero, people exhibit similar time-inconsistent preferences.
I’ve been an IntelliJ customer for 4-5 years. Their ide has worked well for me.

But I’m preparing to migrate. Now that MS has set their focus, I just don’t think IntelliJ tools can compete.

It’s going to be like trying to sell a browser.
Google vs. Oracle – Case Overview
I fear this is exaggeration. San Francisco has a few nice restaurants; but many, more affordable cities do just as well or better. The problem facing SF restaurants is the economics: it's so difficult to afford a place to live there, that kitchen staff definitely can not afford to do it. Combined with the relatively poor access story -- it's surrounded on 3 sides by water -- it means the core staffers have to be recruited from hours away, two hours or more. Restaurants definitely got worse in the last few years that I lived there (up until early this year).

There are exceptional cuisine resources in San Francisco, and amazing grocery stores, like Bi-Rite and Rainbow, but as a whole the situation neither benefits from the culinary community that it used to have (how many people have moved away) or from the kind of consumer that it used to have (well to-do kids just out of Stanford or a midwest school are not people who know what buffalo mozzarella is, or why you'd want to buy it, but their money rapidly became the only money that mattered).
I don't know that Wayland is slow, but Gnome was. They fixed several big performance problems recently.
Oh I've heard and read about this. There's a great Mexican podcast that talks about this "accident".

The outrageous thing is how incompetent, corrupt and lazy our Mexican government is. That this radioactive material was used for construction. And there ARE still radioactive houses all around the country. And of course nobody is responsible. It was just due to the USA intervention that the stupid Mexican government did something (albeit half asses).

My country is a joke.
yeah,esp given 2500 branches
Sure, starship is a perfect first step (finally!) but nuclear propulsion in some form will almost certainly be used in mid to long term - you can do a lot with orbital refueling but the double plus good ISP can't be ignored.
The NYT's media columnist had some behind-the-scenes reporting on the Trump campaign's attempt to get the Hunter Biden emails into the Wall Street Journal. The WSJ reported out the story and provided the necessary context. The story ultimately concluded there was no evidence of malfeasance on Joe Biden's part.

The kind of reporting the WSJ did here is worlds apart from just leaking a bunch of documents without any context, and I'm glad we have real journalists doing it this time.

https://www.nytimes.com/2020/10/25/business/media/hunter-bid...
Not even close both thrust & ISP wise. "Initial commit!" version of it at most. ;-)
> This works to a degree - each thruster weights something

A lot less than the fuel for chemical or propellant for nuclear thermal, though

> and has cooling requirement.

That's for the electricity generation, not the thrusters

> Also wear and tear if you run them preatty much continuously.

The whole point of using thrusters is to run them continuously. No moving parts.
And I hope that Microsoft does. This would be a case where the veritable army of lawyers they have could do much good -- and the RIAA would back down almost immediately, they are good at bullying small players but Microsoft?
You're misreading or confused or something. The 538 piece points to a ~10% swing away from the (in the case of black voters) 82% that favored Hillary. This is very different from a swing all the way to a 10% preference for Trump. A bigger turnout by (these) minority voters, assuming they cast votes even vaguely in line with this polling, is more votes in Biden's column than Trump's. That's bad news for Trump.
no comment?
I don't think there's a way to not use monads, because a ton of everyday things just work in a monadic way, things like lists, or statement sequences in presence of exceptions. I think it's wiser to admit and use these properties instead of ignoring them.

Ignoring maths that underlie computation when writing software is like ignoring math that underlies mechanics when building houses: for some time you can get by, but bigger houses will tend to constantly fall or stand a bit askew, and the first woodpecker to fly by would ruin the civilization, just as the saying goes.

Uniqueness types were a nice idea indeed. I suspect linear types (or their derivative in Rust) do a very similar thing: data are shared XOR mutable.