Gobra: Automated, modular verifier for Go, based on Viper verification

2022-10-13

Pay Up: GMC Hummer EV Taillights Cost $6100 to Replace

2022-10-13

Drone-versus-Drone Kill in Ukraine Could Be an Air Combat First

2022-10-13

Nodu, a minimalist personal development / productivity app

2022-10-13

Stochastically-Aware AI, Not Self-Aware AI

2022-10-13

Elon Musk is Not Stupid – How to make decisions in a complex world

2022-10-13

Is this a parable about software development?

2022-10-13

How to get Doom running in Windows’ notepad.exe

2022-10-13

Ask HN: My employer has about two months of runway left. What shoud I do now?

2022-10-13

Tabi – Visualize related tabs on Firefox, made with Svelte

2022-10-13