🦞🌯 Lobster Roll

A New Perspective on Structure and Complexity In science, the simplest explanations often hold the most truth, a concept known as “Occam’s Razor.” This principle has shaped scientific thought for centuries, but when dealing with abstract ideas, how do we evaluate them? In a new pap...

I was reading [a layperson's article](https://www.nytimes.com/2023/09/02/opinion/cosmology-crisis-webb-telescope.html?unlocked_article_code=N8MMzI-Z5RQoz299IZ7tbsw1HfXpuJjGcfldDrTnJQsSTm8TweCBrewOrsk_J24tJY4OWEMfxvygNUSSBYMW13cScgG_Q-zJsaLID_51yLWUsIgJP-WummGvmmpQ6Y--VL2Y5ua1KuVMWS55k__6qgp6FWqgHeNs...

The adaptable technological solution has the potential to revolutionize engineering designs. A breakthrough in artificial intelligence is making it possible to model complex systems—like how cars deform in crashes, how spacecraft endure extreme conditions, or how bridges withstand stress—at speeds t...

The study reveals that a coordinated attack was responsible for the TerraUSD crash. A recent study published in ACM Transactions on the Web by researchers at Queen Mary University of London sheds new light on one of the most significant collapses in cryptocurrency history: the crash of the TerraUSD ...

Relational parametricity is an important property of type theories. It implies both the heavily lauded "type safety" property and the slightly quieter but perhaps more interesting "abstraction safety" property. It's also violated in many, many languages (notably, not Haskell). This paper notes th...

For those who don't know, Shazam is a mobile app that can listen to audio and figure out what song it's from. It's also used by Siri in the iPhone.

This is a colloquium style talk which presents the idea of the "posit", a possible replacement for IEEE 754 floats. He starts talking about posits at the 15 minute mark.