Hacker Newsnew | past | comments | ask | show | jobs | submit | tluyben2's favoriteslogin
1.Show HN: Octelium – FOSS Alternative to Teleport, Cloudflare, Tailscale, Ngrok (github.com/octelium)
356 points by geoctl 9 days ago | 151 comments
2.Emacs Lisp Elements (protesilaos.com)
353 points by robenkleene 86 days ago | 56 comments
3.Google to buy Wiz for $32B (reuters.com)
608 points by uncertainrhymes 3 months ago | 845 comments
4.Verification-First Development (buttondown.com/hillelwayne)
65 points by vinipolicena 3 months ago | 24 comments
5.Show HN: A bi-directional, persisted KV store that is faster than Redis (hpkv.io)
79 points by mehrant 3 months ago | 75 comments
6.Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)
159 points by todsacerdoti 3 months ago | 42 comments
7.Show HN: CodeVideo – Two years in the making to build an event-sourced IDE (codevideo.io)
69 points by fullstackchris 3 months ago | 20 comments
8.Differentiable Logic Cellular Automata (google-research.github.io)
469 points by eyvindn 4 months ago | 90 comments
9.Show HN: Time travel debugging AI for more reliable vibe coding (nut.new)
129 points by bhackett 4 months ago | 52 comments
10.Show HN: Superglue – open source API connector that writes its own code (github.com/superglue-ai)
198 points by adinagoerres 4 months ago | 48 comments
11.Lessons Learned Implementing Common Lisp with LLVM [video] (youtube.com)
152 points by StreamBright on Dec 17, 2018 | 30 comments
12.Show HN: Anything World – AI for 3D auto-rigging and animation (anything.world)
123 points by mov on Oct 2, 2023 | 51 comments
13.Vine: A programming language based on Interaction Nets (vine.dev)
203 points by todsacerdoti 4 months ago | 49 comments
14.20 years working on the same software product (successfulsoftware.net)
533 points by hermitcrab 4 months ago | 179 comments
15.I built a "Tinder for SaaS" – try it for free (appairium.com)
1 point by celian_bdt 4 months ago
16.TinyCompiler: A compiler in a week-end (ssloy.github.io)
319 points by sebg 4 months ago | 113 comments
17.Pseudo Scheme: Scheme Implemented on Top of Common Lisp (cmu.edu)
52 points by interpunct 11 months ago | 17 comments
18.Meta’s Hyperscale Infrastructure: Overview and Insights (acm.org)
302 points by sidcool 4 months ago | 169 comments
19.Patterns for Building Realtime Features (zknill.io)
161 points by zknill 4 months ago | 45 comments
20.Spreadsheets are all you need (spreadsheets-are-all-you-need.ai)
1493 points by evanmays on March 14, 2024 | 164 comments
21.Transformer – Spreadsheet (byhand.ai)
250 points by next_xibalba 5 months ago | 20 comments
22.Earthstar – A database for private, distributed, offline-first applications (earthstar-project.org)
310 points by kristianpaul 5 months ago | 42 comments
23.Mini-R1: Reproduce DeepSeek R1 "Aha Moment" (philschmid.de)
191 points by jonbaer 5 months ago | 15 comments
24.From C++ to Clojure: Jank language promises best of both (thenewstack.io)
259 points by Jeaye 5 months ago | 103 comments
25.Scalable OLTP in the Cloud: What's the Big Deal? (muratbuffalo.blogspot.com)
93 points by SchwKatze 5 months ago | 49 comments
26.Promising results from DeepSeek R1 for code (simonwillison.net)
979 points by k__ 5 months ago | 746 comments
27.Infinigen (infinigen.org)
319 points by galaxyLogic 5 months ago | 35 comments
28.Ask HN: Is anyone doing anything cool with tiny language models?
684 points by prettyblocks 5 months ago | 345 comments
29.Build a Database in Four Months with Rust and 647 Open-Source Dependencies (tisonkun.io)
130 points by tison 5 months ago | 146 comments
30.Build a Database in 3000 Lines with 0 Dependencies (build-your-own.org)
422 points by not_a_boat 5 months ago | 56 comments

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: