frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html
30•birdculture•2h ago

Comments

walski•3m ago
> TLA+ is a formal specification language developed by Leslie Lamport. It is used for designing, modelling, documentation, and verification of programs, especially concurrent systems and distributed systems. TLA+ is considered to be exhaustively-testable pseudocode, and its use likened to drawing blueprints for software systems;

https://en.wikipedia.org/wiki/TLA+

Is Mozilla trying hard to kill itself?

https://infosec.press/brunomiguel/is-mozilla-trying-hard-to-kill-itself
142•pabs3•1h ago•99 comments

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
639•evankhoury•13h ago•331 comments

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html
30•birdculture•2h ago•1 comments

alpr.watch

https://alpr.watch/
789•theamk•17h ago•373 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
649•ryandrake•15h ago•115 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
604•gavide•13h ago•113 comments

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

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
345•MrAlex94•12h ago•200 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
440•charlierguo•16h ago•205 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
659•kevin-david•17h ago•723 comments

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

https://plasticsoldierreview.com/ShowFeature.aspx?id=27
38•YeGoblynQueenne•3d ago•21 comments

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

https://www.simplychris.ai/droplets
20•simplychris•5d ago•6 comments

VA Linux: The biggest dotcom IPO

https://dfarq.homeip.net/va-linux-the-biggest-dotcom-ipo/
63•giuliomagnifico•5d ago•20 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/
167•pbowyer•11h ago•98 comments

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

https://www.workatastartup.com/companies/subsets
1•Oliverbrandt•3h 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...
449•geox•21h ago•179 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
515•mitchbob•1d ago•183 comments

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

https://github.com/p-org/P
8•Davidbrcz•3h ago•1 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
512•recvonline•20h ago•768 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/
3•Lightbody•3d ago•0 comments

Introduction to Software Development Tooling (2024)

https://bernsteinbear.com/isdt/
77•vismit2000•9h ago•10 comments

AI's real superpower: consuming, not creating

https://msanroman.io/blog/ai-consumption-paradigm
4•firefoxd•2h 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/
199•rgovostes•1d ago•179 comments

Living Particle System

https://creative-art-points.vercel.app/
7•lovegrenoble•4d ago•0 comments

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

https://www.npmjs.com/package/@ezetgalaxy/titan
35•soham_byte•6d ago•20 comments

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

https://gamehistory.org/segachannel/
257•wicket•21h ago•40 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
132•thatoneengineer•1d ago•166 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...
24•peter_d_sherman•6h ago•1 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/
78•handfuloflight•11h ago•25 comments

Various locale mismatch scenarios in Windows clipboard text format synthesis

https://devblogs.microsoft.com/oldnewthing/20251211-37/?p=111858
17•ibobev•4d ago•7 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/
211•ewt-nv•1d ago•39 comments