Show HN: Provability Fabric – Proof-carrying behavior for AI agents

1 points by MADEinPARIS 55s ago 0 comments

AMOC (en.wikipedia.org)

1 points by simonebrunozzi 3m ago 0 comments

Show HN: Xbow raised $117M to build AI hackers, I open-sourced it for free (github.com)

1 points by ahmedallam2 3m ago 0 comments

Making Impossible States Impossible: Type-Safe Domain Modeling with Functional (cekrem.github.io)

1 points by todsacerdoti 3m ago 0 comments

Where Have All My Deep Male Friendships Gone? (nytimes.com)

1 points by 0r 3m ago 1 comments

Growing SEO with Free Tools (timleland.com)

1 points by TimLeland 3m ago 0 comments

DevOps Workflows by Cased (cased.com)

1 points by connorsears 4m ago 0 comments

China's Cable Cutter Endangers 95% of World Connections (sustainability-times.com)

1 points by howard941 6m ago 0 comments

HDR and Tone Mapping Using OpenGL [video] (youtube.com)

1 points by ibobev 8m ago 0 comments

70yo Parkinson's drug shows promise against tuberculosis (news.ubc.ca)

1 points by gmays 8m ago 0 comments

Cache Me If You Can (2017) (queue.acm.org)

1 points by tosh 9m ago 0 comments

U.S. Foreclosure Activity Jumps 13% Year over Year in July, Highest of 2025 (attomdata.com)

3 points by enraged_camel 11m ago 0 comments

A minimal tensor processing unit (TPU), inspired by Google's TPU (github.com)

2 points by admp 11m ago 0 comments

Perceived Breakfast Buffet Value Much Higher Than Cost (bloomberg.com)

1 points by neehao 11m ago 1 comments

Scale made with a carbon nanotube sensitive to a proton's mass(2012) (arstechnica.com)

1 points by rolph 12m ago 0 comments

Federal court decision finds cellphone tower-dumping searches unconstitutional (courtwatch.news)

3 points by anigbrowl 13m ago 1 comments

Edgemesh Performance Talks: Bryan Cantrill (2020) [video] (youtube.com)

1 points by tosh 13m ago 0 comments

Jailbroken iDevices may be able to run macOS natively (old.reddit.com)

2 points by wicket 15m ago 0 comments

Search H-1B applications by job title and/or location (guestworkervisas.com)

1 points by DonnyV 18m ago 1 comments

Wikipedia now requires a user-agent header (wikitech.wikimedia.org)

1 points by 1vuio0pswjnm7 18m ago 1 comments

A New Way to Reduce Children's Deaths: Cash (nytimes.com)

1 points by drankl 19m ago 1 comments

Flirting with Fräuleins, Hunting for Herren (spiegel.de)

1 points by niemandhier 19m ago 1 comments

Free AI Course by Google (cloudskillsboost.google)

1 points by krunal_joshi 22m ago 0 comments

Comics from March 1978 Issue of Creative Computing (computeradsfromthepast.substack.com)

1 points by rbanffy 23m ago 0 comments

A continuous stream of vintage computing artifacts from the Internet Archive (github.com)

4 points by indigodaddy 32m ago 1 comments

I talked to Sam Altman about the GPT-5 launch fiasco (theverge.com)

4 points by eagleislandsong 36m ago 1 comments

Chores for Kids by Age (myskylight.com)

1 points by mooreds 36m ago 0 comments

Tesla insiders have sold more than 50% of their shares in the last year (electrek.co)

15 points by TheAlchemist 43m ago 3 comments

The ESP-Rainbow: Flatter Than a Speccy (nicole.express)

2 points by wicket 44m ago 0 comments

The internet isn't fun anymore, and it's everyone's fault (ginoz.bearblog.dev)

4 points by speckx 44m ago 0 comments

Forever Notes: Note-Taking Method for Apple Notes (myforevernotes.com)

1 points by icy 45m ago 1 comments

AI in biology: distinguishing hype from reality (youtube.com)

1 points by raboukhalil 45m ago 1 comments

Name, image and likeness is reshaping college athlete identity (phys.org)

1 points by PaulHoule 46m ago 0 comments

Sound Tube: The Surprising History of Airline Headsets (apex.aero)

1 points by pfexec 46m ago 0 comments

PicoCalc (clockworkpi.com)

1 points by anigbrowl 47m ago 0 comments

White House in Talks with Intel for 10% U.S. Government Stake (wsj.com)

42 points by sugarpimpdorsey 50m ago 40 comments

GenAI FOMO has spurred businesses to light nearly $40B on fire (theregister.com)

15 points by rntn 51m ago 1 comments

Qwen-Image-Edit model released (qwenlm.github.io)

1 points by hleszek 52m ago 0 comments

A $300 Versaflo powered air respirator (kevinlynagh.com)

1 points by zdw 53m ago 0 comments

Show HN: I built a toy TPU that can do inference and training on the XOR problem (tinytpu.com)

4 points by evxxan 54m ago 1 comments

China's Biotech Is Cheaper and Faster (nytimes.com)

2 points by bookofjoe 55m ago 2 comments

Illumos Cafe (illumos.cafe)

1 points by wicket 55m ago 0 comments

External Secrets Operator at a Turning Point (externalsecrets.com)

1 points by gpi 55m ago 0 comments

GPT-5 Set the Stage for Ad Monetization and the SuperApp – SemiAnalysis (semianalysis.com)

1 points by rbanffy 1h ago 0 comments

They Came for Climate Science. Then the Storms Came. (nautil.us)

4 points by rbanffy 1h ago 0 comments

Ask HN: How do get cached version of websites – other than wayback machine?

3 points by orsenthil 1h ago 1 comments

Indirect Prompt Injections Exploit Context, Format, and Salience (fogel.dev)

1 points by todsacerdoti 1h ago 0 comments

VSketch: Draw, Create, and Play with Code (vsketchproject.web.app)

2 points by jackpste 1h ago 0 comments

Java for small coding tasks (JavaOne '25) [video] (youtube.com)

2 points by znpy 1h ago 0 comments

How to Create a Modal With htmx Only [video] (youtube.com)

1 points by indigodaddy 1h ago 0 comments

Transition from legacy (Google Duo) calls to the new Meet call experience

1 tech234a 0 8/18/2025, 7:14:48 PM support.google.com ↗

Comments (0)

No comments yet