fp.

Is Mozilla trying hard to kill itself?

https://infosec.press/brunomiguel/is-mozilla-trying-hard-to-kill-itself

262•pabs3•1h ago•219 comments

AI will make formal verification go mainstream

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

659•evankhoury•14h ago•338 comments

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html

40•birdculture•3h ago•4 comments

alpr.watch

https://alpr.watch/

801•theamk•18h ago•375 comments

No Graphics API

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

672•ryandrake•16h ago•120 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty

626•gavide•14h ago•116 comments

AI's real superpower: consuming, not creating

https://msanroman.io/blog/ai-consumption-paradigm

20•firefoxd•3h ago•14 comments

Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger

https://www.esquire.com/lifestyle/a69597294/santaland-bob-rutan/

13•Lightbody•3d ago•1 comments

GPT Image 1.5

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

450•charlierguo•17h ago•208 comments

Pricing Changes for GitHub Actions

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

674•kevin-david•18h ago•737 comments

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

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

362•MrAlex94•13h ago•213 comments

Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025

https://plasticsoldierreview.com/ShowFeature.aspx?id=27

40•YeGoblynQueenne•3d ago•25 comments

Show HN: I built a WebMIDI sequencer to control my hardware synths

https://www.simplychris.ai/droplets

20•simplychris•5d ago•7 comments

VA Linux: The biggest dotcom IPO

https://dfarq.homeip.net/va-linux-the-biggest-dotcom-ipo/

66•giuliomagnifico•5d ago•26 comments

Subsets (YC S23) is hiring engineers in Copenhagen, Denmark

https://www.workatastartup.com/companies/subsets

1•Oliverbrandt•4h ago

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...

452•geox•21h ago•179 comments

Thin desires are eating life

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

524•mitchbob•1d ago•188 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

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

521•recvonline•21h ago•787 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/

173•pbowyer•12h ago•104 comments

Introduction to Software Development Tooling (2024)

https://bernsteinbear.com/isdt/

81•vismit2000•10h ago•11 comments

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

https://github.com/p-org/P

13•Davidbrcz•3h ago•2 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/

209•rgovostes•1d ago•183 comments

Show HN: Titan – JavaScript-first framework that compiles into a Rust server

https://www.npmjs.com/package/@ezetgalaxy/titan

39•soham_byte•6d ago•21 comments

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

https://gamehistory.org/segachannel/

260•wicket•22h ago•41 comments

The World Happiness Report is beset with methodological problems

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

137•thatoneengineer•1d ago•169 comments

Living Particle System

https://creative-art-points.vercel.app/

8•lovegrenoble•4d ago•0 comments

Nvidia Nemotron 3 Family of Models

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

216•ewt-nv•1d ago•42 comments

A Guide to Magnetizing N48 Magnets in Ansys Maxwell

https://blog.ozeninc.com/resources/from-datasheet-to-demagnetization-a-guide-to-magnetizing-n48-m...

28•peter_d_sherman•7h ago•2 comments

Various locale mismatch scenarios in Windows clipboard text format synthesis

https://devblogs.microsoft.com/oldnewthing/20251211-37/?p=111858

21•ibobev•4d ago•7 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/

81•handfuloflight•12h ago•28 comments

Is Mozilla trying hard to kill itself?

AI will make formal verification go mainstream

TLA+ Modeling Tips

alpr.watch

No Graphics API

Announcing the Beta release of ty

AI's real superpower: consuming, not creating

Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger

GPT Image 1.5

Pricing Changes for GitHub Actions

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

Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025

Show HN: I built a WebMIDI sequencer to control my hardware synths

VA Linux: The biggest dotcom IPO

Subsets (YC S23) is hiring engineers in Copenhagen, Denmark

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

Thin desires are eating life

Mozilla appoints new CEO Anthony Enzor-Demeo

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

Introduction to Software Development Tooling (2024)

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Japan to revise romanization rules for first time in 70 years

Show HN: Titan – JavaScript-first framework that compiles into a Rust server

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

The World Happiness Report is beset with methodological problems

Living Particle System

Nvidia Nemotron 3 Family of Models

A Guide to Magnetizing N48 Magnets in Ansys Maxwell

Various locale mismatch scenarios in Windows clipboard text format synthesis

Dafny: Verification-Aware Programming Language

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Comments

Is Mozilla trying hard to kill itself?

AI will make formal verification go mainstream

TLA+ Modeling Tips

alpr.watch

No Graphics API

Announcing the Beta release of ty

AI's real superpower: consuming, not creating

Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger

GPT Image 1.5

Pricing Changes for GitHub Actions

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

Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025

Show HN: I built a WebMIDI sequencer to control my hardware synths

VA Linux: The biggest dotcom IPO

Subsets (YC S23) is hiring engineers in Copenhagen, Denmark

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

Thin desires are eating life

Mozilla appoints new CEO Anthony Enzor-Demeo

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

Introduction to Software Development Tooling (2024)

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Japan to revise romanization rules for first time in 70 years

Show HN: Titan – JavaScript-first framework that compiles into a Rust server

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

The World Happiness Report is beset with methodological problems

Living Particle System

Nvidia Nemotron 3 Family of Models

A Guide to Magnetizing N48 Magnets in Ansys Maxwell

Various locale mismatch scenarios in Windows clipboard text format synthesis

Dafny: Verification-Aware Programming Language