NewsNewestAskShowJobs Open on GitHub
< 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 >