Hackernews posts about Gates

Gates is Bill Gates, co-founder of Microsoft and philanthropist.

Related: iPads Warren Buffett Bezos Zuck

Formal Verification Gates for AI Coding Loops (reubenbrooks.dev)

143 points by pyrex41 2 days ago | 32 comments
Anthropic forms $200M partnership with the Gates Foundation (www.anthropic.com)

122 points by surprisetalk 8 days ago | 101 comments
SFO Gate Explorer (www.flysfo.com)

47 points by CaliforniaKarl 22 days ago | 39 comments
Jobs was right. Gates was wrong (saturnino.substack.com)

23 points by lrsaturnino 24 days ago | 6 comments
Common Lisp names all sixteen binary logic gates (www.cs.cmu.edu)

22 points by optimalsolver 4 days ago | discuss
The Gate Test: Why Human-in-the-Loop Fails and How to Fix It (jitera.com)

6 points by everlier 24 days ago | discuss
MAHA's latest conspiracy? Blaming Bill Gates for spike in tick bites (www.independent.co.uk)

4 points by KnuthIsGod 3 days ago | discuss
Anthropic, Gates Foundation launch $200M partnership for AI in health, education (finance.yahoo.com)

3 points by gmays 2 days ago | 1 comments
Show HN: An 8-bit computer made from one NAND gate, and live-evolving neural net (github.com)

3 points by ninjahawk1 13 days ago | 1 comments
Show HN: Pico-intl – Type-safe internationalization with CLI localization gates (github.com)

3 points by Elioz404 7 days ago | discuss
Bill Gates' Mosquito Factory in Colombia and Its Contribution to Health (aldianews.com)

3 points by thunderbong 12 days ago | discuss
The 'Gates to Hell' Are Dimming. That May Not Be a Good Thing (www.nytimes.com)

3 points by cainxinth 18 days ago | discuss
Show HN: Gate – AI workers handle dev tickets in a visual workspace (soliddark.net)

3 points by SolidDark 25 days ago | discuss
The NYC Law on Metal Gates That Nearly Everyone Forgot About (www.nytimes.com)

3 points by JumpCrisscross 25 days ago | discuss
Volo: Flight tracker built for group travel, delays, gates, and real connections (apps.apple.com)

2 points by darpanypatel1 1 day ago | discuss
Aislop – deterministic quality gate for AI-generated code (MIT, no LLMs) (github.com)

2 points by tolawuwo 3 days ago | discuss
UWB Mobile Suica isn't just walk-through gates, it's payments too (atadistance.net)

2 points by ksec 5 days ago | discuss
Scqos – A 9-gate pre-execution coherence kernel for deterministic computation (indigo-major-newt-582.mypinata.cloud)

2 points by Knowledgee_KZA 18 days ago | discuss
Show HN: BetterClaw – Compile a paragraph into a workflow that gates agent tools

2 points by infamous-oven 21 days ago | discuss
Good DevOps Engineers Leave Trails Not Gates (danielleheberling.xyz)

2 points by speckx 24 days ago | discuss
Show HN: Hodor – A tiny reverse proxy that gates any web app behind a password (github.com)

1 points by michidk 6 days ago | discuss
Jury Convicts Isis-K Terrorist for Role in the Abbey Gate Bombing&Other Attacks (www.justice.gov)

1 points by 737min 18 days ago | discuss
What Happens When You Try to Spend Bill Gates' Money

1 points by asifbc2552 21 days ago | discuss
Symbiont – Typestate-enforced policy gates for AI agents (Rust) (github.com)

1 points by smugglereal 30 days ago | discuss
Show HN: A Karpathy-style LLM wiki your agents maintain (Markdown and Git) (github.com)

260 points by najmuzzaman 27 days ago | 115 comments
Show HN: Statewright – Visual state machines that make AI agents reliable (github.com)

126 points by azurewraith 10 days ago | 59 comments
Show HN: Rocky – Rust SQL engine with branches, replay, column lineage (github.com)

122 points by hugocorreia90 24 days ago | 48 comments
Show HN: A nibble-oriented CPU in Verilog to build a scientific calculator (github.com)

119 points by gdevic 7 days ago | 42 comments
Show HN: FusionCore: ROS 2 sensor fusion that outperforms robot_localization (github.com)

11 points by kharwarm 24 days ago | 2 comments
Ask HN: What does your agentic software dark factory look like?

6 points by ElFitz 25 days ago | 5 comments