Stories by ur-whale

Automating Mathematics PolyMath, Type Theory and Learning

An enormous theorem: the classification of finite simple groups (2006)

How to Build an Exchange (2017)

Jet Engine Plans

Choose your fiction: a take on the post Covid economy

Magic Leap just raised a $350M investment round, tries to secure future

Adam Neumann (WeWork) Sues SoftBank

Billionaires in Space [video]

Switch between tmux panes and vim split windows

VHDL support for open-source FPGA toolchain YoSys

Unsung Heroes of the Coronavirus Pandemic [video]

The new Microsoft 365 Personal and Family subscriptions

How CPUs Are Designed and Built

Coronavirus: What if we did nothing? [video]

Google’s Chatbot: Almost Perfect

Concentration Inequalities

Biohackers Are on a Secret Hunt for the Coronavirus Vaccine [video]

How do you make the world’s most powerful neutrino beam?

YC S20 Batch Updates

Cryo-electron microscopy of a coronavirus spike protein

5 6 7 8 9 10 11