frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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