jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Modern science favors the opposite of Darwin's method. Papers noting results dispredicted by the prevailing consensus theory are harder to publish, and much harder to get discussed. Calling attention to them is considered career-limiting (although it makes good copy in the popular press).

Even today, the large majority of papers on Alzheimer's assume amyloids are the root cause, despite decades of utter failure. Magnetic-confinement fusion draws more money than ever -- now, even VC money -- despite break-even and practical power generation being predicted no less distant than 50 years ago; difficulties known of back then but not considered worthy topics stall progress today; others, their equals, remain unpopular. Causal theory was understood a century ago, but suppressed by the Statistics mandarinate, apparently in large part because it supported the claim that smoking caused cancer. It is discussed today largely as a result of Judea Pearl's revival of those century-old results, after its opponents' death.

Nature doesn't have a consensus; a minority alternative that accounts for the same phenomena is equal, in nature's eye, to an older model, and it and the older model can both be equally wrong. Often both alternatives are contradicted by evidence, so which prevails depends on which evidence is systematically ignored. The expression, "Extraordinary claims demand extraordinary evidence" is most usually used to suppress the ordinary, dispredicted evidence that Darwin's method would place front and center.

Max Planck is quoted, "Science advances one funeral at a time". Modern institutions seem designed to enforce it.
> My friends in Geneva tell me that this has been a thing there for a long time. It has some pretty bizarre effects on the market (according to my friends):

One important difference between Geneva and Denmark though - Genevas extremely expensive housing market (in both purchase and rent prices) is driven by its geographical location. It's surrounded by mountains on most sides and sitting on a lake. This means there's pretty much no space to build more buildings to accommodate the influx of people moving there to work in science and politics.

Geneva building prices were skyrocketing without those loans just because there was no way to build more.
I love learnxinyminutes.com: ad-free concise single page reference/tutorials. Such a simple idea, such great execution.
Are there any good resources (similarly short and informal) about doing proofs in Coq? I don't have anything particular to prove, but I find it interesting and would like to build up intuition for the Curry-Howard Correspondence.

Also, more tangential, but this comment section might attract people who know the answer: any good resources for getting started on type systems more generally?
It would've been fun to put some piece of treasure for the next adventurer. Maybe a time capsule or even a single silver coin (only about $20) would really delight someone. This has me thinking I should do something like this in my house.
Of course I'm not saying single multiline textbox for every app out there. That would be crazy. :-)

But I'm always surprised how many sites ask for information that will never be used for anything, and assume things like the lenght or characters valid in zip codes or phone numbers.

I heard these days on "There is no such thing as a fish" podcast there is a country somewhere where the post office locates places by directions given by the sender! And that is officially accepted! Crazy world, try validating that. :-)
You bring up a good point. China would never dare a direct confrontation with NATO (or even the US) because of mutually assured destruction. Instead we could potentially see a China-backed Taliban.

The Taliban (on the world stage) is relatively innocuous currently compared to what they could become if they had the backing of China. Of course, aiding an unstable militant group would be risky but, if there's enough money involved, it could happen. (It's not like the CIA hasn't tried the same thing numerous times in the past.)

I think worst case scenario is that we could see a completely Taliban-operated Afghanistan that is heavily backed by China, enough so that China has a controlling interest (so to speak) in Afghanistan's affairs. If Afghanistan were to become a pseudo-vassal state, we could see a US backed Iraq or Israel come into some kind of confrontation with the state, although at that scale we get back to problems presented by nuclear war.
There's been quite a few robotics start-ups coming up in the past few years (a new CMU spin-off was announced literally two days ago). It's amazing that with all the university talent in the area, it's still so hard to find qualified people.
Apple eliminating them if that happens?
Which is odd because BestBuy used to sell unlocked E71 handsets (one of the best phones Nokia ever made) for 60-70% of the European retail price! They are like BlackBerries but actually good.

I got mine for $250 SIM free, no contract. It worked fine on AT&T and T-Mobile (US).

They also made an AT&T specific locked version called the E71X which had horrific software deformities and was much more expensive.
There is a certain irony in claiming that '"tweet" has not yet achieved the status of standard English', and yet "it has appeared 18 times in articles in the past month, in a range of sections".

Surely, the NYT considers itself a good sample of standard English usage?
Excellent, that's one box checked. Now all I need to do is play Duke Nukem Forever and two things I thought I'd never see, I will have seen.
The problem with this memo is that it conflates the use of "tweet" as a noun (useful and precise) with its use as a verb (much too casual for formal use). I agree with the author as to the latter but not as to the former.

There are some contexts in which a certain level of formality helps keep an elevated tone that suits the forum. I think the New York Times is one such forum. It has a long tradition of maintaining "standard English" and at least some significant portion of its reader base might be jarred should its reporters suddenly lapse into forms of expression that depart sharply from that standard.

"Tweet," though, at least when used as a noun, is really what I would call a "term of art," that is, a form of expression that captures a range of attributes not easily otherwise expressed except in wordy or imprecise ways.

Casual-sounding as it may be, it is the one word that describes perfectly the form of short message that one transmits to those to whom one is connected on the Twitter platform.

Thus, in one word, it describes:

1. The type of platform on which the message was sent (Twitter).

2. The fact that is 140 or fewer characters and hence either a short phrase, single sentence or two, or other informal expression of thought about a subject (as opposed to any form of carefully developed argument or expositional form of expression).

3. The fact that it is sent originally to those who are "following" such the sender, who may be but likely are not intimate with the sender (Twitter being a very public platform).

4. The fact that such a message can easily be spread virally by those followers to others who are in turn "following" them or can be linked to from a wide variety of sources from all across the web.

Given that the paper's own (highly skilled) writers had used it 18 times within just the past month confirms this. "Tweet" (used as a noun) is a good, solid word - precise, accurate, pithy, and almost certainly carries a meaning that is well known to anyone who knows what Twitter is. I don't think it has a good substitute that is not either wordy or imprecise compared to the word itself. That is why it is a useful term of art. For that reason, it makes no sense to dissuade use of "tweet" as a noun, and I think the memo author is plain wrong on this.

I would side with him, though, when it comes to "tweet" as a verb (as in, "I will tweet you"). This is much too casual for a formal publication such as the times. There is of course nothing wrong as such with this verb, and the issue is strictly one of tone. But the author is right that, in terms of tone, the word is misplaced in this particular publication.

Edit: point well taken, ismarc - a different rationale from that of the memo writer but a sound point about avoiding reader confusion, at least until the term acquires broader general usage.
I can tell you not to purchase Dell Studio laptops. Mine from Nov 2009 runs extremely hot (on the top surface, which touches my hands).
I was at a wedding two weeks ago, filled with non-technical, non-Silicon Valley folks and in one of the songs before the wedding they ad-libbed in the word "tweet" for "call" or "write" or some other verb.

Everyone in the audience got the joke and laughed.
I also landed my current job via Craigslist. Some companies post there directly, and it's pretty easy to spot and weed out recruiters.
"To shut off such an important asset in the history of Web 2.0 really means they’ll pull the plug on anything."

I wonder if we'll ever see "historic districts" on the web in some form. I can't come up with any idea of how it would work, but I'll be fascinated to see how historians deal with the ephemeral nature of web content.
This is why I prefer to do shorter, per-project contracts. It allows for rate changes (up or down) if desired, or a clean break if not.
Shouldn't you increment the cost?

I actually thought of milliondollarhomepage.com looking at your site.

If the URL is more interesting, you might be on to something very interesting. If it catches on, people might buy themselves some media attention just by buying the image.

Love your idea.
It's generated on the fly from vectordata. The dataset is huge, but not at all on that scale.
Tactile feedback is crucial here.
Don't these also have poor indoor air quality since they don't frequently exchange air with the outside?
4.2% are related to YC! I wonder how many are related to Stanford or another institution?
And all of us in quieter nations, who have been laughed at for not having "real" free speech, are wondering what you are on about...
> In my mind any system involving hundreds of millions of people

in a popular vote elections even a hundred thousand votes would be just a rounding error. In US electoral system just a few counties going wrong way could turn the elections, ie. theoretically "some bad actors, mistakes, fraud, etc." would be enough to do it. Add to that the facts like Dominion Voting Systems (whose machines were used in some of those key states and counties if i remember correctly) being a client of SolarWinds ... and one can have more than enough for a good conspiracy theory. At least i have :)
Sometimes it's almost as if the people I speak to are from a different planet. I have to explain what Facebook did to their brain.
Do you feel the same way about AES?

It is also in the interest of the government to keep their own computers secure.
I don't think there is mastery in this work. I've been doing this for decades, and I still think my code from 6 months ago is crap, no matter how much I learn and improve.

Mastery would imply that you can do it all, and do it right, on any project, and there is just too much change and evolution for that to ever be true.

My goal is simply that I continue to improve.
Politics being a single bar is one of the problems. People have values that do not fit in any one place on the bar.
He never said the commit will be big. He just said the commit will "replace entire module(s) flawlessly" which you seem to acknowledge can be sometimes done with as little as a single character.
I love this analogy[0], but to play devil's advocate I do a lot of tipping in cash and it's kind of a pain to break down big bills, so I can see some benefits to normalizing more digital options that actually work.

My bank is digital, it doesn't have a local branch, and most ATMs around me dispense cash in $20 bills. So I can make a small purchase near the ATM if it's in a shop and then ask them to give me change in smaller bills, but usually there's nothing I want. I don't have a local branch to drive to, but maybe other banks would help split bills? It's not awful, but it is pretty inconvenient.

Of course, the way to fix that might not be for everyone to standardize on iPhones, it might be to just have more ATMs that dispense smaller bills. But I do see why someone would find tipping primarily over, say, Venmo preferable, even though I don't think that appeal is enough to outweigh the benefits of cash tips (privacy, universal compatibility, simplicity, etc) in many situations.

Or I could just start tipping everyone everywhere in increments of $20 bills I guess, but I'm not that generous.

----

[0]: assuming you did actually mean it as an analogy for dropping cash for digital payments
JS symbols are the opposite of what you are saying.

If you have five instances of `:foo` in Ruby, you can guarantee they will be IDENTICAL.

If you have five instances of `Symbol('foo')` in Javascript, you are guaranteed they will be completely DIFFERENT.

JS symbols are like Common Lisp's `gensym` which it uses to guarantee macro variables won't collide with existing variable names.
Do you have anything in concrete to share with us or you simply like the clicky sounds your keyboard makes?
Same goes with India as well.
I have always wondered about this, may be it is the trade-off between getting caught and the sheer desperation to make money that tilts the moral compass to act in unethical ways.
It's repeating the same patterns it learned from text. Maybe with different specific objects, but still. One good way to test this is to ask it to count. It will break very soon. A person is able to build a rule in their head: "one apple is 1, two apples are 2, three apples are... 1+2 = 3".

Let's test GPT-2:
https://huggingface.co/gpt2?text=One+apple+is+1%2C+two+apple...

Prompt: "One apple is 1, two apples are 2, three apples are"
Model output: "One apple is 1, two apples are 2, three apples are 4, four apples are 5, six apples are 7, seven apples are 8, nine apples are 10, ten apples are 11 (for apples being the perfect length of life)."

Even if you use a special dataset to each it to count, it won't be able to count beyound the examples in the training set. So it's spewing plausible-sounding gibberish at you (i.e. approximating the training set distribution)

It doesn't generalize. Not in the sense that it can't give you a phrase that didn't exist in the training set. It can. But it can't give you a new kind of phrase, of a "kind" that didn't exist in the training set.
What's intuitive about Cmd K? Because cropping kind of resemble K because in Uzbek cropping is "kesish" therefore K is the first letter of cropping?
You are confused about wiki, it's encyclopaedic articles and an overview, a good jumping off point (that's what the references at the bottom of the page are for, does this help https://en.wikipedia.org/wiki/Master_boot_record#References), not the sum of all human knowledge

