fp.
news
Open in hackernews
Hyper-Typing
https://pscanf.com/s/341/
19
•
agos
•
7mo ago
Comments
dang
•
7mo ago
Comments moved to
https://news.ycombinator.com/item?id=44024173
, which is currently on the frontpage.
AI will make formal verification go mainstream
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
489
•
evankhoury
•
9h ago
•
238 comments
alpr.watch
https://alpr.watch/
708
•
theamk
•
13h ago
•
348 comments
No Graphics API
https://www.sebastianaaltonen.com/blog/no-graphics-api
537
•
ryandrake
•
11h ago
•
96 comments
Announcing the Beta release of ty
https://astral.sh/blog/ty
460
•
gavide
•
9h ago
•
86 comments
VA Linux: The biggest dotcom IPO
https://dfarq.homeip.net/va-linux-the-biggest-dotcom-ipo/
28
•
giuliomagnifico
•
5d ago
•
5 comments
GPT Image 1.5
https://openai.com/index/new-chatgpt-images-is-here/
388
•
charlierguo
•
12h ago
•
186 comments
Pricing Changes for GitHub Actions
https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
586
•
kevin-david
•
13h ago
•
648 comments
No AI* Here – A Response to Mozilla's Next Chapter
https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
227
•
MrAlex94
•
8h ago
•
129 comments
Introduction to Software Development Tooling (2024)
https://bernsteinbear.com/isdt/
52
•
vismit2000
•
5h ago
•
4 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...
14
•
peter_d_sherman
•
2h ago
•
0 comments
Mozilla appoints new CEO Anthony Enzor-Demeo
https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
473
•
recvonline
•
16h ago
•
723 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/
126
•
pbowyer
•
7h ago
•
73 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...
424
•
geox
•
16h ago
•
179 comments
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
https://www.npmjs.com/package/@ezetgalaxy/titan
21
•
soham_byte
•
5d ago
•
9 comments
Thin desires are eating life
https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
409
•
mitchbob
•
1d ago
•
164 comments
Various locale mismatch scenarios in Windows clipboard text format synthesis
https://devblogs.microsoft.com/oldnewthing/20251211-37/?p=111858
6
•
ibobev
•
4d ago
•
2 comments
Sei AI (YC W22) Is Hiring
https://www.ycombinator.com/companies/sei/jobs/TYbKqi0-llm-engineer-mid-senior
1
•
ramkumarvenkat
•
5h ago
Dafny: Verification-Aware Programming Language
https://dafny.org/
56
•
handfuloflight
•
7h ago
•
23 comments
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
https://plasticsoldierreview.com/ShowFeature.aspx?id=27
9
•
YeGoblynQueenne
•
3d ago
•
0 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/
162
•
rgovostes
•
21h ago
•
139 comments
Show HN: Learn Japanese contextually while browsing
https://lingoku.ai/learn-japanese
52
•
englishcat
•
5h ago
•
24 comments
Testing a cheaper laminar flow hood
https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood
31
•
surprisetalk
•
4d ago
•
7 comments
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
https://gamehistory.org/segachannel/
241
•
wicket
•
17h ago
•
39 comments
The World Happiness Report is beset with methodological problems
https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
108
•
thatoneengineer
•
1d ago
•
127 comments
Nvidia Nemotron 3 Family of Models
https://research.nvidia.com/labs/nemotron/Nemotron-3/
176
•
ewt-nv
•
1d ago
•
32 comments
FTX insider Caroline Ellison has been moved out of prison
https://www.businessinsider.com/caroline-ellison-prison-release-ftx-sam-bankman-fried-2025-12
29
•
harambae
•
1h ago
•
3 comments
Chat-tails: Throwback terminal chat, built on Tailscale
https://tailscale.com/blog/chat-tails-terminal-chat
75
•
nulbyte
•
9h ago
•
13 comments
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
https://kemble.net/blog/provoke/
103
•
tempodox
•
14h ago
•
59 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...
12
•
PaulHoule
•
5d ago
•
3 comments
Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents
https://github.com/TheAuditorTool/Auditor
23
•
ThailandJohn
•
16h ago
•
7 comments
Load More
dang•7mo ago