news
an ambiguity in C89 which will never be fixed
72 pointsposted 7 days ago
by runningmikeThe Conceptual Reasoning Index
78 pointsposted 3 days ago
by optimalsolverICTP Announces 2026 Dirac Medal Recipients (Physics)
17 pointsposted 7 days ago
by rramadassTim King, AmigaDOS developer, has died
301 pointsposted 4 days ago
by doenerStealing Reasoning Traces from Proprietary LLM APIs
696 pointsposted 5 days ago
by quantumgarbageThe Unreasonable Effectiveness of Property Testing for Validating Formal Specs
5 pointsposted a day ago
by _doctor_loveShow HN: Between Tokens – an interactive piece where you are the language model
9 pointsposted a day ago
by chrisjzSmooth Move: Taming Trajectories with Polynomials
30 pointsposted 6 days ago
by lioetersShow HN: MCP Memory – Fast Agent Memory Using Google's OKF and SQLite FTS5
68 pointsposted 3 days ago
by pcbmaker20Come for ENIAC, Stay for UNIVAC and Skeduflo
60 pointsposted 5 days ago
by cainxinthWho's Tracking You? Use This New Service to Find Out
20 pointsposted 2 days ago
by DemiGuruUS conducted mass spying campaign against leftwing and anti-ICE protesters
274 pointsposted 3 days ago
by magic_interfaceSingle log line is 49KB+ (ext4) / 110KB+ (btrfs) of systemd-journald disk writes
259 pointsposted 3 days ago
by ValdikSSA shell exclamation mark is not for yelling. Be lazy
168 pointsposted 10 days ago
by refpAwesome CAD – Curated List of Open-Source CAD Projects
10 pointsposted a day ago
by peter_d_shermanCredibility is the barrier to entry in silicon
42 pointsposted 6 days ago
by johncoleAI text watermarking is not a big deal
6 pointsposted 13 hours ago
by meetpateltechEngineers will do anything to avoid learning from history
170 pointsposted a day ago
by madroxGeek Fighter – 2d fighter game
56 pointsposted 6 days ago
by tareqismailHow Organizations Use AI: Evidence from ChatGPT [pdf]
125 pointsposted 3 days ago
by malsheDeepSeek V4 Flash at 278 tok/s, full precision, no quantization
8 pointsposted a day ago
by OsamaJaberThe Soviets Drilled the Deepest Hole Ever
21 pointsposted 2 days ago
by anarbadalovGo is an ideal language for AI-assisted software engineering
439 pointsposted 5 days ago
by 0xedbHTML over WebSockets: real-time SPAs with barely any JavaScript
254 pointsposted 4 days ago
by redbellShow HN: Rdio – an open-source internet radio control suite
27 pointsposted 2 days ago
by taqibrahimA 25-year-old video patent just expired, ending a legal headache for Linux
32 pointsposted a day ago
by theanonymousone