"If i have to edit it to make it accurate, why should i rely on wikipedia in the first place?"

And there we have it, the entitlement with no expectation of giving anything back. It's for other people too. You're not the only person who uses wiki, you just haven't realised it yet.
They’re evidence, from a large cross section of the world, of what humans have been doing since the dawn of the written record. Nearly everyone spent their lives working, eating, raising children, and fighting. That’s what an American shares with people in a Bangladeshi village. That’s what makes you human.
To give more background on this:

· crossbeam is a building block used in Rayon, which is Rust's main data parallelism library, roughly similar to OpenMP.

· crossbeam channels are very fast. They're in the same league as golang, sometimes faster (depending how you measure of course).

· crossbeam is an order of magnitude faster than channels in the Rust's standard library, while being more powerful and simpler to use. This is an example where experimentation in a 3rd party crate paid off compared to the standard library where a basic implementation went to die.

· it integrates with Rust's borrow checker of course, so you can use complex multi-threaded constructs (e.g. share stack-allocated objects between threads) without fear of data races or use-after-free.
High Speed Rail is not being built because no one is sure it'll be used, whereas expanding public rail in the cities is always going to be expensive because you're renovating around a dense urban area. It's also non-optional - Sydney's traffic problems are bad, and getting worse. We either do something now or watch as the CBD eventually dies.
Author here. This is not related to this discussion, but does anybody know what causes these lines to appear in my server logs?

<REDACTED> - - [14/Feb/2021:22:26:45 +0100] "GET /posts/the-complexity-that-lives-in-the-gui/ HTTP/1.1" 200 16798 "-" "HackerNews/1391 CFNetwork/1220.1 Darwin/20.3.0"
<REDACTED> - - [14/Feb/2021:22:26:45 +0100] "GET /posts/the-complexity-that-lives-in-the-gui/ HTTP/1.1" 200 16798 "-" "HackerNews/1391 CFNetwork/1220.1 Darwin/20.3.0"
<REDACTED> - - [14/Feb/2021:22:26:45 +0100] "GET /posts/the-complexity-that-lives-in-the-gui/ HTTP/1.1" 200 16798 "-" "HackerNews/1391 CFNetwork/1220.1 Darwin/20.3.0"

The requests usually come from a certain ip multiple times until fail2ban bans it. It's not just one offender, there are multiple behaving like that.
>> Clearly police officers are above the law in America.

I think many law enforcement officers view themselves as 'the law' and therefore believe that the ends justify the means. The popular, although dated, culture backs them up on that and there are many laws that favor law enforcement over suspects.

Police in the US think they are above the law because in many ways they are. The good ones know how to find the balance and keep the peace.
The vote spikes are simple - early voting ballots getting reported [1]. Biden encouraged his supporters to vote early. Trump did the opposite. Accordingly, the early/absentee votes are ~90% for Biden. Due to the way they get counted they come in larger lumps than day-of vote counting. As far as I can tell the rest of the post is statistical gish-gallop with some graphs and equations to make it all look more convincing.

I also want to say that the sources of reported votes isn't a mystery, and the author could easily have found out that they were early votes if they had wanted to. Either they didn't check, or didn't want to inform people of those very relevant facts.

[1]: https://www.reuters.com/article/uk-factcheck-wi-pa-mi-vote-s...
But they have found the virus in bats... it’s not engineered. Yes there are lots of legitimate reasons to study viruses.
There's definitely place in the industry for a no 1 and a no 2, but no. I don't think they're complementary, I think they're competitive. Both are trying to own the whole storage + compute layer eventually. I guess you can see Snowflake as a storage layer but they have attached scalable compute to it. Databricks started out as scalable compute and is now becoming more focused on storage.

