skysight-inc/HackerNews huggingface dataset:
A great essay, worthy of detailed reading as it contains so many interesting connections and associations from the past to explain the present and maybe forecast the future.

Just one example among the many:

> Making family-sized dwellings abundant and thus affordable for most people would be the single most effective step toward restoring faith in progress.

We are drowning in stochastic parrots and cryptographically minted "wealth" while very fundamental aspects of wellbeing are delegated to the dysfunctional, stagnating "technologies" of yesteryear.

My only criticism would be the subtitle: no, the future when it arrived did not feel ordinary. It felt disconnected from the human predicament and ominous about our prospects.
a non-committal relations on both parties is not an easy feat - as usually people have different goals and preferences.

I could well image if you looked like a young Clooney, it'd not be hard to arrange one night stands, either.
That data does exist but is mysteriously excluded. Perhaps because it doesn't support the race bait? Moreover, contrary to the figure's claims, PISA does not exclude immigrants. It's just a hodgepodge of crappy statistics. Don't get fooled by anonymous Reddit posters.
No, the only TLDR I got from that is, exceptions are should be reserved for exceptional cases. Their code is borderline abusing them, probably out of necessity.

However, in this case this abuse provided a nice boost for everyone, so I can't complain.
This article already has detailed review, what details do you think are missing?
Congrats from Vibrateau, région vibratoriale, France.
If you like this, then Bowie's amazing overtones on Placebo's "without you I'm nothing" is something you should love. https://www.youtube.com/watch?v=c14qMbmP9eg
No, I'm mostly referring to buying talent and GPUs.

I can't point to a single Andrej Karpathy or Chris Lattner or Jim Keller working at Mercedes, BMW, GM, etc (not to mention the not so big named people who are still very very good). And I also don't see many people crossing over from legacy auto autonomous orgs to openai, anthropic, deepmind, etc.

Other manufacturers don't have custom in car inference chips either, or spend billions in R&D for custom training silicon. This is clearly not a side project for Tesla, whereas with other manufacturers, its an obvious afterthought.

My guess is other manufacturers will just license some AV product from whoever is most successful and try to sell products like they always have - through design language and brand feel, not through breakthrough technological innovation.

So yes, I don't think any other consumer car manufacturer is taking it seriously.
In pictures: Learning the Knowledge (2016)
As a coffee freak my first impression is "shut up and take my money".
However if I compare it to my current setup I lack steaming wand and a clarity on what to do with those cables that stick from the pump unit. I'd love to see a three legged design that hides the water + power cables or even a small water tank.
As many have said, get some good reviews in. I love almost everything about this machine and if someone like James Hoffman likes it, I might buy one for real. The wife acceptance factor of this thing is huge.
KDE 3.4/3.5 was gourgeous.. must have been around 2002 when I had just ditched windows for good and went all in on gentoo linux. Over and over, I had following impressive experience: I would have an intuition of where I would expect a feature to be or how a widget would interact, then while executing on it, quickly retract my expectation ("nah, this probably won't work this way, even though it should..") only to find it actually did work as expected. That was so0Oo amazing xD and it obviously disintegrated completely with the botched release of #plasma KDE4".0". That was when I moved on to xfce.. When I learned about TDE a bunch of time later though, I actually used it for a couple of years. It was still "kool" , even though the aesthetics felt somewhat aged. Back to xfce for a long time now..
social science is kinda like vegan meat tho
It's a blocked name on some LLM's
It is though, at the group level. The groups that adopt will have better survival than groups that don't, if the environment is such that parents regularly die while the cubs are small.
I agree, although I don't see a better solution: typeclass inference is trying to "quasi-solve" higher unification, which is unsolvable. The core tactics writers are already doing wizard-level stuff and there is more to come, but the challenge is immense.

By the way, if you are a meta-programming wizard and/or a Prolog wizard, please consider learning Lean 4 or another tactics based proof assistant. I think they will all welcome expert assistance in the development of better tactics and the improvement and debugging of current ones.
Somehow this brings to mind the passage on a philosopher's strike from the Hitchhikers Guide to the Galaxy:

A sudden commotion destroyed the moment: the door flew open
and two angry men wearing the coarse faded-blue robes and
belts of the Cruxwan University burst into the room, thrusting
aside the ineffectual flunkies who tried to bar their way. "We
demand admission!" shouted the younger of the two men
elbowing a pretty young secretary in the throat.

"Come on," shouted the older one, "you can't keep us out!" He
pushed a junior programmer back through the door.

"We demand that you can't keep us out!" bawled the younger
one, though he was now firmly inside the room and no further
attempts were being made to stop him.

"Who are you?" said Lunkwill, rising angrily from his seat. "What
do you want?"

"I am Majikthise!" announced the older one.

"And I demand that I am Vroomfondel!" shouted the younger
one.

Majikthise turned on Vroomfondel. "It's alright," he explained
angrily, "you don't need to demand that."

"Alright!" bawled Vroomfondel banging on an nearby desk. "I
am Vroomfondel, and that is not a demand, that is a solid fact!
What we demand is solid facts!"

"No we don't!" exclaimed Majikthise in irritation. "That is
precisely what we don't demand!"

Scarcely pausing for breath, Vroomfondel shouted, "We don't
demand solid facts! What we demand is a total absence of solid
facts. I demand that I may or may not be Vroomfondel!"

"But who the devil are you?" exclaimed an outraged Fook.

"We," said Majikthise, "are Philosophers."

"Though we may not be," said Vroomfondel waving a warning
finger at the programmers.

"Yes we are," insisted Majikthise. "We are quite definitely here as
representatives of the Amalgamated Union of Philosophers,
Sages, Luminaries and Other Thinking Persons, and we want
this machine off, and we want it off now!"

"What's the problem?" said Lunkwill.

"I'll tell you what the problem is mate," said Majikthise,
"demarcation, that's the problem!"

"We demand," yelled Vroomfondel, "that demarcation may or
may not be the problem!"

"You just let the machines get on with the adding up," warned
Majikthise, "and we'll take care of the eternal verities thank you
very much. You want to check your legal position you do mate.
Under law the Quest for Ultimate Truth is quite clearly the
inalienable prerogative of your working thinkers. Any bloody
machine goes and actually finds it and we're straight out of a job
aren't we? I mean what's the use of our sitting up half the night
arguing that there may or may not be a God if this machine only
goes and gives us his bleeding phone number the next morning?"

"That's right!" shouted Vroomfondel, "we demand rigidly defined
areas of doubt and uncertainty!"

Suddenly a stentorian voice boomed across the room.
"Might I make an observation at this point?" inquired Deep
Thought.

"We'll go on strike!" yelled Vroomfondel.

"That's right!" agreed Majikthise. "You'll have a national
Philosopher's strike on your hands!"
The only solution is to get out there and meet actual people IRL. I call it a win-win situation. Until those get replaced by Androids as well.
Please explain since you seem to have a PhD in darwinism.
Fuck ... according to that I am a systems programmer. Not the OS/Compiler kind!
Guide to Freelancing on Upwork
Yes. And the verge's comment section doesn't open in firefox 6x on android 8.

As the article states:

...a tiny example of the modern platform internet that tells a huge story...
Cold brew coffee and cold filter coffee are two different things. Brewing at a cold temperature for a long period of time results in a very different taste which some people like and some don't. Note that the brewing temperature and drinking temperature are essentially independent; you can heat up cold brew and you can cool down hot brew.
We’ve launched FinSync!

FinSync instantly automates customer financial data for bookkeepers—no more chasing bank statements! It syncs data in real-time, simplifies workflows, and keeps everything organized in one place. Say goodbye to manual tasks and hello to seamless automation!

We’d be happy to schedule a demo for you! - https://calendly.com/mobilefirst-intro
Gukesh repeatedly played opening lines that went out of book shockingly early. No amount of prep can prepare you adequately for someone willing to go off script on move 6.
This is already happening, by the way, and some Lean projects are being written in this way. Not only for the reader, but the proof writers themselves tend to need this to navigate their own code. Also check Lean 4 Blueprint, which is a component in this direction.
As always, and generally speaking, if anything they show that drawing the line is difficult since they show in their paper [1] that both std::expected and boost::LEAF are worse than std::exception.

Excerpts from paper:

> Single threaded the fib code using std::expected is more than four times slower than using traditional exceptions.

> This has much less overhead than std::expected, but it is still not for free. For fib we see a slowdown of approx. 60% compared to traditional exceptions, which is still problematic.

Now, admittedly, these workloads are too simple (sqrt and fibonacci) and only shown for the single-threaded use-cases but I guess you have to start from something that is easy enough to reason about otherwise getting to any sane conclusions might be too difficult.

However, they continue to show in their blog how they significantly sped up the std::exception implementation in a very non-trivial workload - multi-threaded and JIT'ed database kernel.

So, to prove the point about exceptions being slower in complex workloads, such as the one above, somebody would actually have to rewrite their whole codebase to use something else such as std::expected, return values or whatever. Non-trivial to say the least.

[1] https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p25...
It's autistic for the computer to be an extension of your brain. For you to think in computing, for the performance of your computer to be central to the performance of your thought. Access to powerful computers has shaped the way I think and work to the point where I practically live online. I'm not a hacker in the traditional sense, but the computer is my world, the internet is my home. Not in the shallow, social-media sense, like today's "influencers", but in a deep fundamental way. I don't even identify with humanity; being online allowed me to create my ideal self from scratch.

There are so many niches here I don't even know how to start listing them all. I am a unique type of person. I have not yet found even a single other person like me in this way. I have found a total of two other people who share my neurotype but none that share my attitude. That is how lonely it is.

Sure looking for certain things in a laptop is not necessarily autistic. But think of the reasons why people would look for these things. Normal people don't care as long as it works and is good enough for them. Because I live on this computer, every detail of how it works needs to be right. I need something that is perfect for me. I need a perfect screen, perfect keyboard, and high performance, all at the same time. Every machine with that perfect screen and perfect keyboard tends to get it mixed up with being "thin and light" and all that performance goes away. I hate that.

I can get used to some deviation. A lot of my preferences are simply resistance to change. But a lot of them are because I've tried anything else (possibly for years) and I hated it. There are things that I genuinely consider better and they're practically not available in a package that works for me.
I just can't find any reference to Thatcher cutting Russia studies, it's quite a strange thing to imagine given that she presided over the peak of the cold war. Could you help? I know that Blair closed great chunks of the foreign office and that has seriously impacted the UK's ability to represent its interested abroad, but that's not just Russia.

I find it hard to imagine what the UK could have done in terms of taking advantage at the end of the cold war. I mean maybe if we had all moved to Germany then we would have been well placed to get the benefits that those folks got. On the other hand we did, eventually, get to shut down the British Army of the Rhine which saved a lot of money, and a bunch of skilled labour from eastern europe migrated to the UK as well. What potential benefits from a Russian engagment could the UK have realised?
Except that the company might be interested in paying you to use the library, not to maintain the library itself.

"don't look back, just forget them, and move on with your life" is a better advice.
'Train phone snatcher stole £21,000 from my bank apps'
Knowing a word and its definition is not the same as using it daily, in writing or verbally.

If I give you eight random letters and ask you to create words with them; if it's in a language that you use daily, you'll first see the ones that you use the most, not the longest/more complicated ones.
Whereas if they should be picked from a dictionary, I can see that it could be easier to find long/complicated words, since you won't have a notion of "popular" words.
In my opinion the main problem is that there are too many graduates from certain social sciences and humanities compared to the actual need of employers / academia. It would be better to have fewer scientists with adequate and consistent funding, than lots of underemployed scientists fighting for funding and living under constant uncertainty.

Scrapping all support for any particular branch of science is an overreaction, but cutting number of graduates in these fields and focusing funding only on the studies with most practical benefits could make sense. As an example, social scientist studying poverty, unemployment or crime could produce useful information for policymakers to reduce these phenomena, and cutting all funding from such research is probably a bad idea.
There is no proper title case. There are only various style guides.
>> But of course, the primes aren’t random.

Stunning to me that a staff writer for a science magazine would type this sentence without referencing the riemann hypothesis.
Does the news about Smirnoff pleading guilty of lying about Burisma money change the feelings towards this pardon of anyone?

I have mixed feelings myself.

On one hand I understand that attacks on Hunter Biden are purely political and the fact that Trump won is putting biden's family at risk and thus forced Biden's hand.

On the other hand if they lose the moral high ground by acting like Trump the long term damage to American democracy is going to be huge
As I mentioned previously, if after decades of funding social science we don't have an answer to that, then it's simply incorrect to claim that continuing to fund social science is going to give us an answer.

If you want to argue that we should put into funding a specific project to look into the benefits of social science, you can do that.

But saying that we should do widespread funding of a discipline in order to find out if a discipline is actually worth it, and then after decades of doing widespread funding of that discipline you say "well, I don't have any evidence that it's worth it, because you have to keep finding it to find the evidence," is, to be frank, bizarre.

Imagine if we did this for other fields. We putting funding into homeopathy for decades. Someone comes along and makes the claim that we need to continue doing this, in order for society to be healthy. Someone asks what the evidence for this is, and the reply is "we have to keep funding homeopathy to get the evidence!"
The article says:

"Unwinding now scales with the number of cores, and we can safely use C++ exceptions even on machines with large core counts."
>Ah i think writings is nessessary for not being extinct.

Tell that to the sharks[0].

[0] https://www.nhm.ac.uk/discover/shark-evolution-a-450-million...
How do you get the data and how do you publish the content? Is it automated?
At an individual level, no. At a group level, yes.
I want one, but I need a Video with a real life demonstration. A kind of manual where I can see all parts and at least one independent reviewer.
Yeah, you make some good points. I think at the end of the day both can work - anything you can do in the standard analysis setting can in principle be done in NSA too by the transfer theorem, it's just less travelled ground and maybe the requisite techniques aren't as well known.

Integration is very similar, by the way - you just do Riemann sums with a hyperfinite number of partitions of infinitesmal width. It sounds weird, and it is, but it makes it very easy to understand why integrating f(x) against a delta function gives you f(0), for instance, without having to justify it with limits or a bunch of deeper theory.
> We believe the best technology is the kind that doesn’t call attention to itself. So we are going to call attention it by writing about it here.

Last sentence should be:

> So we are going to call attention to it by writing about it here.

or

> > So we are going to call attention by writing about it here.

Both the grinder and espresso machine look amazing! I'd be curious to see more photos of a "real" setup with these things on a countertop. Especially where those two tubes from the espresso machine go. I suppose one is power actually, so the other one just goes into a container of water?
Explanations – X Window System Basics
Yes, revenue is ads-based (and a few donations). I use Google AdSense. ~40% of players use an ad-blocker; I let them block ads, I don’t play cat-and-mouse.
"the proof is trivial"

"but can you prove it?

[10 minutes of intense staring and thinking]

"yes, it is trivial"
CPU design makes it inherently hard. C or C++ is just a thin layer above it making no tradeoffs. If you can live with the tradeoff then Rust land or VM-language land is more appropriate.
badkeming
your hard earned couple dollars made all the difference to hollywood. they absolutely will repay you with even more ads, payment tiers, propaganda and DRM!
Once I click the button I've already decided. If I am surprised by something after I click that would have impacted my decision to click it in the first place, I get very upset for being tricked like that.

As an example: I recently bought a piece of software for my new Mac that I had good experience with some years ago, only to find that it's not compatible with the newer models. Upon contacting support about it, this is a known issue with a whole support article written about it. However, it wasn't mentioned anywhere on the landing page or buy pages. They're working on a beta that will warn you (still after you've already installed the software) if it's not compatible with your machine, but again... if I had known this I would not have purchased in the first place. I feel tricked, and upset. This is the same type of feeling.
for a sales pitch, i was really put off by the website design as well
I think a way to have the wire and water pipe discreetly guided off to one side rather than dongling about in free space might help the look.

A little stainless steel clip the you can put on either side, perhaps. Or have two, in case your water and power don't come from the same direction?

My biggest concern about the longevity of the device as a beautiful item is that if the countertop gets water (or worse, coffee) spilled on it, the wood will wick it up the end grain and stain or swell.
I'd say you should be able to quantify it. "a domain model tightly coupled to CRUD primitives" is not an intrinsic evil. If you were to genuinely save money or reduce risk by, say, moving off a relational database you would just need to pick that point and motivate for a rewrite.

The much higher risk IMO is building a hyper-flexible application from the start knowing what you need today is a CRUD app, just in case in future you need something else. That's how you get shelfware and awkward conversations.
Check your assumptions.
Less Talk, More Code
For context, this is "the NZ$75 million Marsden Fund" for "blue sky research"

Out of a total university income of $4 billion per annum from a variety of sources https://www.universitiesnz.ac.nz/about-university-sector/how...
A Colorado university recently proved that lying is a good political strategy because candidates who lie to their voters do not lose support even if caught and proven to be spreading falsehoods. Not really sure if that really contributed to humanity but here you go.

https://www.cpr.org/2024/04/03/new-study-finds-voters-ok-wit...
I work at a TV station and we use something like these [1]. Basically hundreds of video ins and outs that you can mix and match with the press of a button.

[1]: https://www.grassvalley.com/products/routing/vega-100-series...
That's sad isn't it, that "shareholder value" has come to mean
something approximate to "criminal psychopathy".

Many of us are "shareholders" of a one kind or another. We would not
like people to think of us as monsters. We do not want our children
and grandchildren to look back on a tainted legacy, like progeny of
slave-owners, and want to disown their family history.

And so I wonder, for a brief, beautiful moment, what would happen if
in a very coordinated act of repentance, thousands of "shareholders"
decided to simultaneously dump their stock.

You would think that "shareholders" actually had some sort of power,
no? I wonder what digital help could be brought to their assistance?

Or are you thinking that all "shareholders" are powerless before their
vice? Bonded by blutkitt?
> Prime numbers are used in cryptography. Public-private key cryptography is based on the fact that is hard to find the original two large prime numbers

That's true of one particular – albeit very popular – asymmetric cryptosystem, RSA. It isn't a property of asymmetric cryptography in general. There are other asymmetric encryption schemes which aren't based on the hardness of prime factorisation (e.g. DSA, elliptic curves, McEliece, NTRU)
> I wish I could double-click a card to automatically move it up to its respective suit stack (if possible)

Oh but you can!

But, as I said recently (in an e-mail to another player): “Someone once told me about how ‘double-click is finicky on Windows/Chrome’. But now you are two encountering the same issue, and not on the same OS/browser combo. So it looks like problem is in the game. Thanks, I shall look into it.”

> able to move a card from its suit stack back onto the board […] Either way, I like that

That’s on purpose, glad you like it! It can help you get unstuck sometimes.