Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
tluyben2's favorites
login
submissions
|
comments
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
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: