Show HN: A Discord bot running in a 4MiB microVM https://ift.tt/CdGi…
Recently Updated
Hacker News
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean https://ift.tt/y6Lx7Ek
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and …
Hacker News
Show HN: Clippy for macOS – retro floating paperclip with computer use https://ift.tt/AgZP0kp
Show HN: Clippy for macOS – retro floating paperclip with computer us…
Hacker News
Show HN: Check if any of the $656M in unclaimed royalties at The MLC is yours https://ift.tt/Xy6o8BP
Show HN: Check if any of the $656M in unclaimed royalties at The MLC …
Hacker News
Show HN: Zaivern Code – a Rust cockpit for parallel AI coding agents https://ift.tt/m8GLEN6
Show HN: Zaivern Code – a Rust cockpit for parallel AI coding agents …
Hacker News
Show HN: Mousecrack – Teaching an LSTM to move a mouse like a human https://ift.tt/3hKaOtP
Show HN: Mousecrack – Teaching an LSTM to move a mouse like a human …
Hacker News
Show HN: ARF – a record format for AI evaluation runs, with reproducible digests https://ift.tt/3m0nFjv
Show HN: ARF – a record format for AI evaluation runs, with reproduci…
Show HN: Learn System Design, one campaign at a time https://scalequ…