Correctness Proofs for Device Drivers in Embedded Systems (2010) [pdf]

2021-12-24

Scientists identify whole new muscle layer in human jaw

2021-12-24

From snubbing Mick Jagger to explaining the cosmos: the secret life of MC Escher

2021-12-24

TikTok sued by former content moderator over mental health impacts of moderation

2021-12-24

Ask HN: What skills to learn for 2022 to help create side projects?

2021-12-24

SiRNA Based Therapeutics

2021-12-24

Ask HN: How to deploy VMs from CI/CD in 2021?

2021-12-24

Ask HN: Have you been in a team that did “daily standups” asynchronously?

2021-12-24

Ask HN: How to convince an anti-vaxxer/conspiracist to change her mind?

2021-12-24

The facts about fetal cell lines and Covid-19 vaccines

2021-12-24