fp.
news
Open in hackernews
Solvingn the Santa Claus concurrency puzzle with a model checker
https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/
14
•
simplegeek
•
3d ago
Comments
lacoolj
•
53m ago
You just gonna leave the title with a typo?
lala_lala
•
45m ago
Looks interesting. Like that the author modeled the failure scenario first before the correct one, it’s instructive. As other commenter pointed, a small typo in the title.
The Codex App
https://openai.com/index/introducing-the-codex-app/
175
•
meetpateltech
•
1h ago
•
101 comments
Ask HN: Who is hiring? (February 2026)
174
•
whoishiring
•
3h ago
•
197 comments
Todd C. Miller – Sudo maintainer for over 30 years
https://www.millert.dev/
117
•
wodniok
•
2h ago
•
60 comments
Why software stocks are getting pummelled
https://www.economist.com/business/2026/02/01/why-software-stocks-are-getting-pummelled
17
•
petethomas
•
14h ago
•
5 comments
Nano-vLLM: How a vLLM-style inference engine works
https://neutree.ai/blog/nano-vllm-part-1
177
•
yz-yu
•
6h ago
•
22 comments
4x faster network file sync with rclone (vs rsync) (2025)
https://www.jeffgeerling.com/blog/2025/4x-faster-network-file-sync-rclone-vs-rsync/
176
•
indigodaddy
•
3d ago
•
78 comments
Advancing AI Benchmarking with Game Arena
https://blog.google/innovation-and-ai/models-and-research/google-deepmind/kaggle-game-arena-updates/
36
•
salkahfi
•
1h ago
•
22 comments
Geologists may have solved mystery of Green River's 'uphill' route
https://phys.org/news/2026-01-geologists-mystery-green-river-uphill.html
104
•
defrost
•
6h ago
•
25 comments
Ask HN: Who wants to be hired? (February 2026)
52
•
whoishiring
•
3h ago
•
111 comments
EPA Advances Farmers' Right to Repair
https://www.epa.gov/newsreleases/epa-advances-farmers-right-repair-their-own-equipment-saving-rep...
75
•
bilsbie
•
1h ago
•
24 comments
Hacking Moltbook
https://www.wiz.io/blog/exposed-moltbook-database-reveals-millions-of-api-keys
69
•
galnagli
•
3h ago
•
50 comments
Being sane in insane places (1973) [pdf]
https://www.weber.edu/wsuimages/psychology/FacultySites/Horvat/OnBeingSaneInInsanePlaces.PDF
33
•
dbgrman
•
1h ago
•
16 comments
Linux From Scratch ends SysVinit support
https://lists.linuxfromscratch.org/sympa/arc/lfs-announce/2026-02/msg00000.html
66
•
cf100clunk
•
1h ago
•
63 comments
The largest number representable in 64 bits
https://tromp.github.io/blog/2026/01/28/largest-number-revised
4
•
tromp
•
1h ago
•
1 comments
Defeating a 40-year-old copy protection dongle
https://dmitrybrant.com/2026/02/01/defeating-a-40-year-old-copy-protection-dongle
793
•
zdw
•
22h ago
•
251 comments
My fast zero-allocation webserver using OxCaml
https://anil.recoil.org/notes/oxcaml-httpz
113
•
noelwelsh
•
8h ago
•
41 comments
IsoCoaster – Theme Park Builder
https://iso-coaster.com/
57
•
duck
•
3d ago
•
9 comments
Stop incentivizing surface parking lots
https://progressandpoverty.substack.com/p/stop-incentivizing-surface-parking
9
•
surprisetalk
•
1h ago
•
1 comments
Waymo seeking about $16B near $110B valuation
https://www.bloomberg.com/news/articles/2026-01-31/waymo-seeking-about-16-billion-near-110-billio...
113
•
JumpCrisscross
•
4h ago
•
151 comments
Claude Code is suddenly everywhere inside Microsoft
https://www.theverge.com/tech/865689/microsoft-claude-code-anthropic-partnership-notepad
264
•
Anon84
•
7h ago
•
368 comments
Show HN: PolliticalScience – Anonymous daily polls with 24-hour windows
https://polliticalscience.vote/
5
•
ps2026
•
1h ago
•
1 comments
Valanza – my Unix way for weight tracking and anlysis
https://github.com/paolomarrone/valanza
19
•
lallero317
•
4d ago
•
4 comments
Solvingn the Santa Claus concurrency puzzle with a model checker
https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/
14
•
simplegeek
•
3d ago
•
2 comments
Hypergrowth isn’t always easy
https://tailscale.com/blog/hypergrowth-isnt-always-easy
103
•
usrme
•
2d ago
•
41 comments
My iPhone 16 Pro Max produces garbage output when running MLX LLMs
https://journal.rafaelcosta.me/my-thousand-dollar-iphone-cant-do-math/
401
•
rafaelcosta
•
22h ago
•
187 comments
Kernighan on Programming
94
•
chrisjj
•
3h ago
•
19 comments
Tomo: A statically typed, imperative language that cross-compiles to C [video]
https://www.youtube.com/watch?v=-vGE0I8RPcc
7
•
evakhoury
•
4d ago
•
6 comments
Show HN: Stelvio – Ship Python to AWS
https://stelvio.dev/
28
•
michal-stlv
•
4h ago
•
18 comments
Apple's MacBook Pro DFU port documentation is wrong
https://lapcatsoftware.com/articles/2026/2/1.html
189
•
zdw
•
16h ago
•
71 comments
Termux
https://github.com/termux/termux-app
305
•
tosh
•
8h ago
•
148 comments
Load More
lacoolj•53m ago