Hacker Newsnew | past | comments | ask | show | jobs | submit | more anonzzzies's favoriteslogin
91.
Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container (github.com/juhovh)
150 points by juhovh 3 months ago | 38 comments
92.
Show HN: DevSwarm, run multiple AI coding assistants in parallel (devswarm.ai)
15 points by mikebiglan 3 months ago | 1 comment
93.
The Universe Within 12.5 Light Years (atlasoftheuniverse.com)
268 points by algorithmista 3 months ago | 190 comments
94.
Fil's Unbelievable Garbage Collector (fil-c.org)
603 points by pizlonator 3 months ago | 281 comments
95.
Poor man's bitemporal data system in SQLite and Clojure (evalapply.org)
172 points by adityaathalye 3 months ago | 54 comments
96.
Show HN: We built an open-source alternative to expensive pair programming apps (github.com/gethopp)
39 points by konsalexee 3 months ago | 17 comments
97.
Seven Hours, Zero Internet, and Local AI Coding at 40k Feet (betweentheprompts.com)
2 points by scastiel 3 months ago | 1 comment
98.
Light Sleep: Waking VMs in 200ms with eBPF and snapshots (koyeb.com)
74 points by Sadzeih 3 months ago | 18 comments
99.
Memory is slow, Disk is fast – Part 1 (bitflux.ai)
54 points by ashvardanian 3 months ago | 47 comments
100.
Essential Coding Theory [pdf] (buffalo.edu)
377 points by ibobev 3 months ago | 63 comments
101.
Lisp from Nothing, Second Edition (t3x.org)
372 points by nils-m-holm 3 months ago | 104 comments
102.
Make any site multiplayer in a few lines. Serverless WebRTC matchmaking (oxism.com)
223 points by haxiomic 3 months ago | 68 comments
103.
Dependent Types: Universes, or types of types (jonmsterling.com)
41 points by matt_d 3 months ago | 2 comments
104.
GNU Artanis – A fast web application framework for Scheme (artanis.dev)
260 points by smartmic 3 months ago | 80 comments
105.
Claim: GPT-5-pro can prove new interesting mathematics (twitter.com/sebastienbubeck)
256 points by marcuschong 4 months ago | 150 comments
106.
 [flagged] Agent-C: a 4KB AI agent (github.com/bravenewxyz)
108 points by liszper 3 months ago | 85 comments
107.
Show HN: CasCache – multi-generational cache with optimistic concurrency control (github.com/unkn0wn-root)
20 points by unkn0wn_root 3 months ago | 2 comments
108.
Show HN: Game demo made with my homemade game engine (reprobate.site)
101 points by delduca 4 months ago | 54 comments
109.
450× Faster Joins with Index Condition Pushdown (readyset.io)
120 points by marceloaltmann 4 months ago | 57 comments
110.
Io_uring, kTLS and Rust for zero syscall HTTPS server (habets.se)
496 points by guntars 4 months ago | 166 comments
111.
Customizing Lisp REPLs (aartaka.me)
76 points by nemoniac 4 months ago | 19 comments
112.
Typechecker Zoo (sdiehl.github.io)
193 points by todsacerdoti 4 months ago | 31 comments
113.
Mangle – a language for deductive database programming (github.com/google)
103 points by simonpure 4 months ago | 19 comments
114.
Dyna – Logic Programming for Machine Learning (dyna.org)
163 points by matteodelabre 4 months ago | 21 comments
115.
Recto – A Truly 2D Language (masatohagiwara.net)
147 points by mhagiwara 4 months ago | 65 comments
116.
Tune self-correct SQL agent with RL: AgentLightning+verl+vLLM+AgentOps+LangGraph (medium.com/yugez)
2 points by ultmaster 4 months ago | 1 comment
117.
Compiling a Lisp: Lambda lifting (bernsteinbear.com)
162 points by azhenley 4 months ago | 17 comments
118.
Don't “let it crash”, let it heal (zachdaniel.dev)
169 points by ahamez 4 months ago | 90 comments
119.
Open SWE: An open-source asynchronous coding agent (langchain.com)
111 points by palashshah 4 months ago | 26 comments
120.
Efrit: A native elisp coding agent running in Emacs (github.com/steveyegge)
146 points by simonpure 4 months ago | 36 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: