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.
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.
> 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.
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.
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.