fp.

Fedora Sealed Bootable Container Images

https://www.privacyguides.org/news/2026/05/04/fedora-sealed-bootable-container-images-possibly-op...

1•Gedxx•33s ago•0 comments

Trump SEC lets Musk settle $150M Twitter lawsuit for $1.5M

https://arstechnica.com/tech-policy/2026/05/trump-sec-lets-musk-settle-150-million-twitter-lawsui...

1•AdmiralAsshat•42s ago•0 comments

Some surprising facts about nightlights data

https://www.spatialedge.co/p/some-surprising-facts-about-nightlights

1•marklit•1m ago•0 comments

Mikan: a proof assistant for cubical type theory (forked from Agda)

https://mathstodon.xyz/@jonmsterling/116522692709243649

1•baruchel•1m ago•0 comments

ProgramBench: Can Language Models Rebuild Programs from Scratch?

https://github.com/facebookresearch/ProgramBench

1•fittingopposite•1m ago•0 comments

The Pulse: 'Tokenmaxxing' as a weird new trend

https://blog.pragmaticengineer.com/the-pulse-tokenmaxxing-as-a-weird-new-trend/

1•Gedxx•1m ago•0 comments

Kagi's Orion browser hits public beta on Linux

https://www.omgubuntu.co.uk/2026/03/orion-for-linux-beta-release

1•bwoah•2m ago•1 comments

My 1B tokens/day Symphony setup

https://www.alessiofanelli.com/posts/my-1b-tokens-day-openai-symphony-setup/

1•FanaHOVA•2m ago•0 comments

Buy and Sell Monero – Cash. Crypto. P2P

https://retoswap.com

1•Cider9986•2m ago•0 comments

Deepfakes Are Coming for Your Bank Account

https://www.theatlantic.com/technology/2026/05/chatgpt-images-deepfakes-fraud/687023/

1•bookofjoe•2m ago•1 comments

Easy Random Trees

https://blog.wilsonb.com/posts/2026-02-27-easy-random-trees.html

1•aebtebeten•3m ago•0 comments

Hardware-Backed Security Using WolfTPM with SPDM

https://www.wolfssl.com/hardware-backed-security-using-wolftpm-with-spdm/

1•aidangarske•4m ago•0 comments

Ask HN: Best/Easiest way to host Rust with PostgreSQL?

2•dnh44•4m ago•0 comments

Post Office acknowledges ECCO+ user's calls for help three decades ago

https://www.computerweekly.com/news/366642657/Post-Office-acknowledges-ECCO-users-calls-for-help-...

1•latein•7m ago•0 comments

May the Focus Be with You

https://tantek.com/2026/124/b1/may-the-focus-be-with-you-iphone-grayscale

1•speckx•8m ago•0 comments

Show HN: WolfCOSE, a zero alloc C COSE with multi-sign/recipient, and PQC

https://github.com/aidangarske/wolfCOSE

1•aidangarske•8m ago•0 comments

Why airlines are always going bankrupt

https://davidoks.blog/p/why-airlines-are-always-going-bankrupt

1•bko•9m ago•0 comments

Show HN: Typesync, schema-first Firestore tooling that now validates stored data

https://github.com/kafkas/typesync

3•anarkafkas•9m ago•0 comments

GPT‑5.5 Instant

https://openai.com/index/gpt-5-5-instant/

6•meetpateltech•9m ago•0 comments

The Download: inside the Musk vs. Altman trial, and AI for democracy

https://www.technologyreview.com/2026/05/05/1136848/the-download-musk-openai-altman-trial-ai-demo...

1•joozio•9m ago•0 comments

Software Has a CAC Now

https://www.edge.ceo/p/software-has-a-cac-now

1•rwaliany•12m ago•0 comments

Single dose of psylocibin can cause anatomical brain changes, study finds

https://www.theguardian.com/science/2026/may/05/magic-mushrooms-psychedelic-changes-brain-anatomy...

4•bookofjoe•12m ago•0 comments

Mathematicians in the Age of AI

https://arxiv.org/abs/2603.03684

2•lostathome•13m ago•0 comments

Pennsylvania sues Character AI, says chatbot poses as doctors

https://www.reuters.com/legal/litigation/pennsylvania-sues-character-ai-says-chatbot-poses-doctor...

