skysight-inc/HackerNews huggingface dataset:
> So, the burning of the library at Alexandria was a catastrophe for our understanding of ancient civilization, but enough was preserved that we still have what is essentially a Greco-Roman understanding and practice of government, philosophy, history, etc.

I think that's a bold statement. This is circular reasoning: since we know resources that we have, obviously we know what they do contain. I remember university lectures on ancient Roman history, conducted by a serious researcher in the field, where he said how our general understanding of Roman political system could be changed if we had a couple inches less (or more) of papyrus of Festus: an author who lived way after the interesting stuff but managed to survive. In fact historical writings that are preserved for us seem to have seriously warped our understanding (in a pro-Senate & optimates, conservative way). Only relatively recently we are trying to correct that by reaching for some more obscure sources and reading more closely. Many important things we will never know.

Obviously people caring about history will be always a small portion of the population, just as with many other pursuits.
It's an interesting observation.

Maybe "~all" women expect to have kids?
Thanks. I was too lazy to look at them all.
No, they were IRC dumps of the internal communication between moderators as they did their job over the course of a few months. It was a lot of content, I think one of the reasons I saved it as 4 text files was because it was overflowing notepad or something.
...will add that, yes, a terrifically-horrible code base can and will depress you -- as in, clinical depression.

i think just like anything, spend some time studying the code. maybe it will eventually start to make a bit more sense once you become familiar with the over-engineered, abstracted-to-hell piece of shit object-oriented codebase.
I guess you'd find out if you published it?
In France there's a famous singer who beat a woman to death, by the same logic this is private business between him, the justice and the woman's family?

I say no: at some point I don't want to be 'entertained' by someone I despise, even if I understand that this also impacts the rest of the band..
Why AMP for email is bad
It's lucky for Apple that most of their users have an outdated idea of what current versions of Windows

I am painfully reminded of the current state of Windows every time I sit down to my Windows 10 work computer. I have current versions of Linux running at home and in VMs on my work desktop. (Unlike Windows, I think Linux is fine.) macOS would have to get a lot worse before I'd ditch it for either one of those.

I mean, do you seriously think I'm switching operating systems because the release notes are hard to read?
It's probably the only country that exports oil and is not a shithole (for a lack of better wording), or a dictatorship.

Edit: with oil being the highest export
How do you make it fair if one type of car is guaranteed to wreck the planet? Hard to level that playing field. But Norway seems to have done a decent job of it.
I really want that to be true, but try having your car battery die 3 times in a single week of -44 degree celsius (-47 fahrenheit) weather. Or, less dramatically, watch your phone go from 100% charged to 5% charged in just 30 minutes in that same temperature.

I'm no physicist, but anecdotally, you are very very wrong.

UPDATE: See hwillis' comment below. I'm so very very wrong, and am ashamed of my ignorance.
As noted some countries have an appointed president (not for life) without much power that takes a similar symbolic (head of state) role to a monarch/Governor general in a constitutional monarchy (democracy).

Like the German or Israeli presidents
As I understand it, cooling the data centres uses as much electricity as the servers themselves use[1].

Of course you could make a very good case for including that in the electronics usage totals anyway.

[1] http://large.stanford.edu/courses/2018/ph240/mangu2/
Well, if you're going to blame non-EV cars for all sorts of negative externalities, you're going to need to figure out how to credit them for the positive externalities too. That's a tall order.
Whatever word you would suggest as an alternative today would soon enough sound just like "problematic" to you now. Your objection isn't really the word, but the idea.
Yes!

Dafny puts this stuff front and center, it's all well and good to think about invariants, but if they're just expressed in a comment and not actually verified, they might as well be filler text!

If there's anything I hope the mainstream adopts at some point, it is some variation of what Dafny offers here.
Money quote:

