fp.
news
AI will make formal verification go mainstream
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
515
•
evankhoury
•
9h ago
•
253 comments
alpr.watch
https://alpr.watch/
718
•
theamk
•
14h ago
•
349 comments
No Graphics API
https://www.sebastianaaltonen.com/blog/no-graphics-api
549
•
ryandrake
•
11h ago
•
100 comments
Announcing the Beta release of ty
https://astral.sh/blog/ty
483
•
gavide
•
10h ago
•
90 comments
VA Linux: The biggest dotcom IPO
https://dfarq.homeip.net/va-linux-the-biggest-dotcom-ipo/
37
•
giuliomagnifico
•
5d ago
•
7 comments
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
https://www.workatastartup.com/companies/subsets
1
•
Oliverbrandt
•
11m ago
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
https://plasticsoldierreview.com/ShowFeature.aspx?id=27
17
•
YeGoblynQueenne
•
3d ago
•
2 comments
GPT Image 1.5
https://openai.com/index/new-chatgpt-images-is-here/
402
•
charlierguo
•
13h ago
•
189 comments
Pricing Changes for GitHub Actions
https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
597
•
kevin-david
•
14h ago
•
662 comments
No AI* Here – A Response to Mozilla's Next Chapter
https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
246
•
MrAlex94
•
9h ago
•
134 comments
Introduction to Software Development Tooling (2024)
https://bernsteinbear.com/isdt/
58
•
vismit2000
•
5h ago
•
4 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/
136
•
pbowyer
•
8h ago
•
79 comments
Mozilla appoints new CEO Anthony Enzor-Demeo
https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
476
•
recvonline
•
17h ago
•
729 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...
429
•
geox
•
17h ago
•
179 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...
18
•
peter_d_sherman
•
3h ago
•
1 comments
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
https://www.npmjs.com/package/@ezetgalaxy/titan
23
•
soham_byte
•
5d ago
•
12 comments
Thin desires are eating life
https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
424
•
mitchbob
•
1d ago
•
167 comments
Various locale mismatch scenarios in Windows clipboard text format synthesis
https://devblogs.microsoft.com/oldnewthing/20251211-37/?p=111858
7
•
ibobev
•
4d 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/
173
•
rgovostes
•
22h ago
•
142 comments
Dafny: Verification-Aware Programming Language
https://dafny.org/
59
•
handfuloflight
•
8h ago
•
23 comments
Show HN: Learn Japanese contextually while browsing
https://lingoku.ai/learn-japanese
59
•
englishcat
•
6h ago
•
26 comments
Testing a cheaper laminar flow hood
https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood
32
•
surprisetalk
•
4d ago
•
7 comments
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
https://gamehistory.org/segachannel/
245
•
wicket
•
18h ago
•
39 comments
Nvidia Nemotron 3 Family of Models
https://research.nvidia.com/labs/nemotron/Nemotron-3/
181
•
ewt-nv
•
1d ago
•
32 comments
The World Happiness Report is beset with methodological problems
https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
109
•
thatoneengineer
•
1d ago
•
129 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
34
•
harambae
•
2h ago
•
10 comments
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
https://kemble.net/blog/provoke/
105
•
tempodox
•
15h ago
•
62 comments
Chat-tails: Throwback terminal chat, built on Tailscale
https://tailscale.com/blog/chat-tails-terminal-chat
77
•
nulbyte
•
9h ago
•
13 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...
13
•
PaulHoule
•
5d ago
•
3 comments
Show HN: Sqlit – A lazygit-style TUI for SQL databases
https://github.com/Maxteabag/sqlit
132
•
MaxTeabag
•
1d ago
•
19 comments
Load More
Open in hackernews
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
https://blog.ozeninc.com/resources/from-datasheet-to-demagnetization-a-guide-to-magnetizing-n48-magnets-in-ansys-maxwell
18
•
peter_d_sherman
•
3h ago
Comments
rdtsc
•
31m ago
In case you're wondering Maxwell is a Finite Element Analysis package from Ansys for low frequency EM fields [1]. It looks quite neat. I never used it, but I worked for a competitor and we had something similar.
[1]
https://www.ansys.com/products/electronics/ansys-maxwell
rdtsc•31m ago
[1] https://www.ansys.com/products/electronics/ansys-maxwell