fp.

AI will make formal verification go mainstream

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

258•evankhoury•3h ago•136 comments

No Graphics API

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

380•ryandrake•5h ago•65 comments

alpr.watch

https://alpr.watch/

598•theamk•7h ago•294 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty

255•gavide•3h ago•51 comments

GPT Image 1.5

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

294•charlierguo•6h ago•156 comments

Pricing Changes for GitHub Actions

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

460•kevin-david•7h ago•492 comments

Midjourney is alemwjsl

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

38•aadillpickle•6d ago•13 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/

33•pbowyer•1h ago•2 comments

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

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

55•MrAlex94•2h ago•38 comments

Americans overestimate how many social media users post harmful content

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

16•bikenaga•1h ago•27 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...

386•geox•10h ago•165 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

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

406•recvonline•10h ago•623 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/

16•handfuloflight•1h ago•2 comments

Chat-tails: Throwback terminal chat, built on Tailscale

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

44•nulbyte•3h ago•10 comments

Thin desires are eating life

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

290•mitchbob•23h ago•118 comments

MIT professor shot at his Massachusetts home dies

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

148•mosura•2h ago•69 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•99 comments

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

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

75•tempodox•9h ago•46 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/

101•rgovostes•15h ago•79 comments

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

https://gamehistory.org/segachannel/

214•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

50•ascorbic•3h ago•23 comments

FVWM-95 (2001)

https://fvwm95.sourceforge.net/

107•mghackerlady•7h ago•80 comments

Nvidia Nemotron 3 Family of Models

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

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

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

https://github.com/Maxteabag/sqlit

112•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

49•furcyd•6d ago•60 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•11h ago•89 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

No Graphics API

alpr.watch

Announcing the Beta release of ty

GPT Image 1.5

Pricing Changes for GitHub Actions

Midjourney is alemwjsl

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

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

Americans overestimate how many social media users post harmful content

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

Mozilla appoints new CEO Anthony Enzor-Demeo

Dafny: Verification-Aware Programming Language

Chat-tails: Throwback terminal chat, built on Tailscale

Thin desires are eating life

MIT professor shot at his Massachusetts home dies

The World Happiness Report is beset with methodological problems

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

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

FVWM-95 (2001)

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

Reverse-engineering the RK3588 NPU: Hacking limits to run vision transformers

30 years of <br> tags

Hyper-Typing

Comments

AI will make formal verification go mainstream

No Graphics API

alpr.watch

Announcing the Beta release of ty

GPT Image 1.5

Pricing Changes for GitHub Actions

Midjourney is alemwjsl

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

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

Americans overestimate how many social media users post harmful content

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

Mozilla appoints new CEO Anthony Enzor-Demeo

Dafny: Verification-Aware Programming Language

Chat-tails: Throwback terminal chat, built on Tailscale

Thin desires are eating life

MIT professor shot at his Massachusetts home dies

The World Happiness Report is beset with methodological problems

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

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

FVWM-95 (2001)

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

Reverse-engineering the RK3588 NPU: Hacking limits to run vision transformers

30 years of <br> tags