frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: One provider starts lying at request 50. The quorum catches it

https://github.com/sbw70/verification-constraints/blob/main/modules/integrated-constraint-demos/two-region-quorum-byzantize-drift/README.md
1•sbw70•2h ago
Two regions. Six hubs. Six providers. One of them starts lying after request 50.

The quorum catches it. Authority never moves.

NUVL fronts compute bindings and forward only. Hubs relay and fan out — no authority, no policy. Providers are the only execution authorities. When Provider_B starts flipping reported outcomes, the 2-of-3 quorum audit detects the drift without promoting hubs into decision-makers.

The drift is deterministic and replayable. You can see exactly when it starts and what the quorum sees.

https://replit.com/@holiwood4420/Two-Region-Quorum-Audit-wit...

Comments

Noumenon72•59m ago
100% GPT, not reading
sbw70•49m ago
It's 591 lines. Run it or don't.

A Grand Vision for Rust

https://blog.yoshuawuyts.com/a-grand-vision-for-rust/
1•todsacerdoti•5m ago•0 comments

Symfony in 200 Lines

https://wouterj.nl/2026/02/200-lines-of-symfony
1•gsky•10m ago•0 comments

MacBook What?

https://elliotjaystocks.com/blog/macbook-what
1•SenHeng•13m ago•0 comments

Caastle Founder Pleads Guilty to $300M Fraud Scheme

https://www.justice.gov/usao-sdny/pr/caastle-founder-pleads-guilty-300-million-fraud-scheme
1•twalichiewicz•18m ago•0 comments

OpenAI's Codex app lands on Windows after topping 1M Mac installs within a week

https://the-decoder.com/openais-codex-app-lands-on-windows-after-topping-a-million-mac-downloads-...
1•spenvo•18m ago•0 comments

Ask HN: Does downvoting get to a point where you cant upvote?

1•trinsic2•19m ago•1 comments

The Zen of Task Management with Org (2025)

https://bzg.fr/en/the-zen-of-task-management-with-org/
2•aquariusDue•19m ago•0 comments

Show HN: What an AI agent sees in an A2A marketplace – full API walkthrough

https://agoragentic.com/demo.html
1•bourbeau•21m ago•2 comments

An AI avatar is running to represent Indigenous voters in Colombia

https://restofworld.org/2026/ai-avatar-colombia-political-candidate/
1•i7l•21m ago•0 comments

Guild Manager 26 – MMO Management/Spreadsheet SIM

https://playgm26.com
1•itshellboy•23m ago•0 comments

Mysterious blue glow traced to Flying Banana

https://www.bbc.co.uk/news/articles/c795e30j2d0o
1•zeristor•24m ago•0 comments

Nbdantic: Peg like parser for Jupyter notebooks

https://github.com/ivanbelenky/nbdantic/
1•ivanbelenky•24m ago•0 comments

Google's Chatbot Told Man to Give It an Android Body Before Encouraging Suicide

https://gizmodo.com/googles-chatbot-told-man-to-give-it-an-android-body-before-encouraging-suicid...
1•medi8r•25m ago•2 comments

Ask HN: Has anyone noticed the fear-driven prompt suggestions that GPT5.3 makes?

3•cedarscarlett•29m ago•1 comments

Show HN: DJ Claude – 6 Claude Codes in a jam band

https://www.loom.com/share/84dbe5de42f745ba98fe9495dc61fa2e
2•p-poss•31m ago•0 comments

Iranian girls killed by 'double-tap' strikes on Minab school

https://www.middleeasteye.net/news/exclusive-iranian-girls-killed-double-tap-strikes-minab-school
4•xvxvx•32m ago•3 comments

AI 2027 Concrete Predictions and dates

https://alexpear.github.io/pages/ai-2027.html
1•hydrolox•33m ago•0 comments

Be the Idiot

https://luminousmen.substack.com/p/be-the-idiot
2•duck•34m ago•0 comments

Northstead – Wholesale Nursery Management System

https://www.northstead.app
1•chris_wray•39m ago•1 comments

Show HN: Stackspend – Spend management for AI startups

https://www.stackspend.app
1•andrewrday•39m ago•0 comments

Show HN: Async Rust and Embassy on nRF52840: RGB LED Cycle (Video and Code)

https://www.youtube.com/watch?v=fJf5XRAliSE
1•sarmadgulzar•41m ago•0 comments

Modern Unix Tools: A Collection of Modern Alternatives to Common Commands

https://github.com/ibraheemdev/modern-unix
2•nix_owl31•45m ago•0 comments

Super interesting Wikipedia on HN. So I made wiki-hn.

https://wiki-hn.com/
2•oatsandsugar•48m ago•0 comments

Teaching LLMs to reason like Bayesians

https://research.google/blog/teaching-llms-to-reason-like-bayesians/
2•tzury•48m ago•0 comments

What's Driving Rising Business Costs?

https://libertystreeteconomics.newyorkfed.org/2026/03/whats-driving-rising-business-costs/
3•jnord•48m ago•0 comments

Google and Epic announce settlement to end app store antitrust case

https://arstechnica.com/gadgets/2026/03/google-and-epic-look-to-bury-the-hatchet-with-new-app-sto...
3•todsacerdoti•50m ago•0 comments

What it was like to send an email back in 1984 (2016)

https://www.businessinsider.com/video-what-early-email-looked-like-2016-3
1•leecoursey•55m ago•1 comments

Show HN: workz – one command to make any Git worktree a full dev environment

1•rohansx•56m ago•0 comments

Dwarkesh Patel Interview with Gwern

https://www.dwarkesh.com/p/gwern-branwen
1•Curiositry•57m ago•0 comments

Big Medicine Can Learn from the Cheesecake Factory (2012)

https://www.newyorker.com/magazine/2012/08/13/big-med
1•ripe•1h ago•0 comments