S ekonomickým analytikem Tomášem Kučerou o jeho snaze zlepšit rozhodování českého státu a o exekutivě, kde často chybí odvaha něco rozhodnout

In general, you should be suspicious of engineers who are trying to give you advice. Even during ordinary times, this industry is so wide and changes so quickly…

Ongoing Lean formalisation of the proof of Fermat's Last Theorem - ImperialCollegeLondon/FLT

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

Že se město nebude roztahovat donekonečna, to se vědělo už dřív. Karel Prager pro to však našel originální řešení, které je i v dnešní době vidět jen zřídka a spadá spíš do kategorie utopického a fant...

We need more than tinkering if we are to raise economic growth significantly.