fp.

Cheap code means formal verification is reasonable now

https://antfly.io/blog/agent-formal-verification

1•dovin•29s ago•0 comments

August Sander's Enormous Attempt to Capture a Lost World

https://www.newyorker.com/culture/the-art-world/august-sanders-enormous-attempt-to-capture-a-lost...

1•petethomas•29s ago•0 comments

ConverseJS 13.0.0 – Web-based XMPP/Jabber chat written in JavaScript

https://github.com/conversejs/converse.js/releases/tag/v13.0.0

1•neustradamus•2m ago•0 comments

An LLM on a Sony PSP

https://granda.org/en/2026/05/16/an-llm-on-a-sony-psp/

1•austinallegro•4m ago•0 comments

Igor Babuschkin Seeks Up to $1B for River AI

https://letsdatascience.com/news/igor-babuschkin-seeks-up-to-1-billion-for-river-ai-8c36ce09

1•gmays•4m ago•0 comments

NPM registry sets stage for more secure package publishing

https://www.theregister.com/ai-ml/2026/05/21/npm-registry-sets-stage-for-more-secure-package-publ...

1•Bender•5m ago•0 comments

Zillow loses listings in fight over "hidden" homes

https://arstechnica.com/tech-policy/2026/05/zillow-loses-access-to-thousands-of-home-listings-ami...

1•Bender•6m ago•0 comments

AT&T sues California in attempt to shut off old phone network

https://arstechnica.com/tech-policy/2026/05/att-sues-california-in-attempt-to-shut-off-old-phone-...

1•Bender•7m ago•0 comments

EPA to End Some Limits on 'Forever Chemicals' in Drinking Water

https://www.nytimes.com/2026/05/18/climate/epa-forever-chemicals-pfas-drinking-water.html

1•igonvalue•9m ago•0 comments

How to Call an API from an Email

https://redo.com/eng-blog/how-to-call-an-api-from-an-email/

2•joshmoody24•9m ago•0 comments

Finland's bomb shelters draw world to Helsinki in quest for security

https://www.reuters.com/world/europe/finlands-massive-bomb-shelters-draw-world-helsinki-quest-sec...

1•JumpCrisscross•14m ago•0 comments

Tesla Announces Rollout of Fully Self-Driving Tech in China

https://www.wsj.com/business/autos/tesla-announces-rollout-of-fully-self-driving-tech-in-china-27...

2•bookofjoe•14m ago•1 comments

Show HN: Lumox – Wirelessly mirror multiple iPhones on Mac – Ditching QuickTime

https://lumox.app/

1•modrena•14m ago•0 comments

Better CLI Interactions for Agents and Humans

https://www.pulumi.com/blog/better-cli-interactions-for-agents-and-humans/

2•cnunciato•14m ago•0 comments

GrapheneOS Power Usage Recommendations

https://discuss.grapheneos.org/d/35721-grapheneos-power-usage-recommendations

4•Cider9986•14m ago•0 comments

Creating a Full PII Framework for Agents

https://pii-firewall.com/

1•lamne•14m ago•0 comments

AI is killing the cheap smartphone

https://davidoks.blog/p/ai-is-killing-the-cheap-smartphone

2•d0ks•18m ago•0 comments

Shira: Anti Phishing Training Platform

https://shira.app/

2•carohadad•19m ago•1 comments

Spotify and Universal Music strike deal allowing fan-made AI covers and remixes

https://techcrunch.com/2026/05/21/spotify-and-universal-music-strike-deal-allowing-fan-made-ai-co...

1•cdrnsf•19m ago•0 comments

Show HN: A Turing machine simulating a Turing machine simulating a...

https://narcissus.exe.xyz/

1•thingoptimizer•24m ago•0 comments

A cross section of a road in England

https://old.reddit.com/r/interestingasfuck/comments/1tjxi3j/this_is_a_cross_section_of_a_road_in_...

1•n1b0m•24m ago•0 comments

Curtis Yarvin and the Political Evolution of Silicon Valley Reactionaries

https://www.dontbeasucker.blog/p/the-butterflies-in-your-stomach

20•betterthanever•25m ago•5 comments

The Typo Vibe Shift

https://www.theatlantic.com/culture/2026/05/typo-ai-trend-human/687237/

1•paulpauper•25m ago•0 comments

