fp.
news
Open in hackernews
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
https://arxiv.org/abs/2512.02080
19
•
PaulHoule
•
3h ago
Growing up in “404 Not Found”: China's nuclear city in the Gobi Desert
https://substack.com/inbox/post/182743659
487
•
Vincent_Yan404
•
12h ago
•
185 comments
Calendar
https://neatnik.net/calendar/?year=2026
776
•
twapi
•
13h ago
•
96 comments
tc-ematch(8) extended matches for use with "basic", "cgroup" or "flow" filters
https://man7.org/linux/man-pages/man8/tc-ematch.8.html
16
•
hamonrye
•
2h ago
•
0 comments
Building a macOS app to know when my Mac is thermal throttling
https://stanislas.blog/2025/12/macos-thermal-throttling-app/
116
•
angristan
•
6h ago
•
52 comments
Replacing JavaScript with Just HTML
https://www.htmhell.dev/adventcalendar/2025/27/
585
•
soheilpro
•
17h ago
•
218 comments
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
https://arxiv.org/abs/2512.02080
19
•
PaulHoule
•
3h ago
•
2 comments
Never Use Pixelation to Hide Sensitive Text (2014)
https://dheera.net/posts/20140725-why-you-should-never-use-pixelation/
55
•
basilikum
•
1w ago
•
14 comments
One year of keeping a tada list
https://www.ducktyped.org/p/one-year-of-keeping-a-tada-list
140
•
egonschiele
•
6d ago
•
42 comments
Learn computer graphics from scratch and for free
https://www.scratchapixel.com
40
•
theusus
•
7h ago
•
0 comments
A "Prime" View of HN
https://dosaygo-studio.github.io/prime-news/index.html
22
•
keepamovin
•
1h ago
•
20 comments
Floor796
https://floor796.com/
906
•
krtkush
•
1d ago
•
109 comments
We "solved" C10K years ago yet we keep reinventing it (2003)
https://www.kegel.com/c10k.html
52
•
birdculture
•
2d ago
•
25 comments
Streaming Uploads with LiveView
https://fly.io/phoenix-files/streaming-uploads-with-liveview/
15
•
m5r
•
6d ago
•
2 comments
Rex is a safe kernel extension framework that allows Rust in the place of eBPF
https://github.com/rex-rs/rex
117
•
zdw
•
5d ago
•
56 comments
How we lost communication to entertainment
https://ploum.net/2025-12-15-communication-entertainment.html
598
•
8organicbits
•
22h ago
•
335 comments
Langfuse (YC W23) Is Hiring in Berlin, Germany
https://langfuse.com/careers
1
•
clemo_ra
•
6h ago
Hungry Fat Cells Could Someday Starve Cancer
https://www.ucsf.edu/news/2025/01/429411/how-hungry-fat-cells-could-someday-starve-cancer-death
104
•
mrtnmrtn
•
8h ago
•
25 comments
Fathers’ choices may be packaged and passed down in sperm RNA
https://www.quantamagazine.org/how-dads-fitness-may-be-packaged-and-passed-down-in-sperm-rna-2025...
257
•
vismit2000
•
17h ago
•
155 comments
Last Year on My Mac: Look Back in Disbelief
https://eclecticlight.co/2025/12/28/last-year-on-my-mac-look-back-in-disbelief/
249
•
vitosartori
•
8h ago
•
177 comments
Gpg.fail
https://gpg.fail
415
•
todsacerdoti
•
1d ago
•
249 comments
Dialtone – AOL 3.0 Server
https://dialtone.live/
91
•
rickcarlino
•
15h ago
•
45 comments
Rainbow Six Siege hacked as players get billions of credits and random bans
https://www.shanethegamer.com/esports-news/rainbow-six-siege-hacked-global-server-outage/
257
•
erhuve
•
23h ago
•
113 comments
Functional programming and reliability: ADTs, safety, critical infrastructure
https://blog.rastrian.dev/post/why-reliability-demands-functional-programming-adts-safety-and-cri...
125
•
rastrian
•
18h ago
•
125 comments
The Origins of APL (1974) [video]
https://www.youtube.com/watch?v=8kUQWuK1L4w
47
•
ofalkaed
•
6d ago
•
8 comments
Project Vend: Phase Two
https://www.anthropic.com/research/project-vend-2
170
•
kubami
•
6d ago
•
71 comments
Liberating Bluetooth on the ESP32
https://exquisite.tube/w/mEzF442Q4hUXnhQ8HmfZuq
122
•
todsacerdoti
•
20h ago
•
21 comments
Deathbed Advice/Regret
https://hazn.com/deathbed-regret
9
•
paulpauper
•
1h ago
•
2 comments
Windows 2 for the Apricot PC/Xi
https://www.ninakalinina.com/notes/win2apri/
154
•
todsacerdoti
•
1d ago
•
37 comments
Show HN: Ez FFmpeg – Video editing in plain English
http://npmjs.com/package/ezff
390
•
josharsh
•
1d ago
•
190 comments
Text rendering hates you (2019)
https://faultlore.com/blah/text-hates-you/
173
•
andsoitis
•
6d ago
•
72 comments
Load More