In his talk, The Future of Mathematics, Dr. Kevin Buzzard states that Lean is the only existing proof assistant suitable for formalizing all of math. In the Q&A part of the talk (at 1:00:00) he

Carpenter ants need endosymbiotic bacteria to guide the early development of their embryos. New work has reconstructed how this deep partnership evolved.

MVP.css - No classes, no framework. Just semantic HTML and you're done.

I went into my office yesterday for the first time in a few months to pick some stuff up. We got notified a couple of days ago to get any personal property out of the office before Thanksgiving or else it'd be thrown out, so I guess we're moving out of the…

With ‘Mank,’ America’s most famously exacting director tackles the movie he’s been waiting his entire career to make.

The knowledge economy is the science- and technology-intensive practice of production, devoted to perpetual innovation, that has begun to assume a commanding role in all the major economies of the world. It is present in every sector of these economies—in…

BMC Medicine - Links between parental socioeconomic position during childhood and subsequent risks of developing mental disorders have rarely been examined across the diagnostic spectrum. We...

(On this page in Dutch I post daily bits of realistic but hopeful Corona news. Here is a somehat rough translation of an article on our immune system I posted there, because I think it might also be useful for people that don’t speak Dutch).
Wednesday, April…

System initialization is one of the niche areas that few people look into. The exact details vary considerably between different platforms, firmwares, CPU architectures and operating systems, making it difficult to learn it all. Usually, if something is not…

Welcome - Tiny Core Linux

Floods of unimaginable magnitude once washed through Gale Crater on Mars' equator around 4 billion years ago—a finding that hints at the possibility that life may have existed there, according to data ...

The leave command can be used to set yourself alarms to leave the computer.

Anarch, the suckless FPS game

Struggling with math problems that can’t be solved helps us better understand the ones we can.

REST API for any Postgres database. Contribute to PostgREST/postgrest development by creating an account on GitHub.