fp.

User Guide to Model Checking for Industrial Programmers with TLA+

https://github.com/gshanemiller/tla-examples

1•scrubs•1m ago•1 comments

Challenges for AI Misuse Prevention: Jurisdictions, Open Models, and Privacy

https://substack.norabble.com/p/challenges-for-ai-misuse-prevention

1•nedruod•1m ago•0 comments

Sonny Rollins, Jazz's Saxophone Colossus and Greatest Improvisor, Dead at 95

https://www.rollingstone.com/music/music-news/sonny-rollins-jazz-legend-saxophone-colossus-dead-o...

2•boarsofcanada•5m ago•0 comments

Cursorfy – recursive Cursor SDK and FastAPI dashboard that sees itself

https://github.com/crowdcent/cursorfy

1•jrai•6m ago•0 comments

AI Tools Are Only as Good as Your Judgment – and That's the Point

https://theaileverageweekly.com/posts/your-ai-tools-are-only-as-good-as-your-judgment-and-that-s-...

2•talvardi7•8m ago•0 comments

Diary of a Disabled DJ

https://medium.com/@samhenrycliff/diary-of-a-disabled-dj-entry-1-81f55f8c23bf

1•6stringmerc•9m ago•0 comments

Ask HN: Are recent tech layoffs affecting mostly Sr and Jr devs?

3•bubbamack•11m ago•1 comments

Ask HN: What is your tips or wild usages on gcloud?

1•revv00•13m ago•0 comments

The OSS Sabotage Manual Became Corporate Best Practice

https://www.alephic.com/sabotage

1•cyb0rg0•13m ago•1 comments

ALPR Mission Creep: School Residency, Background Checks, and Noise Complaints

https://www.eff.org/deeplinks/2026/05/more-license-plate-reader-mission-creep-school-residency-ve...

2•hn_acker•18m ago•1 comments

Show HN: Artifold – A local-first library for AI-generated HTML artifacts

https://github.com/shubhamgoel27/artifold

1•shubhamgoel27•20m ago•0 comments

Anthropic Appoints KiYoung Choi as Representative Director of Korea

https://www.anthropic.com/news/kiyoung-choi-representative-director-anthropic-korea

1•surprisetalk•23m ago•0 comments

CodeAtlas – Google Maps for your codebase, with a live differential UML engine

https://www.codeatlas.live/

2•vamsikanneganti•28m ago•0 comments

Ecosystem for (Studying) Network Programming

https://docs.packetcord.io/

1•vmetodiev•31m ago•0 comments

Cloudflare Flagship

https://developers.cloudflare.com/flagship/

3•tjek•32m ago•1 comments

Unit cell designer for 2d wallpaper groups

https://nasqret.github.io/symm/

1•mathgenius•34m ago•0 comments

The true reason C++ always wins [video]

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

1•abhaynayar•34m ago•0 comments

You're about to feel the AI money squeeze

https://www.theverge.com/ai-artificial-intelligence/917380/ai-monetization-anthropic-openai-token...

2•1vuio0pswjnm7•39m ago•0 comments

Qualcomm strikes AI chip deal with TikTok owner ByteDance

https://www.reuters.com/business/qualcomm-strikes-ai-chip-deal-with-tiktok-owner-bytedance-bloomb...

2•Voblit•42m ago•0 comments

Grok Build

https://grok.com/build

2•kristianpaul•47m ago•0 comments

Show HN: I made a simple Keyword Research tool for app devs

https://ezscreenshots.com/aso/

1•abrowniejr•48m ago•0 comments

I Made a Journal for AI-Generated Papers

https://cesarhidalgo.com/blog/2026/5/26/why-i-made-a-journal-for-ai-generated-papers

2•Anon84•50m ago•0 comments

Iran's access to global internet starts to resume after 88-day blackout

https://www.theguardian.com/world/2026/may/26/iran-internet-blackout

4•theali•50m ago•1 comments

A Luxury Survivalist Community Is Tearing Itself Apart

https://www.wsj.com/us-news/a-luxury-survivalist-community-is-tearing-itself-apart-53d2a99f

8•impish9208•50m ago•2 comments

NASA Provides Update on Moon Base Rovers, Landers, Missions

https://www.nasa.gov/news-release/nasa-provides-update-on-moon-base-rovers-landers-missions/

2•Anon84•51m ago•0 comments

Starlink and Amazon may be able to buy into EU mobile satellite spectrum plan

https://www.reuters.com/business/aerospace-defense/european-companies-set-receive-two-thirds-futu...

1•Voblit•52m ago•0 comments

Where are those goalposts? I'm sure I put them here somewhere

https://nickdrozd.github.io/2026/05/26/goalposts-math.html

1•nickdrozd•55m ago•0 comments

The AI Token plumbing issue

https://getlago.com/blog/ai-billing-is-mostly-token-plumbing

1•jdenquin•55m ago•0 comments

Magnifica Humanitas, LaTeX Version

https://github.com/cucho/magnifica-humanitas/blob/master/latex/en.tex

2•cucho•57m ago•0 comments

MySQL faithful launch OurSQL Foundation to keep Oracle honest

https://www.theregister.com/databases/2026/05/26/mysql-faithful-launch-oursql-foundation-to-keep-...

3•thejerz•1h ago•0 comments