Octocode MCP โ€“ AI Researcher for Smart, Deep Multi-Repo Code Context
github.comยท2hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Flag this post
Is 'human' a risky AGI target
nullsy.comยท1dยท
Discuss: Hacker News
โš™Complex ststems
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท16hยท
Discuss: Hacker News
โœ…Formal Verification
Flag this post
Walkie Talkie, an open source peer-to-peer iOS communicator
github.comยท11hยท
Discuss: Hacker News
๐Ÿ”บComputational Geometry
Flag this post
Blazeio vs. FastAPI vs. Robyn: Benchmarking Reveals 86x Performance Difference
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.orgยท4hยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
Cocoon from Telegram: A Decentralized AI Network That Pays GPU Owners in Crypto
decrypt.coยท17hยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.comยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Flag this post
Show HN: Sudachi Emulator โ€“ Fast open-source Switch emulator
sudachiemu.orgยท5hยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
Evolving PHP Streams for Async, Security, and Performance
thephp.foundationยท3dยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
Show HN: GPU-accelerated sandboxes for running AI coding agents in parallel [video]
youtube.comยท2dยท
Discuss: Hacker News
๐Ÿง Machine learning
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.comยท4dยท
Discuss: Hacker News
๐Ÿง Machine learning
Flag this post
Show HN: Hot or Slop โ€“ Visual Turing test on how well humans detect AI images
hotorslop.comยท3dยท
Discuss: Hacker News
๐Ÿง Machine learning
Flag this post
โ€˜A lot of this is speculativeโ€™: faith and fear mix amid $3tn global datacentre boom
theguardian.comยท22hยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
How not to get replaced by a GPU
augmentedswe.comยท1dยท
Discuss: Hacker News
โš™Complex ststems
Flag this post
Machine Scheduler in LLVM โ€“ Part II
myhsu.xyzยท1dยท
โœ…Formal Verification
Flag this post
Quindar Tone Generator
curiousmarc.comยท12hยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.orgยท19hยท
Discuss: Hacker News
โœ…Formal Verification
Flag this post
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
mbuffett.comยท2dยท
Discuss: Hacker News
๐Ÿง Machine learning
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comยท2dยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post