< prev 3 / 10 more >

• 80Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
  by SchwKatze12 hours ago | 2 comments
• 18Closest Harmonic Number to an Integer (johndcook.com)
  by ibobev6 days ago | 2 comments
• 354A Fast 64-Bit Date Algorithm (30–40% faster by counting dates backwards) (benjoffe.com)
  by benjoffe4 days ago | 20 comments
• 974Voyager 1 is about to reach one light-day from Earth (scienceclock.com)
  by ashishgupta22091 day ago | 55 comments
• 723Migrating the main Zig repository from GitHub to Codeberg (ziglang.org)
  by todsacerdoti12 hours ago | 79 comments
• 6Essence and accident in language model-assisted coding (sicpers.info)
  by ingve3 days ago | 0 comments
• 145Fara-7B: An efficient agentic model for computer use (github.com)
  by maxloh19 hours ago | 13 comments
• 73How/why to sweep async tasks under a Postgres table (taylor.town)
  by ostler5 days ago | 9 comments
• 36Show HN: Era – Open-source local sandbox for AI agents (github.com)
  by gregTurri9 hours ago | 4 comments
• 26Can you take an ox to Oxford? (alexwlchan.net)
  by surprisetalk5 days ago | 13 comments

< prev 3 / 10 more >