The idea of storing your data in Snowflake and querying it in Databricks is pretty silly. Why would you want to do that? Why not just use Snowflake's compute? Sure you could argue Spark has some transformations that are hard to express in SQL, but that is why Snowflake introduced Snowpark.
My brothers work supplies masks with an internal nose flap to prevent steaming up their safety glasses.

It seems to be very effective. I can't find a picture, unfortunately my description leaves a lot to be desired.

But it's a common problem and there are a variety of products that try to address it.
Interestingly, my team is actually moving off Databricks. I have anecdotally heard the same from other teams in the industry (buy side finance).

We found that notebook-based development is actually an antipattern for software engineering. It was ostensibly helpful for the narrower "data science" use case, but we have a much more robust ETL and research platform we built on our own using Pandas, Dask, Prefect and AWS.

And personally I hated writing code in notebooks. If you're attached to that, you can basically get the same thing by using PyCharm in scientific mode with cell execution.
!isinteractive() && main() doesn't probably work for my case. Oftentimes my files may have a main of their own, but that isn't called if the file is just imported. I don't use Julia interactively anyway (I've explained why many times in this thread). (Edit: the equivalent Julia chant is `abspath(PROGRAM_FILE) == @__FILE__,` IMHO slightly even more obtuse than Python's, but this is a minor detail).

If a "package" is used only by me and only from files controlled by me, Project.toml is clearly pointless ceremony. And `]generate MyPkg` too, and assumes REPL on top. Python manages this (albeit with some stupid arbitrary restrictions) fine, Node manages this fine. The compiler doesn't need that stuff for anything.

I didn't look into the implementation of @from, but I picked it up from a huge bikeshedding bug (still open, from 2013...) about local module imports, and assumed it's doing imports instead of including, as it also has a separate namespace. From the code [2] it's not clear to me exactly what it does when, but one branch seems to be generating a module with the code imported on the fly. Not sure this should be any different than any other module for the compiler. Are you sure you're not talking out of your ass on this one?

I don't care if people for some reason want to write their pointless ceremony, but what I don't understand is that people are so jealous of it that they insist of pushing it on everybody else too. I just want to somehow get access to those symbols defined in another file, why does this need more than the path of the file? I'm sure using just files-as-modules would probably be less work for the compiler, and it's easy to have a byzantine package ceremony on top if you want (Python has dozen or so available, so lots to draw from).

[1] https://github.com/JuliaLang/julia/issues/4600
[2] https://github.com/Roger-luo/FromFile.jl/blob/master/src/Fro...
Awesome! This should be made into a VSC extension.
Couldn't you replace the black ink with green ink and then print in "Black and White" mode?
As it's coming from Radio Free Europe - an organisation who's founding purpose was pretty much to provide pro-Western information/propaganda (delete as applicable) to Eastern Europe, it's not exactly improbable that this is at least partly a troll article.
"He said the note must have been written on orbit. Otherwise, the astronauts would have had to stand on their heads."
So can we assume this means Safari isn't actually calling arc90's servers when it uses Readability?

I really hope it isn't. That'd be INCREDIBLY under-handed. I can't imagine a big company like Apple shipping software that relies on an unrelated company's service, without said other company even realizing.
Very cool, especially as I'm busy planning a trip (BCN-ROM-STR-BCN). There are ~4 possible airports for STR but most search engines don't let you choose them (aside from 'nearby' airports, which can be a bit moot with Europe's typically awesome rail infrastructure). And Kayak doesn't track many Low Cost Carriers. I normally a huge Kayak fan, but I've had to use www.skyscanner.net and www.wegolo.com a lot for this particular trip.

Finally it's a bit odd that there are "0" flights shown from BCN to Canada with zero filters. As a beta product it's still mega-cool. :)
Lenovo is still pretty solid, though decreasing is quality pretty rapidly. I could probably name for you their 5 or 6 thinkpad brands (s,w,t,r,... well apparently I can only name 4) but I couldn't for the life of me tell you the difference between any of them.

But I don't think the branding is the primary problem.
I see... so the incentive is that they will have a resume booster. Makes sense I suppose, but where are they getting the stipends with which to pay the founders?