2025 Archive
13141.
13142.
Show HN: I made an online Unicode Cuneiform digital clock
(oisinmoran.com)
13143.
Dafny: Verification-Aware Programming Language
(dafny.org)
13144.
Terence Tao – Machine-Assisted Proofs [video]
(youtube.com)
13145.
LM2: Large Memory Models
(arxiv.org)
13146.
Affiliates flock to scam gambling machine
(krebsonsecurity.com)
13147.
Fixing left and mutual recursions in grammars
(brightprogrammer.in)
13148.
PaperBench
(openai.com)
13149.
OpenSearch 3.0 Released
(opensearch.org)
13150.
How fast is Go? Simulating particles on a smart TV
(dgerrells.com)
13151.
13152.
Solving a “Layton Puzzle” with Prolog
(buttondown.com)
13153.
Design Patterns for Securing LLM Agents Against Prompt Injections
(simonwillison.net)
13154.
13155.
AI Is a Mass-Delusion Event
(theatlantic.com)
13157.
13158.
David Byrne Radio
(davidbyrne.com)
13159.
Let's write a toy UI library
(nakst.gitlab.io)
13160.
13161.
Umberto Eco: Ur-Fascism
(bobmschwartz.com)
13162.
Fizz Buzz in CSS
(susam.net)
13164.
How to build a 747 – A WorldFlight Story
(x-plane.com)
13165.
Dad and the Egg Controller (2018)
(pentadact.com)
13166.
Interior cancels largest solar project in North America
(politico.com)
13167.
The Trackers and SDKs in ChatGPT, Claude, Grok and Perplexity
(jamesoclaire.com)
13168.
Zig / C++ Interop
(tuple.app)
13169.
Everything Picolisp can do, and more
(picolisp.com)
13170.
Compiling OCaml to the TI-84 CE Calculator
(farlow.dev)