fp.

AI will make formal verification go mainstream

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

243•evankhoury•3h ago•127 comments

alpr.watch

https://alpr.watch/

589•theamk•7h ago•292 comments

No Graphics API

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

364•ryandrake•5h ago•63 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty

234•gavide•3h ago•49 comments

GPT Image 1.5

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

288•charlierguo•6h ago•149 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/

448•kevin-david•7h ago•491 comments

No AI* Here – A Response to Mozilla's Next Chapter

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/

45•MrAlex94•2h ago•36 comments

Midjourney is alemwjsl

https://www.aadillpickle.com/blog/midjourney-is-alemwjsl

27•aadillpickle•6d ago•10 comments

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

https://simonwillison.net/2025/Dec/15/porting-justhtml/

21•pbowyer•1h ago•0 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...

385•geox•10h ago•163 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

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

403•recvonline•10h ago•617 comments

Americans overestimate how many social media users post harmful content

https://academic.oup.com/pnasnexus/article/4/12/pgaf310/8377954?login=false

12•bikenaga•59m ago•19 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/

11•handfuloflight•1h ago•1 comments

MIT professor shot at his Massachusetts home dies

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

141•mosura•2h ago•65 comments

Thin desires are eating life

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

286•mitchbob•23h ago•116 comments

Chat-tails: Throwback terminal chat, built on Tailscale

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

38•nulbyte•3h ago•9 comments

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

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

74•tempodox•8h ago•43 comments

The World Happiness Report is beset with methodological problems

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

83•thatoneengineer•1d ago•97 comments

Japan to revise romanization rules for first time in 70 years

https://www.japantimes.co.jp/news/2025/08/21/japan/panel-hepburn-style-romanization/

99•rgovostes•15h ago•77 comments

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

https://gamehistory.org/segachannel/

211•wicket•11h ago•33 comments

Artie (YC S23) Is Hiring Senior Enterprise AES

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

1•j-cheong•7h ago

Letta Code

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

48•ascorbic•3h ago•22 comments

Nvidia Nemotron 3 Family of Models

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

128•ewt-nv•1d ago•23 comments

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

https://github.com/Maxteabag/sqlit

110•MaxTeabag•1d ago•14 comments

Meta's new A.I. superstars are chafing against the rest of the company

https://www.nytimes.com/2025/12/10/technology/meta-ai-tbd-lab-friction.html

48•furcyd•6d ago•59 comments

Rust GCC backend: Why and how

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

163•ahlCVA•10h ago•88 comments

Creating custom yellow handshake emojis with zero-width joiners

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

AI will make formal verification go mainstream

alpr.watch

No Graphics API

Announcing the Beta release of ty

GPT Image 1.5

Pricing Changes for GitHub Actions

No AI* Here – A Response to Mozilla's Next Chapter

Midjourney is alemwjsl

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

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

Mozilla appoints new CEO Anthony Enzor-Demeo

Americans overestimate how many social media users post harmful content

Dafny: Verification-Aware Programming Language

MIT professor shot at his Massachusetts home dies

Thin desires are eating life

Chat-tails: Throwback terminal chat, built on Tailscale

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

The World Happiness Report is beset with methodological problems

Japan to revise romanization rules for first time in 70 years

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

Artie (YC S23) Is Hiring Senior Enterprise AES

Letta Code

Nvidia Nemotron 3 Family of Models

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

Meta's new A.I. superstars are chafing against the rest of the company

Rust GCC backend: Why and how

Creating custom yellow handshake emojis with zero-width joiners

30 years of <br> tags

Pizlix: Memory Safe Linux from Scratch

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

A Thousand and One Nights in Italy

AI will make formal verification go mainstream

alpr.watch

No Graphics API

Announcing the Beta release of ty

GPT Image 1.5

Pricing Changes for GitHub Actions

No AI* Here – A Response to Mozilla's Next Chapter

Midjourney is alemwjsl

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

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

Mozilla appoints new CEO Anthony Enzor-Demeo

Americans overestimate how many social media users post harmful content

Dafny: Verification-Aware Programming Language

MIT professor shot at his Massachusetts home dies

Thin desires are eating life

Chat-tails: Throwback terminal chat, built on Tailscale

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

The World Happiness Report is beset with methodological problems

Japan to revise romanization rules for first time in 70 years

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

Artie (YC S23) Is Hiring Senior Enterprise AES

Letta Code

Nvidia Nemotron 3 Family of Models

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

Meta's new A.I. superstars are chafing against the rest of the company

Rust GCC backend: Why and how

Creating custom yellow handshake emojis with zero-width joiners

30 years of <br> tags

Pizlix: Memory Safe Linux from Scratch

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