fp.

Composing TLA+ Specifications with State Machines

https://www.hillelwayne.com/post/composing-tla/

1•Jimmc414•34s ago•0 comments

Constructing a lower-bound estimate of the global number of insect species

https://www.pnas.org/doi/10.1073/pnas.2524283123

1•rdmuser•1m ago•0 comments

The Wisdom of Holden Caulfield

https://www.theatlantic.com/books/2026/07/catcher-in-the-rye-75th-anniversary-holden-caulfield-ma...

1•petethomas•1m ago•0 comments

Create Your Language

https://conlang.app/

1•natbennett•2m ago•0 comments

Your Idea Is Brilliant, Your Idea Is Worthless (KS Lesson #204) (2016)

https://stonemaiergames.com/kickstarter-lesson-204-your-idea-is-brilliant-your-idea-is-worthless/

1•downbad_•5m ago•0 comments

U7in-32tb.224xlarge

https://instances.vantage.sh/aws/ec2/u7in-32tb.224xlarge?currency=USD

1•handfuloflight•10m ago•0 comments

Disney accuses US media regulator of trying 'to sit in the editor's chair'

https://www.ft.com/content/3b9be38f-0968-40f8-bb2c-a5ae2cc81cb4

3•petethomas•10m ago•0 comments

Qualcomm acquires Nexa AI, open-sources GenAI runtime for Hexagon NPUs

https://github.com/qualcomm/GenieX

3•BUFU•17m ago•1 comments

Chorus: A fast WAL for object storage

https://rockwotj.com/blog/chorus/

1•cbrewster•21m ago•0 comments

Google Earth Pro Desktop downloads will be unavailable starting June 2027

https://support.google.com/earth/thread/448773864/update-on-google-earth-pro-desktop-app-download...

5•KomoD•22m ago•0 comments

EU AI Act becomes applicable Aug 2: an engineering checklist

https://conformityengineering.com/playbook/

1•stevalsoto•22m ago•0 comments

Agent-CI: Run GitHub Actions on Your Machine

https://agent-ci.dev/

1•handfuloflight•23m ago•0 comments

Why I don't have a girlfriend: An application of the Drake Equation to love [pdf]

https://www.astro.sunysb.edu/fwalter/AST248/why_i_dont_have_a_girlfriend.pdf

2•kerim-ca•24m ago•0 comments

Graphene can hold multiple states of superconductivity, a new study finds

https://news.mit.edu/2026/graphene-can-hold-multiple-states-of-superconductivity-0629

3•rbanffy•25m ago•0 comments

Don't build your castle in other people's kingdoms (2021)

https://howtomarketagame.com/2021/11/01/dont-build-your-castle-in-other-peoples-kingdoms/

2•softwaredoug•25m ago•0 comments

Airbus to make first foray into engine manufacturing with hydrogen tie-up

https://www.ft.com/content/e8be97c7-af28-42f2-8d81-ce619d4c0de1

1•petethomas•25m ago•1 comments

Own Your Weights

https://moai.studio/blog/posts/own-your-weights.html

1•ionwake•29m ago•0 comments

The Science Behind Why Soccer Players the 26 World Cup Are Cutting Their Socks

https://www.wired.com/story/the-science-behind-why-soccer-players-at-the-2026-world-cup-are-cutti...

3•susiecambria•29m ago•1 comments

Show HN: Convergo – plan/build review loops for coding agents

https://github.com/gomilesf/convergo

1•gomilesfd•30m ago•0 comments

Vought V-173

https://en.wikipedia.org/wiki/Vought_V-173

1•LorenDB•31m ago•0 comments

A teen social media ban is an admission of utter failure to govern online spaces

https://www.jamesrball.com/p/a-teen-social-media-ban-is-an-admission

4•cdrnsf•33m ago•1 comments

Show HN: I built an AI spritesheet generator for game developers

https://www.autosprite.io

1•autosprite•35m ago•0 comments

Desk-Pet – a local-first desktop pet powered by MiniCPM5

https://github.com/OpenBMB/MiniCPM-Desk-Pet

1•modinfo•36m ago•0 comments

Roast My New Creation

https://itsrilo.com

1•GeorgeChaplin•36m ago•2 comments

Torpenhow Hill

https://en.wikipedia.org/wiki/Torpenhow_Hill

2•nmstoker•36m ago•0 comments

Redis Patterns for Coding Agents

https://redis.antirez.com/

2•Jimmc414•37m ago•0 comments

GAO: DOE Is Prematurely Excluding Less Expensive Options for Nuclear Cleanup

https://www.gao.gov/products/gao-26-108193

3•Jimmc414•38m ago•0 comments

InfoWars: Emergency with Tim Heidecker [video]

https://www.youtube.com/watch?v=RX8-VGDK1vQ

8•embedding-shape•40m ago•0 comments

AI Giants Are Handing Out Tons of Free Computing Power to Grab Startup Share

https://www.wsj.com/tech/ai/ai-giants-are-handing-out-tons-of-free-computing-power-to-grab-startu...

4•Jimmc414•42m ago•1 comments

Activity-frames – give your AI agent eyes on your day

https://github.com/nossa-y/activity-frames

1•nossa-y•43m ago•0 comments

Composing TLA+ Specifications with State Machines

Constructing a lower-bound estimate of the global number of insect species

The Wisdom of Holden Caulfield

Create Your Language

Your Idea Is Brilliant, Your Idea Is Worthless (KS Lesson #204) (2016)

U7in-32tb.224xlarge

Disney accuses US media regulator of trying 'to sit in the editor's chair'

Qualcomm acquires Nexa AI, open-sources GenAI runtime for Hexagon NPUs

Chorus: A fast WAL for object storage

Google Earth Pro Desktop downloads will be unavailable starting June 2027

EU AI Act becomes applicable Aug 2: an engineering checklist

Agent-CI: Run GitHub Actions on Your Machine

Why I don't have a girlfriend: An application of the Drake Equation to love [pdf]

Graphene can hold multiple states of superconductivity, a new study finds

Don't build your castle in other people's kingdoms (2021)

Airbus to make first foray into engine manufacturing with hydrogen tie-up

Own Your Weights

The Science Behind Why Soccer Players the 26 World Cup Are Cutting Their Socks

Show HN: Convergo – plan/build review loops for coding agents

Vought V-173

A teen social media ban is an admission of utter failure to govern online spaces

Show HN: I built an AI spritesheet generator for game developers

Desk-Pet – a local-first desktop pet powered by MiniCPM5

Roast My New Creation

Torpenhow Hill

Redis Patterns for Coding Agents

GAO: DOE Is Prematurely Excluding Less Expensive Options for Nuclear Cleanup

InfoWars: Emergency with Tim Heidecker [video]

AI Giants Are Handing Out Tons of Free Computing Power to Grab Startup Share

Activity-frames – give your AI agent eyes on your day

ASRock Rack Had One of the First Arm AGI Servers at Computex 2026 – ServeTheHome

Composing TLA+ Specifications with State Machines

Constructing a lower-bound estimate of the global number of insect species

The Wisdom of Holden Caulfield

Create Your Language

Your Idea Is Brilliant, Your Idea Is Worthless (KS Lesson #204) (2016)

U7in-32tb.224xlarge

Disney accuses US media regulator of trying 'to sit in the editor's chair'

Qualcomm acquires Nexa AI, open-sources GenAI runtime for Hexagon NPUs

Chorus: A fast WAL for object storage

Google Earth Pro Desktop downloads will be unavailable starting June 2027

EU AI Act becomes applicable Aug 2: an engineering checklist

Agent-CI: Run GitHub Actions on Your Machine

Why I don't have a girlfriend: An application of the Drake Equation to love [pdf]

Graphene can hold multiple states of superconductivity, a new study finds

Don't build your castle in other people's kingdoms (2021)

Airbus to make first foray into engine manufacturing with hydrogen tie-up

Own Your Weights

The Science Behind Why Soccer Players the 26 World Cup Are Cutting Their Socks

Show HN: Convergo – plan/build review loops for coding agents

Vought V-173

A teen social media ban is an admission of utter failure to govern online spaces

Show HN: I built an AI spritesheet generator for game developers

Desk-Pet – a local-first desktop pet powered by MiniCPM5

Roast My New Creation

Torpenhow Hill

Redis Patterns for Coding Agents

GAO: DOE Is Prematurely Excluding Less Expensive Options for Nuclear Cleanup

InfoWars: Emergency with Tim Heidecker [video]

AI Giants Are Handing Out Tons of Free Computing Power to Grab Startup Share

Activity-frames – give your AI agent eyes on your day