frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Executable Specs for Reliable Systems

https://quint-lang.org/
1•perpetua•1h ago

Comments

henryluo•1h ago
Quint is an interesting lang, and the concept of 'executable spec' is definitely the direction to go in the age of AI vibe coding.

And the language, Lambda, that I designed and implemented has many similar characteristics: https://github.com/henry-luo/lambda

ZML/v2: Frontier performance through composability

https://zml.ai/posts/zml-v2/
1•steeve•27s ago•0 comments

Postgraphile v5 Released

https://postgraphile.org/news/2026-03-24-v5-published/
1•purge•42s ago•1 comments

AI Agents Gone Rogue

https://www.osohq.com/developers/ai-agents-gone-rogue
1•forks•1m ago•0 comments

Show HN: The / marketplace, an open-source ChatGPT Checkout

https://marketplace.openship.org
1•theturtletalks•1m ago•0 comments

My 2c on the AI/GenAI/LLM bubble

https://riffraff.info/2026/03/my-2c-on-the-ai-genai-llm-bubble/
1•speckx•2m ago•0 comments

Country that put backdoors in Cisco routers to spy on world bans foreign routers

https://www.theregister.com/2026/03/24/fcc_foreign_routers/
2•beardyw•2m ago•0 comments

Global Carmakers Retreat En Masse from Electric Vehicle Plans

https://www.ft.com/content/1198863d-4974-4c4d-be5f-9e7152045b26
1•karakoram•3m ago•1 comments

The AI Industry Is Lying to You

https://www.wheresyoured.at/the-ai-industry-is-lying-to-you/
2•spking•3m ago•0 comments

Pebble Time 2 enters mass production

https://repebble.com/blog/pebble-time-2-is-in-mass-production
1•smig0•4m ago•0 comments

Arm AGI CPU

https://newsroom.arm.com/blog/introducing-arm-agi-cpu
1•RealityVoid•4m ago•1 comments

Systemd has not implemented age verification

https://blog.bofh.it/debian/id_473
2•edward•4m ago•0 comments

How to Build a PMF Machine

https://speedrun.substack.com/p/how-to-build-a-pmf-machine
1•babelfish•6m ago•0 comments

Fitbit Data Sheds Light on Best Time to Exercise

https://nautil.us/fitbit-data-sheds-light-on-best-time-to-exercise-1279140
1•Brajeshwar•7m ago•0 comments

OpenWonton: Nomad-Compatible Workload Orchestrator

https://github.com/openwonton/openwonton
1•InitEnabler•8m ago•0 comments

Richland Correctional Institution rehabilitates animals and people

https://www.ashlandsource.com/2025/10/17/prison-opossums-how-richland-correctional-institution-is...
1•pavel_lishin•9m ago•0 comments

Who Makes What, and Where with the US ISP CPE Supply Chain

https://www.senki.org/operators-security-toolkit/us-isp-cpe-supply-chain/
1•speckx•9m ago•0 comments

The US bans all new foreign-made network routers

https://www.engadget.com/big-tech/the-us-bans-all-new-foreign-made-network-routers-223622966.html
4•ZunarJ5•9m ago•1 comments

Why Performance Reviews Need a Makeover

https://www.ft.com/content/c3d40d72-3c91-4dbe-9c48-a8f2940cc147
1•karakoram•10m ago•1 comments

PBMs Extract $30B/Year from Drug Prices (Data Analysis)

https://andrewrexroad.substack.com/p/the-middlemen
1•rexroad•10m ago•0 comments

ARM to make processors for first time in their history

https://newsroom.arm.com/news/arm-agi-cpu-launch
1•nateguchi•11m ago•0 comments

Welp, I Bought an iPhone Again

https://www.theverge.com/tech/899602/best-phone-android-ios-app-store
2•coloneltcb•12m ago•0 comments

Elon Musk Announces $20B 'Terafab' Chip Plant in Texas to Supply His Companies

https://www.kvue.com/article/tech/elon-musk-announces-chip-plant-austin-travis-county-texas/269-f...
2•m463•12m ago•0 comments

Arm Holdings, in Break from Past, Will Sell Its Own Computer Chips

https://www.nytimes.com/2026/03/24/technology/arm-holdings-sell-chips.html
2•donohoe•13m ago•0 comments

What up world -Systems Cat here with a query

1•CentralPlexus•14m ago•0 comments

A Solid Education Starts with Facts

https://www.restoringthewest.com/p/a-solid-education-starts-with-facts
1•mpweiher•14m ago•0 comments

Software Engineering Has Been Commoditized and Automated. What's Next?

https://www.eetimes.com/software-engineering-has-been-commoditized-and-automated-whats-next
1•ua709•14m ago•0 comments

Yann LeCun's research team trains stable JEPA from pixels on one GPU

https://le-wm.github.io/?lid=h11EVOyjVZPe220i
1•linkregister•15m ago•0 comments

Addressing global removal race in Wayland

https://blog.vladzahorodnii.com/2026/03/24/addressing-global-removal-race-in-wayland/
1•TangerineDream•15m ago•0 comments

Apple Is Set to Put Ads in Apple Maps in Services Push

https://www.bloomberg.com/news/articles/2026-03-23/apple-is-set-to-add-search-advertising-to-maps...
2•thisislife2•15m ago•0 comments

Iranian strikes on Amazon data centers highlight industry's vulnerability

https://apnews.com/article/amazon-aws-data-center-uae-iran-bahrain-71066b0a822c4cfd88b61e3fe79af917
3•rurp•16m ago•0 comments