“We found out that it’s a super winter car,” says Jens. “It’s so fantastic. It’s much easier and better than an ordinary car.” He likes that you can heat the Model S remotely via an app, so that there’s no ice or snow on the car when you’re ready to drive it. He also says the winter range is almost the same as the summer range. In December, he and Røsnes took the Model S to an ice hotel in Sweden, 200km from Narvik. The temperature dropped to -40 degrees Celsius. It was so cold that the trains couldn’t operate and the diesel in the buses froze. But the Model S was just fine."
Its basically just a tax trick to make us look and feel better about all these oil fields we're harvesting at full speed
"And the more abbreviated, the more you will have to continuously look up things in the reference manual until they get cemented."

But something like "fn" isn't going to be a problem, because you're going to use it a dozen times before you finish the tutorial. Symbols are also OK in proportion to their commonality. Rarely used symbols become more problematic. This can be mitigated if there's a clean way to find documentation for them, though you can't get around the problem that google is unlikely to ever be useful for them.
I was rather disappointed in this article, since it was making the connection to calculus. Where is the curve of acceleration? Where is the curve for jerk? Where is the calculation for maximum force on his body from that acceleration?

https://en.wikipedia.org/wiki/Jerk_(physics)
> One of these is roughly a thousand times more valuable than the other

Is 4 million people who aren't your target market really a thousand times more valuable than 4 thousand who are exactly your target market?

> What's a post to a thousand followers worth? A few cents, a few dollars? Nothing close to the $300 of food and accommodation they might ask for it.

Again, a post to a thousand followers who are exactly your target market, already looking to spend a significant sum of money, and who will take the influencer's recommendation extremely seriously, could be worth far more than $300.
Gitlab would benefit from this in the context of their autodevops featureset
While not famous myself, I do get a single page of memory lane [1] about the AOL communities (plural) around the SNES game Earthbound. It isn't much, and a VERY BAD EYE SORE, but thinking back about all the stuff I said / posted / got TOS'd... I think I'm fine with that getting lost to the Aether.

[1] http://www.angelfire.com/ga3/ebhistory/archive.html
Utility in AI – Peter Norvig
Apple used to put effort into the details, that was the main reason their products were great. That attention to detail has been lost.

>When macOS updates delete the user's documents directory we can start comparing it to Windows.

https://tidbits.com/2009/10/13/apple-acknowledges-guest-acco...

>When logging into the guest account, if the computer hangs, it is possible that, upon returning to your primary account, you’ll find that all of the files and folders in your user account have been erased and that your account has been reset to default settings. Your account’s path still exists on the hard drive, but everything has been erased from within it.

https://www.macrumors.com/2018/02/19/apfs-bug-macos-data-los...

>Two related problems are identified by Bombich, above. The first is that the free space on the APFS-formatted sparse disk image doesn't update as it should when the free space on the underlying physical host disk is reduced. The second problem is the lack of error reports when write requests fail to dynamically grow the disk image, resulting in data being "written" into a void.

https://macperformanceguide.com/blog/2019/20190305_1246-macO...

>Copy a folder with dot files to another destination (I used ".icj"). Change one of the dot files. Repeat the copy. When the Finder offers Cancel or Replace, choose Replace.

>PROBLEM: the copied folder contains old data in the invisible ".icj" file.
They did not. I think those are their own passwords if the user used directly the app without FB login
Acme cords are very simple: http://acme.cat-v.org/mouse

They're basic verbs you use to interact with text; not a full command. E.g instead of executing "format document" from a menu, you select the document with the left mouse button, and then middle click on the word "format". This executes the "format" command on the selected text. Somewhat like running gg=G in vim.
Ethiopian Pilots Followed Boeing's Safety Procedures but Couldn't Prevent Crash
Facebook data found on publicly accessible Amazon servers
Blind admissions based on grades alone sounds like a terrible way to prevent cheating or select college applicant in general.

But that’s because I believe strongly in the power of outliers and that systems need to support and foster those outliers to achieve the best outcomes.