2•randycupertino•13m ago•1 comments

Spear: The Management Framework for AI

https://www.edge.ceo/p/introducing-spear-the-management

1•rwaliany•14m ago•0 comments

Alan Moore: 'The comics industry is poisonous'

https://observer.co.uk/culture/interviews/article/alan-moore-the-comics-industry-is-poisonous

1•Tomte•14m ago•0 comments

Bluesky is the new science Twitter

https://bsky.app/profile/katharinehayhoe.com/post/3merjfvirak22

1•rzk•15m ago•0 comments

Using AI to analyze the conversational dynamics of comments sections

https://opennotes.ai/blog/same-policy-three-comment-sections

2•anateus•15m ago•0 comments

Disney Debt

https://www.manton.org/2026/05/05/disney-debt.html

1•speckx•16m ago•0 comments

Kill SWITCH AGENDA: You'll own your car – until the government AI says you don't

https://www.theblaze.com/align/kill-switch-agenda-youll-own-your-car-until-the-governments-ai-say...

1•bilsbie•16m ago•1 comments

Fedora Sealed Bootable Container Images

Trump SEC lets Musk settle $150M Twitter lawsuit for $1.5M

Some surprising facts about nightlights data

Mikan: a proof assistant for cubical type theory (forked from Agda)

ProgramBench: Can Language Models Rebuild Programs from Scratch?

The Pulse: 'Tokenmaxxing' as a weird new trend

Kagi's Orion browser hits public beta on Linux

My 1B tokens/day Symphony setup

Buy and Sell Monero – Cash. Crypto. P2P

Deepfakes Are Coming for Your Bank Account

Easy Random Trees

Hardware-Backed Security Using WolfTPM with SPDM

Ask HN: Best/Easiest way to host Rust with PostgreSQL?

Post Office acknowledges ECCO+ user's calls for help three decades ago

May the Focus Be with You

Show HN: WolfCOSE, a zero alloc C COSE with multi-sign/recipient, and PQC

Why airlines are always going bankrupt

Show HN: Typesync, schema-first Firestore tooling that now validates stored data

GPT‑5.5 Instant

The Download: inside the Musk vs. Altman trial, and AI for democracy

Software Has a CAC Now

Single dose of psylocibin can cause anatomical brain changes, study finds

Mathematicians in the Age of AI

Pennsylvania sues Character AI, says chatbot poses as doctors

Spear: The Management Framework for AI

Alan Moore: 'The comics industry is poisonous'

Bluesky is the new science Twitter

Using AI to analyze the conversational dynamics of comments sections

Disney Debt

Kill SWITCH AGENDA: You'll own your car – until the government AI says you don't

Peter Thiel on the Future of Legal Technology – Notes Essay (2012)

Fedora Sealed Bootable Container Images

Trump SEC lets Musk settle $150M Twitter lawsuit for $1.5M

Some surprising facts about nightlights data

Mikan: a proof assistant for cubical type theory (forked from Agda)

ProgramBench: Can Language Models Rebuild Programs from Scratch?

The Pulse: 'Tokenmaxxing' as a weird new trend

Kagi's Orion browser hits public beta on Linux

My 1B tokens/day Symphony setup

Buy and Sell Monero – Cash. Crypto. P2P

Deepfakes Are Coming for Your Bank Account

Easy Random Trees

Hardware-Backed Security Using WolfTPM with SPDM

Ask HN: Best/Easiest way to host Rust with PostgreSQL?

Post Office acknowledges ECCO+ user's calls for help three decades ago

May the Focus Be with You

Show HN: WolfCOSE, a zero alloc C COSE with multi-sign/recipient, and PQC

Why airlines are always going bankrupt

Show HN: Typesync, schema-first Firestore tooling that now validates stored data

GPT‑5.5 Instant

The Download: inside the Musk vs. Altman trial, and AI for democracy

Software Has a CAC Now

Single dose of psylocibin can cause anatomical brain changes, study finds

Mathematicians in the Age of AI

Pennsylvania sues Character AI, says chatbot poses as doctors

Spear: The Management Framework for AI

Alan Moore: 'The comics industry is poisonous'

Bluesky is the new science Twitter

Using AI to analyze the conversational dynamics of comments sections

Disney Debt

Kill SWITCH AGENDA: You'll own your car – until the government AI says you don't