Hackernews posts about Coq
Coq is a widely-used, open-source proof assistant for formal verification and type theory that allows developers to write mathematical proofs in a rigorous and machine-checkable way.
- Send someone you appreciate an official 'Continue and Persist' Letter (continueandpersist.org)
- Advent of Code 2024 (adventofcode.com)
- Model Context Protocol (www.anthropic.com)
- The correct amount of ads is zero (manuelmoreale.com)
- Show HN: I designed an espresso machine and coffee grinder (velofuso.com)
- The 70% problem: Hard truths about AI-assisted coding (addyo.substack.com)
- Just: Just a Command Runner (just.systems)
- Compromising OpenWrt Supply Chain (flatt.tech)
- Handling cookies is a minefield (grayduck.mn)
- Amazon S3 Adds Put-If-Match (Compare-and-Swap) (aws.amazon.com)
- Rails is better low code than low code (radanskoric.com)
- How I configure my Git identities (www.benji.dog)
- New LLM optimization technique slashes memory costs (venturebeat.com)
- Phi-4: Microsoft's Newest Small Language Model Specializing in Complex Reasoning (techcommunity.microsoft.com)
- Fair coins tend to land on the side they started (2023) (www.researchgate.net)
- The meme-ification of the “Demon Core” (doomsdaymachines.net)
- Dear sir, you have built a compiler (2022) (rachit.pl)
- Limbo: A complete rewrite of SQLite in Rust (turso.tech)
- Dumb TVs deserve a comeback (www.makeuseof.com)
- A common urban intersection in the Netherlands (2018) (bicycledutch.wordpress.com)