The smartest and most qualified applicants often don’t have the best grades. In fact I think a purely grades based system would be far from optimal, select for the wrong strengths, and miss many of the best applicants.

Of the top 10 universities ranked by number of Nobel prizes, the US holds 8 spots. US is doing something right.
The following anecdote is from https://courses.csail.mit.edu/6.042/spring18/mcs.pdf:

The Invariant Principle was formulated by Robert W. Floyd at Carnegie Tech in 1967. (Carnegie Tech was renamed Carnegie-Mellon University the following year.) Floyd was already famous for work on the formal grammars that transformed the field of programming language parsing; that was how he got to be a professor even though he never got a Ph.D. (He had been admitted to a PhD program as a teenage prodigy, but flunked out and never went back.)

In that same year, Albert R. Meyer was appointed Assistant Professor in the Carnegie Tech Computer Science Department, where he first met Floyd. Floyd and Meyer were the only theoreticians in the department, and they were both delighted to talk about their shared interests. After just a few conversations, Floyd’s new junior colleague decided that Floyd was the smartest person he had ever met.

Naturally, one of the first things Floyd wanted to tell Meyer about was his new, as yet unpublished, Invariant Principle. Floyd explained the result to Meyer, and Meyer wondered (privately) how someone as brilliant as Floyd could be excited by such a trivial observation. Floyd had to show Meyer a bunch of examples before Meyer understood Floyd’s excitement — not at the truth of the utterly obvious
Invariant Principle, but rather at the insight that such a simple method could be so widely and easily applied in verifying programs.
yeah....but you do not need to cut down a tree to plant a new one.
The increase wouldn't be evenly distributed though. Industrial areas where huge buildings need to be heated and a lot of freight traffic happens might see a much larger increase in power demand than a remote farm.

If we manage to coordinate the charging patterns of cars (for example with electricity prices that change by the minute based on local demand) we might not even need to replace most of the residential grid: Personal vehicles are mostly charged over night when load is currently at 1/4 of the peak handeled in the evening. A lot of other uses like heating can also be shifted with the right incentives to not occur at times of peak usage, further reducing the load increase.
Canada exports oil. We are neither a shithole nor a dictatorship.
What the page presents is a tool for producing mathematical proofs. Proofs are really useful for mathematicians for with them you can derive lots of truths about mathematical objects. For example, it is true that if q^2 = 2, then q is not a rational number.

In the same way, using the tool on the page you can prove that 1. the while-loop terminates. 2. the invariants hold, meaning that your program is correct. Yes, you can encode the proof in a machine-checkable format but that is missing some of the point. Just like with mathematical proofs, the major use of the proof is to communicate with humans.

Also the same techniques used to prove invariants by hand can be used by compilers to implement smart optimizations. In the sum example, the compiler could deduce/prove that sum = \sum_{i=1}^n i and replace the loop body with n(n+1)/2. I don't know if any compilers do such advanced optimizations but theoretically they could (in trivial cases like these - in general, proving properties about code is as hard as solving the halting problem).

Other proof techniques involve finding upper and lower limits of variables which are used to store values in more efficient types. For example, storing an integer as an int32 instead of int64.

To really understand what's going on read https://en.wikipedia.org/wiki/Hoare_logic. The article's proof uses Hoare logic but implicitly, without the notation, so understanding how the proofs work is hard.
This is cool and I could see myself using this, but I wonder why it's necessary to `import cog` in the examples? Seems like it'd be better to just include cog implicitly in the namespace by design for these snippets since you're practically always going to use it.
I guess but it's ultimately unnessecary when the Oscars are dying without anybody else being involved. Seems like a massive waste of the Justice Departments resources with so many other problems that aren't working theirselves out. The Oscars were dethroned as the dominent movie rating platform by Rotten Tomatoes long ago.

