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.
- Fight Chat Control (fightchatcontrol.eu)
- Claude Sonnet 4 now supports 1M tokens of context (www.anthropic.com)
- Emailing a one-time code is worse than passwords (blog.danielh.cc)
- Enough AI copilots, we need AI HUDs (www.geoffreylitt.com)
- Claude Code is all you need (dwyer.co.za)
- Gemma 3 270M: Compact model for hyper-efficient AI (developers.googleblog.com)
- Claude Code IDE integration for Emacs (github.com)
- Qwen3-Coder: Agentic coding in the world (qwenlm.github.io)
- Vibe code is legacy code (blog.val.town)
- ‘No Other Land’ consultant Awdah Hathaleen killed by Israeli settler (www.latimes.com)
- How I code with AI on a budget/free (wuu73.org)
- Cops say criminals use a Google Pixel with GrapheneOS – I say that's freedom (www.androidauthority.com)
- Sleep all comes down to the mitochondria (www.science.org)
- Coding with LLMs in the summer of 2025 – an update (antirez.com)
- 6 weeks of Claude Code (blog.puzzmo.com)
- Jim Lovell, Apollo 13 commander, has died (www.nasa.gov)
- Electric cars produce less brake dust pollution than combustion-engine cars (modernengineeringmarvels.com)
- Getting good results from Claude Code (www.dzombak.com)
- Flipper Zero dark web firmware bypasses rolling code security (www.rtl-sdr.com)
- Many countries that said no to ChatControl in 2024 are now undecided (digitalcourage.social)
- Claudia – Desktop companion for Claude code (claudiacode.com)
- Cerebras Code (www.cerebras.ai)
- GDPR meant nothing: chat control ends privacy for the EU [video] (www.youtube.com)