fp.

alpr.watch

https://alpr.watch/

535•theamk•5h ago•267 comments

Prediction: AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html

66•evankhoury•1h ago•28 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api

259•ryandrake•3h ago•40 comments

MIT professor shot at his Massachusetts home dies

https://www.bbc.com/news/articles/cly08y25688o

18•mosura•30m ago•0 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/

213•charlierguo•4h ago•115 comments

Ty: A fast Python type checker and LSP

https://astral.sh/blog/ty

73•gavide•1h ago•11 comments

40 percent of fMRI signals do not correspond to actual brain activity

https://www.tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-d...

356•geox•8h ago•156 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/

359•recvonline•8h ago•524 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/

224•mitchbob•21h ago•84 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham

66•thatoneengineer•22h ago•84 comments

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

https://kemble.net/blog/provoke/

54•tempodox•6h ago•30 comments

GitHub will begin charging for self-hosted action runners on March 2026

https://github.blog/changelog/2025-12-16-coming-soon-simpler-pricing-and-a-better-experience-for-...

364•nklow•4h ago•143 comments

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

https://gamehistory.org/segachannel/

194•wicket•9h ago•27 comments

Chat-tails: Throwback terminal chat, built on Tailscale

https://tailscale.com/blog/chat-tails-terminal-chat

11•nulbyte•1h ago•1 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/

99•ewt-nv•1d ago•12 comments

Letta Code

https://www.letta.com/blog/letta-code

12•ascorbic•1h ago•1 comments

Artie (YC S23) Is Hiring Senior Enterprise AES

https://www.ycombinator.com/companies/artie/jobs/HyaHWUs-senior-enterprise-ae

1•j-cheong•5h ago

Show HN: Sqlit – A lazygit-style TUI for SQL databases

https://github.com/Maxteabag/sqlit

85•MaxTeabag•1d ago•9 comments

Context: Odin’s Most Misunderstood Feature

https://www.gingerbill.org/article/2025/12/15/odins-most-misunderstood-feature-context/

25•davikr•1d ago•0 comments

Creating custom yellow handshake emojis with zero-width joiners

https://blog.alexbeals.com/posts/custom-yellow-handshake-emojis-with-zero-width-joiners

43•dado3212•21h ago•1 comments

Show HN: Deterministic PCIe Diagnostics for GPUs on Linux

https://github.com/parallelArchitect/gpu-pcie-diagnostic

6•gpu_systems•1h ago•1 comments

Rust GCC back end: Why and how

https://blog.guillaume-gomez.fr/articles/2025-12-15+Rust+GCC+backend%3A+Why+and+how

149•ahlCVA•8h ago•70 comments

How geometry is fundamental for chess

https://lichess.org/@/RuyLopez1000/blog/how-geometry-is-fundamental-for-chess/h31wwhUX

43•fzliu•4d ago•14 comments

Purrtran – ᓚᘏᗢ – A Programming Language for Cat People

https://github.com/cmontella/purrtran

213•simonpure•3d ago•31 comments

30 Years of <Br> Tags

https://www.artmann.co/articles/30-years-of-br-tags

122•FragrantRiver•3d ago•25 comments

Vibe coding creates fatigue?

https://www.tabulamag.com/p/too-fast-to-think-the-hidden-fatigue

118•rom16384•3h ago•118 comments

Pizlix: Memory Safe Linux from Scratch

https://fil-c.org/pizlix

55•nullbyte808•2d ago•16 comments

Confuse some SSH bots and make botters block you

https://mirror.newsdump.org/confuse-some-ssh-bots.html

38•Bender•5d ago•14 comments

Full Unicode Search at 50× ICU Speed with AVX‑512

https://ashvardanian.com/posts/search-utf8/

178•ashvardanian•1d ago•69 comments

The Beauty of Dissonance

https://www.plough.com/en/topics/culture/music/the-beauty-of-dissonance

7•tintinnabula•3d ago•0 comments