There are also worse problems than the Netflix exclusion like the rampant nepotism and the very existence of "Oscar campaigns" where you can pay your way to oscar votes from people who never ever watched your film. Happens every single year.
I think that might be the same approach...
Thanks! Working on an awesome list.
I agree, it'd be nice of them to stop exporting oil so that other, less clue-having countries (like America), are pressured into making sane decisions for the long term.

It's probably not going to happen when America is led by a president who is making really incisive arguments against renewable energy like

> And you know, don’t worry about wind, when the wind doesn’t blow, I said, “What happens when the wind doesn’t blow?” Well, then we have a problem.

without anyone taking him to task for it.
Ok cool. So the best way to do this is that I have found is to use the vertical spit view (selected using the icon to the left of the settings gear icon, in the upper right of the gmail window).

This allows you to use the keyboard ('j'/'k') to navigate through the list of emails, and just hit 'e' on the ones you want to archive. Downside is, the content of the email still loads in the preview pane.

If you don't want emails to automatically be marked as "read" when you select them, you can go to the settings gear, "Inbox" tab, and change the length of time a message is displayed in the preview pane before being marked read to "never".
Woman with Chinese passports, malware inside Mar-a-Lago facing charges
Norway (population 5.3 million) is the 14th largest exporter of crude oil in the world.

https://en.wikipedia.org/wiki/List_of_countries_by_oil_expor...
Very good points. The challenge with libel/slander (in the US) is that bears a high burden of proof; I'm allowed to say "OJ Simpson is a murderer", so long as I believe it to be true, and/or I'm not doing so with malicious intent, both of which are very difficult to disprove. So while The State does an interest in reputational assault, it's quite narrowly scoped.

The desire to punish cheaters is ancient and instinctual; but the other side of that coin is shaming a violator of norms (whether guilty or innocent) is also a group bonding experience, and potentially a selfish means for signaling one's moral high ground to the tribe. Rene Girard's Scapegoat Theory presents an interesting model of the phenomenon: https://www.iep.utm.edu/girard/#H3
A person should never be trusted for this. Airplanes are more reliable because the processes (and tech) are improving, not the people.

The problem here was that the process got too expensive, so Boeing was pressured into skipping it.
Another place to use this is if you're designing a new bit of code and want to write the design out before you write the code, rather than code first (or as the code is being produced, where at times it's non-executable because you have holes in the program that are filled with these textual descriptions).

You could put some of these into asserts or similar. Like for the three way partition. Create an assert that at each iteration the array[:low] values are all less than p, array[high:] values are each greater than p, and array[low:mid] values are each equal to p. If it doesn't hold then you know your code is wrong. This does induce a performance hit, but asserts can be turned off for deployed code.
A friend of mine interviewed for Goldman last year. All the senior software engineering positions were Vice Presidents.

He told me that according to his friend who works there and got him the interview, none of them are comfortable advertising that. They all choose to put "Sr. Software Engineer" on LinkedIn instead of their actual titles because nobody outside finance would understand why they're a VP.
Hacker Eva Galperin Has a Plan to Eradicate Stalkerware
Swift and vapor I wouldn't have even known to look up, thank you.

Cool, so the hype died down but a lot of the substance is still there, that's helpful too, thank you.
Facebook and social media, in general, has done a lot to bring the "dark web" forward to the masses.

What i think sucks the most is that if you silence this nonsense the result isn't that they quietly retreat away but they weaponize the silencing as censorship and it they use that to boost their signal and people see/hear the controversy and instead of letting it fade away like it should that controversy is boosted on social media and it gives them some appearance of validity.

same playbook fascists use
Here's my update menu: https://imgur.com/a/rlZzKzF

Where does it say whether or not it requires a restart?
>Hmmm, you assume everyone understands that fn means function and that a void function is the same as a procedure.

No, I don't assume that. But I think that that's irrelevant. People didn't know "def" means function in Python or Scala either, but they learn it on the first day and don't have a readability problem with it.

Very basic keywords like "fn" are not the things that make a language unreadable, nor is calling the keyword "fn" instead of "function". Those are memorized in a day or so and you're done with it.

It's other things that make languages unreadable (too many sigils, overloaded operators or keywords in different contexts (C++, Perl), single letter operators (e.g. APL), too low level, too much verbosity, etc.

In any case, whether a person that first encounter a language immediately recognizes what a keyword means is not what makes the language readable. It's how readable it is to its programmers, after they know the language and have written code in it that matters. Familiar != readable.

>Everybody and their grandma can read Pascal and Ada, but abbreviated keywords and magical symbol require foreknowledge.

And almost everybody and their grandma dislike their syntax (especially Ada's), and would prefer something less verbose.

>And the more abbreviated, the more you will have to continuously look up things in the reference manual until they get cemented.

It's after such basics "get cemented" that readability comes into play, not before. If someone has to look after 2-3 days with the language what "fn" means or how to declare a function (and similarly, "def" in Python/Scala, etc), they have some serious memory issues.

(Btw, Rust, Clojure, and others also use "fn").

>Not sure what you mean here - discriminant unions? classes?

Yes, aka variant, aka tagged union, aka sum type...
Flying Lotus: from beatmaker to cultural visionary
As a progressive and hip vancouverite... the part of canada that exports oil is a bit of a shithole and rather authoritarian when it comes to their dealings with the other provinces (thanks for the pipeline alberta!)
You happen to have any examples of positive externalities non-EV cars have that EV cars do not have?
You sound like someone who definitely has a lot of the surrounding context and some of the intimate details of this story. Can you tell us more?
WeChat does all three of those, plus payments and food ordering. Basically everything Facebook wishes they could do, WeChat does it for about 1B people.
My Model 3 gets about 70% of range in freezing temperatures, (25F, or about -5C). That's driving 75MPH with the butt warmer on. (About 115KPH.)

The range improves if I turn the butt warmer off and the heat down.
Org-Mode Your Life
> Duck Duck Go has a similar problem for cloud and thrush, but if you click the “meanings” tab, it lets you switch results over to what you meant, and then gives decent results.

This is a good idea but not well implemented. For example, searching Python displays a relevant carousel of "meanings" - you have the snake represented, and the programming language. But choosing an item from the list simply changes the search term.

This is particularly bad with "Ruby". Perform a search for Ruby and then click the 'a pink to blood-red colored gemstone' meaning. Observe that the top result now that you have clarified is "Ruby Programming Language".
I should have added: country with oil as highest export good.
The US exports oil, so which is it - a shithole or dictatorship according to you?
I almost gave up too, but after (admittedly) a lot of battling I finally got GPG to work well with my yuibkeys, allowing a portable SSH/GPG identity using a single yubikey over several machines.

I also got GPG agent forwarding to work transparently and with improved security by forwarding a dynamically created unix socket instead of a TCP socket. It allows me to do remote code signing, as well as chain through a bastion host.

Aside from jamming up with ansible occasionally, the setup is reliable.

I've documented the process for my own reference as much as I could here (yep, a fifth guide): https://github.com/naggie/dotfiles/blob/master/etc/yubikey.m... -- see functions.sh in the same repository for some mechanisms to automatically manage gpg-agent and the sockets without getting deadlocked.

I hope someone finds this useful. I'll certainly be trying the opensc method here though, out of interest.
I’d argue that the theatre limitation would be detrimental as it’s a entranched industry that has not been shown to be moving forward for a long time.

Cannes’ festival makes it an actual requirement to be shown in theaters, and I think it discredit lot of the prestige that it had, now that truely excelent pieces are tv only or streaming only. All the more so, showing in theatres has legal ramifications that go beyond art and movie making.
I used to watch TV a bit when I still lived with my parents. I've never owned one since. I watch shows online when I want to, but there's no "just put the telly on" function. Makes it pretty easy...