A phrase based on prejudice: 'Dutch courage' (2018)

https://wordhistories.net/2018/04/12/dutch-courage-origin/

1•petethomas•26m ago•0 comments

Show HN: Onda – a cross-platform alternative to DSView for DSLogic analyzers [video]

https://www.youtube.com/watch?v=EwHpt_CuFNc

1•johnwheeler•26m ago•0 comments

A blind taste competition launched the American wine industry

https://thehustle.co/newsletters/20-05-2026

1•paulpauper•26m ago•0 comments

Fertility and Financial Risk-Taking

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6559781

1•paulpauper•27m ago•0 comments

Amdahl's Law

https://en.wikipedia.org/wiki/Amdahl%27s_law

1•rzk•27m ago•0 comments

An explicit lower bound for the unit distance problem

https://arxiv.org/abs/2605.20579

1•rvz•31m ago•0 comments

Code Bubble: Clojure functions as bubbles on a canvas

https://github.com/ertugrulcetin/code-bubble

1•thenewguy077•31m ago•0 comments

Cheap code means formal verification is reasonable now

August Sander's Enormous Attempt to Capture a Lost World

ConverseJS 13.0.0 – Web-based XMPP/Jabber chat written in JavaScript

An LLM on a Sony PSP

Igor Babuschkin Seeks Up to $1B for River AI

NPM registry sets stage for more secure package publishing

Zillow loses listings in fight over "hidden" homes

AT&T sues California in attempt to shut off old phone network

EPA to End Some Limits on 'Forever Chemicals' in Drinking Water

How to Call an API from an Email

Finland's bomb shelters draw world to Helsinki in quest for security

Tesla Announces Rollout of Fully Self-Driving Tech in China

Show HN: Lumox – Wirelessly mirror multiple iPhones on Mac – Ditching QuickTime

Better CLI Interactions for Agents and Humans

GrapheneOS Power Usage Recommendations

Creating a Full PII Framework for Agents

AI is killing the cheap smartphone

Shira: Anti Phishing Training Platform

Spotify and Universal Music strike deal allowing fan-made AI covers and remixes

Show HN: A Turing machine simulating a Turing machine simulating a...

A cross section of a road in England

Curtis Yarvin and the Political Evolution of Silicon Valley Reactionaries

The Typo Vibe Shift

A phrase based on prejudice: 'Dutch courage' (2018)

Show HN: Onda – a cross-platform alternative to DSView for DSLogic analyzers [video]

A blind taste competition launched the American wine industry

Fertility and Financial Risk-Taking

Amdahl's Law

An explicit lower bound for the unit distance problem

Code Bubble: Clojure functions as bubbles on a canvas

WebGPU support in llama.cpp

Cheap code means formal verification is reasonable now

August Sander's Enormous Attempt to Capture a Lost World

ConverseJS 13.0.0 – Web-based XMPP/Jabber chat written in JavaScript

An LLM on a Sony PSP

Igor Babuschkin Seeks Up to $1B for River AI

NPM registry sets stage for more secure package publishing

Zillow loses listings in fight over "hidden" homes

AT&T sues California in attempt to shut off old phone network

EPA to End Some Limits on 'Forever Chemicals' in Drinking Water

How to Call an API from an Email

Finland's bomb shelters draw world to Helsinki in quest for security

Tesla Announces Rollout of Fully Self-Driving Tech in China

Show HN: Lumox – Wirelessly mirror multiple iPhones on Mac – Ditching QuickTime

Better CLI Interactions for Agents and Humans

GrapheneOS Power Usage Recommendations

Creating a Full PII Framework for Agents

AI is killing the cheap smartphone

Shira: Anti Phishing Training Platform

Spotify and Universal Music strike deal allowing fan-made AI covers and remixes

Show HN: A Turing machine simulating a Turing machine simulating a...

A cross section of a road in England

Curtis Yarvin and the Political Evolution of Silicon Valley Reactionaries

The Typo Vibe Shift

A phrase based on prejudice: 'Dutch courage' (2018)

Show HN: Onda – a cross-platform alternative to DSView for DSLogic analyzers [video]

A blind taste competition launched the American wine industry

Fertility and Financial Risk-Taking

Amdahl's Law

An explicit lower bound for the unit distance problem

Code Bubble: Clojure functions as bubbles on a canvas