Login
故事
< prev
page 8
more >
Loading...
177
T-Ruby is Ruby with syntax for types
(type-ruby.github.io)
by
thunderbong
4 days ago |
147 comments
58
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
(arxiv.org)
by
PaulHoule
3 days ago |
12 comments
4
Binaries: I thunk therefore I am
(fzakaria.com)
by
ingve
20 hours ago |
discuss
30
Show HN: Zs3 – S3 server in ~1K lines of Zig, 250KB binary, zero dependencies
(github.com)
by
lulzx
2 days ago |
1 comments
7
I gave Claude Code the ability to run its own radio show 24/7
(khaledeltokhy.com)
by
eltokh7
a day ago |
8 comments
6
Experiments with Ableton-MCP
(jhurliman.org)
by
jhurliman
a day ago |
discuss
24
Formally Verifying Peephole Optimisations in Lean
(l-m.dev)
by
l-mdev
8 days ago |
9 comments
163
Hungry Fat Cells Could Someday Starve Cancer
(ucsf.edu)
by
mrtnmrtn
3 days ago |
51 comments
777
Package managers keep using Git as a database, it never works out
(nesbitt.io)
by
birdculture
5 days ago |
455 comments
18
The Honey Files Expose Major Fraud
(docs.google.com)
by
mirzap
6 hours ago |
2 comments
27
Formulaic Delimiters in the Iliad and the Odyssey
(glthr.com)
by
glth
4 days ago |
13 comments
9
Mini Rack: The Homelab Rabbit Hole
(gquetel.fr)
by
todsacerdoti
a day ago |
1 comments
307
Janet Jackson had the power to crash laptop computers (2022)
(devblogs.microsoft.com)
by
montalbano
3 days ago |
124 comments
688
How we lost communication to entertainment
(ploum.net)
by
8organicbits
3 days ago |
394 comments
148
Inside the proton, the ‘most complicated thing you could possibly imagine’ (2022)
(quantamagazine.org)
by
tzury
4 days ago |
61 comments
99
Splice a Fibre
(react-networks-lib.rackout.net)
by
matt-p
4 days ago |
43 comments
131
Spherical Cow
(lib.rs)
by
Natfan
2 days ago |
20 comments
328
Ask HN: What did you read in 2025?
by
kwar13
5 days ago |
435 comments
ask
439
Gpg.fail
(gpg.fail)
by
todsacerdoti
3 days ago |
353 comments
490
Experts explore new mushroom which causes fairytale-like hallucinations
(nhmu.utah.edu)
by
astronads
4 days ago |
322 comments
4
GPU-Agnostic Programming Using CubeCL
(thomasantony.com)
by
tantony
a day ago |
discuss
152
Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines
(github.com)
by
isitcontent
5 days ago |
36 comments
14
California's Ro Khanna faces Silicon Valley backlash after embracing wealth tax
(cnbc.com)
by
1vuio0pswjnm7
21 hours ago |
6 comments
929
Maybe the default settings are too high
(raptitude.com)
by
htk
5 days ago |
320 comments
7
7,020 Days of Hacker News
(da0a80a4.static-news-dtg.pages.dev)
by
keepamovin
a day ago |
1 comments
225
MiniMax M2.1: Built for Real-World Complex Tasks, Multi-Language Programming
(minimaxi.com)
by
110
5 days ago |
81 comments
413
Show HN: Ez FFmpeg – Video editing in plain English
(npmjs.com)
by
josharsh
4 days ago |
197 comments
13
Americans Hate AI. Which Party Will Benefit
(politico.com)
by
Webstir
14 hours ago |
9 comments
6
Balsa "2001: A Space Odyssey" Model
(engineersneedart.com)
by
Brajeshwar
12 hours ago |
discuss
206
Toll roads are spreading in America
(economist.com)
by
smurda
3 days ago |
682 comments