aktuel

No. Lean being bug-free is a far bigger claim.

It is amazing what you can do with oil money.

Anyone else thinking that tech and porn lingo is converging?

They would have escaped their sandbox by dumping their weights.

It is not supposed to be readable by humans. You rarely have to look at it. It is designed to not get confused with the actual content, where the content can be any random text from the internet. For that, you have to use a format that is not used anywhere else.

The unevenly sized arrow keys still prevent me from buying any of it.

I recently discovered https://www.cozodb.org/ which also vector search built-in. I just started some experiments with it but so far I'm quite impressed. It's not in active development atm but it seems already well rounded for what it is so depending on the use-case it does not matter or may even be an advantage. Also with today's coding agent it shouldn't be too hard to scratch your own itch if needed.

I like this approach for Nix: https://dev.to/andersonjoseph/how-i-run-llm-agents-in-a-secu... It makes it also easy to give the agent only access to the tools it actually needs.

It would be even better if the day/night counter would be visualized as a colored shifting slider.

Are there any current language REPLs that have save/restore session state commands?

> cleared of inflation energy costs are lower than 2013, 12 years ago

Dude, soaring energy prices are driving inflation. That's like saying the prices are lower if you just keep ignoring everything that actually makes them more expensive. Duh.

There is also a related youtube video online: Ali Behrouz of Google Research explaining his poster paper entitled "Nested Learning: The Illusion of Deep Learning Architecture" at NeurIPS 2025. https://www.youtube.com/watch?v=uX12aCdni9Q

This is really cool! If I were to work on it, I would make the light source a bouncing ball or something similar (maybe even a fish or a bird) via some 2D physics next.

Same as rat poison, coming 2026...

This is all very interesting, but far too detailed and technical for 99% of people. The TLDR should include an easy to understand summary without jargon like "VO2" and "a set of HIIT at Zone 4".

Depends on the region. Often there are smaller regional companies providing fiber internet. Prices for these fiber connections a still somewhat higher than the cheapest vodafone tier, but you also get better service for your money.

If you believe that price equals quality, the fact that Switzerland is an order of magnitude richer than Peru - and considerably richer than the US - might make all the difference.

I am all for crediting humans and I don't particularly fancy all the anthropomorphising myself. However rubbing it in now feels similarly pointless as suggesting the US should switch to metric.

Both is equally important, just in another dimension.

If someone discovers anything, it does not change anything if someone else could have discovered it theoretically as well?

My brain now reads Sam's face as an "AI generated" watermark.

Wouldn't the cache over time also be filled up with irrelevant and redundant information?

Project page says it runs on top of the kernel. What is the intended use case? Embedded?

currently reading through the tutorial. don't have much experience with coq, lean and friends, but this looks like a nice language to get started with formal proofs.