2025-11-09 07:00
Hacker News 2025-11-09
- Tabloid: The Clickbait Headline Programming Language
original article — hacker news - Ironclad – formally verified, real-time capable, Unix-like OS kernel
original article — hacker news - Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican
original article — hacker news - Largest cargo sailboat completes first Atlantic crossing
original article — hacker news - Marko – A declarative, HTML‑based language
original article — hacker news - Study identifies weaknesses in how AI systems are evaluated
original article — hacker news - Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework
original article — hacker news - Open-source communications by bouncing signals off the Moon
original article — hacker news - Control structures in programming languages: from goto to algebraic effects
original article — hacker news - Syntax and Semantics of Programming Languages (1995)
original article — hacker news