fp.

Characterizing Metastable Faults and Failures

http://muratbuffalo.blogspot.com/2026/07/characterizing-metastable-faults-and.html

1•tanelpoder•1m ago•0 comments

Grok is a surprisingly good automated theorem prover

https://github.com/henryrobbins/open-atp

1•henryrobbins00•1m ago•1 comments

Smartphone use on the toilet and the risk of hemorrhoids (2025)

https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0329983

1•speckx•1m ago•0 comments

Vatican silent on Jewish villains in U.S. Catholic church pageants

https://forward.com/news/839093/ukrainian-catholic-church-verteps-jewish-villains/

1•leephillips•2m ago•0 comments

10" Raspberry Pi Touch Display 2 is $80

https://www.raspberrypi.com/news/a-new-10-raspberry-pi-touch-display-2-available-now-at-80/

1•geerlingguy•3m ago•0 comments

The Penny Is Dead, but Precision Isn't

https://www.sanjayparekh.com/the-penny-is-dead-but-precision-isnt/

1•sanjayparekh•4m ago•1 comments

GigaToken: ~1000x faster Language model tokenization

https://github.com/marcelroed/gigatoken/

1•syrusakbary•4m ago•0 comments

World Postcard Day 2026 postcard and theme

https://www.postcrossing.com/blog/2026/07/22/world-postcard-day-2026-postcard-theme

1•Tomte•4m ago•0 comments

Are AI Labs Pelicanmaxxing?

https://dylancastillo.co/posts/pelicanmaxxing.html

1•dcastm•7m ago•0 comments

US Circulates Draft UN Free Speech Declaration Targeting EU Censorship Law

https://reclaimthenet.org/trump-admin-circulates-draft-un-free-speech-declaration-eu-dsa

1•anonymousiam•7m ago•0 comments

Scoring our agent harness against Ryan Lopopolo's 12 harness engineering theses

https://tech.orbitalwitness.com/posts/2026-07-22-grading-ourselves-against-the-harness-engineerin...

1•andrewthompsonx•8m ago•0 comments

Next chapter: Restructuring GitHub's bug bounty program

https://github.blog/security/next-chapter-restructuring-githubs-bug-bounty-program/

1•Klaster_1•8m ago•0 comments

Xbox's new VP of engineering quits just 2 months after taking the job

https://www.pcgamer.com/gaming-industry/xboxs-new-vp-of-engineering-quits-just-2-months-after-tak...

2•Brajeshwar•8m ago•0 comments

Network expert Glenn Fiedler warns game devs to fix game vulnerabilities with AI

https://gamesbeat.com/network-expert-glenn-fiedler-warns-game-programmers-to-fix-game-code-vulner...

1•gafferongames•8m ago•0 comments

TEFF Lexicon–The Most Expensive Typeface

https://www.typewolf.com/blog/the-worlds-most-expensive-typeface

1•_vaporwave_•9m ago•0 comments

'.ai' websites are booming – and making millions for this tiny Caribbean nation

https://www.techradar.com/pro/ai-websites-are-booming-and-making-millions-for-this-tiny-caribbean...

1•speckx•10m ago•0 comments

AI meets Cryptography 3: What AI Found in Bron Labs's bron-crypto

https://blog.zksecurity.xyz/posts/bron-bugs/

3•baby•12m ago•0 comments

Why Trust Could Be Victoria's Next Export

https://www.douglasmagazine.com/building-trust-legal-victoria-tech-global-growth

1•ClearwayLaw•13m ago•0 comments

Ask HN: Where is NFTs as a technology or investment?

1•Otternonsenz•14m ago•3 comments

OrbitalWiki, a source-backed satellite catalog with a free API

https://www.orbitalwiki.com

1•Anomalit•15m ago•0 comments

Show HN: An MCP server that gives AI assistants live weather and hazard data

https://pixelgust.com/blog/weather-mcp-server

1•pixelgust•15m ago•0 comments

OpenAI admits it was the source of the agent swarm that attacked Hugging Face

https://www.theregister.com/ai-and-ml/2026/07/22/openai-admits-it-was-the-source-of-the-agent-swa...

3•maguszin•17m ago•0 comments

It's not a "rogue AI" when a badly made security harness executes scripts

https://hachyderm.io/@thomasfuchs/116964576606603226

3•doener•17m ago•0 comments

Deloitte systems denied Medicaid to the disabled. New laws could make it worse

https://www.npr.org/2026/07/20/nx-s1-5896359/medicaid-disabled-patients-denied-deloitte-michigan

2•Jimmc414•18m ago•0 comments

Investment Skills Lexicon: How great investors think

https://github.com/finterm-ai/investment-skills

1•zalzal•20m ago•0 comments

JPMorgan Owns AI Answers. Here's how rivals can compete..

https://www.americanbanker.com/news/jpmorgan-owns-ai-answers-heres-how-rivals-can-compete

1•petethomas•20m ago•0 comments

Emails Reveal Why a Town Put Bags over Its Flock Cameras

https://www.404media.co/flock-objects-to-our-removing-their-equipment-emails-reveal-why-a-town-pu...

4•Jimmc414•21m ago•0 comments

Show HN: SimpleBLE 1.0, a cross-platform Bluetooth LE library

https://github.com/simpleble/simpleble

1•kevindewald•23m ago•0 comments

Show HN: Infinite Programmer ASMR

https://hackerman.specr.net/

2•vunderba•23m ago•0 comments

The Download: NASA's new space telescope and OpenAI's autonomous hacker

https://www.technologyreview.com/2026/07/22/1140717/the-download-nasa-space-telescope-openai-hugg...

1•joozio•24m ago•0 comments