tluyben2's favorites | Hacker News

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
		More