fp.

Coursera to combine with Udemy

https://investor.coursera.com/news/news-details/2025/Coursera-to-Combine-with-Udemy-to-Empower-th...

83•throwaway019254•2h ago•28 comments

Learning the oldest programming language (2024)

https://uncenter.dev/posts/learning-fortran/

9•lioeters•2h ago•3 comments

AI will make formal verification go mainstream

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

695•evankhoury•18h ago•356 comments

Is Mozilla trying hard to kill itself?

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

483•pabs3•6h ago•418 comments

TLA+ Modeling Tips

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

60•birdculture•7h ago•14 comments

alpr.watch

https://alpr.watch/

826•theamk•22h ago•386 comments

No Graphics API

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

710•ryandrake•20h ago•129 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty

684•gavide•18h ago•130 comments

Modern SID chip substitutes [video]

https://www.youtube.com/watch?v=nooPmXxO6K0

27•vismit2000•3d ago•1 comments

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

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

401•MrAlex94•17h ago•233 comments

AI's real superpower: consuming, not creating

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

87•firefoxd•7h ago•68 comments

Pricing Changes for GitHub Actions

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

708•kevin-david•22h ago•762 comments

GPT Image 1.5

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

472•charlierguo•21h ago•223 comments

Playing Santa changed Bob Rutan profoundly

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

33•Lightbody•3d 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/

197•pbowyer•16h ago•115 comments

Thin desires are eating life

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

564•mitchbob•1d ago•202 comments

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

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

1•Oliverbrandt•8h ago

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

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

50•YeGoblynQueenne•4d ago•35 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...

466•geox•1d ago•181 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

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

541•recvonline•1d ago•814 comments

VA Linux: The biggest dotcom IPO

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

81•giuliomagnifico•6d ago•40 comments

Short-Circuiting Correlated Subqueries in SQLite

https://emschwartz.me/short-circuiting-correlated-subqueries-in-sqlite/

6•emschwartz•4h ago•0 comments

The Coupang data breach that hit two-thirds of South Korea

https://www.ft.com/content/df4042fa-3e56-410f-b905-4aed8fd434ac

3•zdw•4d ago•2 comments

Living Particle System

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

22•lovegrenoble•4d ago•0 comments

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

https://www.simplychris.ai/droplets

30•simplychris•5d ago•13 comments

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

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

21•Davidbrcz•7h ago•4 comments

Introduction to Software Development Tooling (2024)

https://bernsteinbear.com/isdt/

90•vismit2000•14h ago•13 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/

Coursera to combine with Udemy

Learning the oldest programming language (2024)

AI will make formal verification go mainstream

Is Mozilla trying hard to kill itself?

TLA+ Modeling Tips

alpr.watch

No Graphics API

Announcing the Beta release of ty

Modern SID chip substitutes [video]

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

AI's real superpower: consuming, not creating

Pricing Changes for GitHub Actions

GPT Image 1.5

Playing Santa changed Bob Rutan profoundly

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

Thin desires are eating life

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

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

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

Mozilla appoints new CEO Anthony Enzor-Demeo

VA Linux: The biggest dotcom IPO

Short-Circuiting Correlated Subqueries in SQLite

The Coupang data breach that hit two-thirds of South Korea

Living Particle System

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

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

Introduction to Software Development Tooling (2024)

Japan to revise romanization rules for first time in 70 years

Ask HN: Has anyone been able to renew their IEEE this month?

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

Short-Circuiting Correlated Subqueries in SQLite

Coursera to combine with Udemy

Learning the oldest programming language (2024)

AI will make formal verification go mainstream

Is Mozilla trying hard to kill itself?

TLA+ Modeling Tips

alpr.watch

No Graphics API

Announcing the Beta release of ty

Modern SID chip substitutes [video]

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

AI's real superpower: consuming, not creating

Pricing Changes for GitHub Actions

GPT Image 1.5

Playing Santa changed Bob Rutan profoundly

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

Thin desires are eating life

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

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

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

Mozilla appoints new CEO Anthony Enzor-Demeo

VA Linux: The biggest dotcom IPO

Short-Circuiting Correlated Subqueries in SQLite

The Coupang data breach that hit two-thirds of South Korea

Living Particle System

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

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

Introduction to Software Development Tooling (2024)

Japan to revise romanization rules for first time in 70 years

Ask HN: Has anyone been able to renew their IEEE this month?

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