fp.

AI will make formal verification go mainstream

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

367•evankhoury•6h ago•189 comments

alpr.watch

https://alpr.watch/

648•theamk•10h ago•325 comments

No Graphics API

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

447•ryandrake•7h ago•81 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty

363•gavide•6h ago•74 comments

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

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

137•MrAlex94•5h ago•81 comments

Midjourney is alemwjsl

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

89•aadillpickle•6d ago•35 comments

GPT Image 1.5

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

337•charlierguo•9h ago•175 comments

Pricing Changes for GitHub Actions

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

510•kevin-david•10h ago•592 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/

79•pbowyer•4h ago•47 comments

Sei AI (YC W22) Is Hiring

https://www.ycombinator.com/companies/sei/jobs/TYbKqi0-llm-engineer-mid-senior

1•ramkumarvenkat•2h ago

CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)

https://bernsteinbear.com/isdt/

18•vismit2000•1h ago•0 comments

More than 100 rally against data centers at Michigan Capitol

https://www.lansingstatejournal.com/story/news/local/2025/12/16/lansing-state-capitol-data-center...

33•rmason•3h ago•18 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...

400•geox•13h ago•176 comments

Why many Asian megacities are miserable places

https://www.economist.com/asia/2025/12/11/why-many-asian-megacities-are-miserable-places

4•andsoitis•11m ago•1 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

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

435•recvonline•13h ago•677 comments

Testing a cheaper laminar flow hood

https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood

16•surprisetalk•4d ago•3 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/

34•handfuloflight•4h ago•14 comments

Thin desires are eating life

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

337•mitchbob•1d ago•137 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/

129•rgovostes•18h ago•108 comments

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

https://gamehistory.org/segachannel/

227•wicket•14h ago•36 comments

Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents

https://github.com/TheAuditorTool/Auditor

12•ThailandJohn•13h ago•4 comments

Locked out: How a gift card purchase destroyed an Apple account

https://appleinsider.com/articles/25/12/13/locked-out-how-a-gift-card-purchase-destroyed-an-apple...

23•nonfamous•1h ago•8 comments

Show HN: Learn Japanese contextually while browsing

https://lingoku.ai/learn-japanese

25•englishcat•2h ago•9 comments

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

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

90•tempodox•11h ago•53 comments

MIT professor shot at his Massachusetts home dies

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

206•mosura•5h ago•104 comments

The World Happiness Report is beset with methodological problems

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

89•thatoneengineer•1d ago•110 comments

Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola

https://arstechnica.com/cars/2025/11/an-electric-car-thats-faster-than-f1-around-monaco-thats-the...

AI will make formal verification go mainstream

alpr.watch

No Graphics API

Announcing the Beta release of ty

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

Midjourney is alemwjsl

GPT Image 1.5

Pricing Changes for GitHub Actions

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

Sei AI (YC W22) Is Hiring

CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)

More than 100 rally against data centers at Michigan Capitol

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

Why many Asian megacities are miserable places

Mozilla appoints new CEO Anthony Enzor-Demeo

Testing a cheaper laminar flow hood

Dafny: Verification-Aware Programming Language

Thin desires are eating life

Japan to revise romanization rules for first time in 70 years

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

Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents

Locked out: How a gift card purchase destroyed an Apple account

Show HN: Learn Japanese contextually while browsing

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

MIT professor shot at his Massachusetts home dies

The World Happiness Report is beset with methodological problems

Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola

Nvidia Nemotron 3 Family of Models

Chat-tails: Throwback terminal chat, built on Tailscale

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

AI will make formal verification go mainstream

alpr.watch

No Graphics API

Announcing the Beta release of ty

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

Midjourney is alemwjsl

GPT Image 1.5

Pricing Changes for GitHub Actions

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

Sei AI (YC W22) Is Hiring

CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)

More than 100 rally against data centers at Michigan Capitol

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

Why many Asian megacities are miserable places

Mozilla appoints new CEO Anthony Enzor-Demeo

Testing a cheaper laminar flow hood

Dafny: Verification-Aware Programming Language

Thin desires are eating life

Japan to revise romanization rules for first time in 70 years

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

Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents

Locked out: How a gift card purchase destroyed an Apple account

Show HN: Learn Japanese contextually while browsing

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

MIT professor shot at his Massachusetts home dies

The World Happiness Report is beset with methodological problems

Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola

Nvidia Nemotron 3 Family of Models

Chat-tails: Throwback terminal chat, built on Tailscale

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