fp.

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

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

1•baruchel•41s ago•0 comments

ProgramBench: Can Language Models Rebuild Programs from Scratch?

https://github.com/facebookresearch/ProgramBench

1•fittingopposite•59s 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•1m ago•0 comments

My 1B tokens/day Symphony setup

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

1•FanaHOVA•1m ago•0 comments

Buy and Sell Monero – Cash. Crypto. P2P

https://retoswap.com

1•Cider9986•1m ago•0 comments

Deepfakes Are Coming for Your Bank Account

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

1•bookofjoe•1m 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•3m 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•7m ago•0 comments

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

https://github.com/aidangarske/wolfCOSE

1•aidangarske•7m ago•0 comments

Why airlines are always going bankrupt

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

1•bko•8m 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•11m 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•11m ago•0 comments

Mathematicians in the Age of AI

https://arxiv.org/abs/2603.03684

2•lostathome•12m 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•12m ago•1 comments

Spear: The Management Framework for AI

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

1•rwaliany•13m 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•14m 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•15m 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•0 comments

Am I an LLM?

https://www.arturonereu.com/articles/am-i-an-llm/

3•ArturoNereu•16m ago•0 comments

Registry mirror authentication with Kubernetes secrets

https://www.cncf.io/blog/2026/03/09/registry-mirror-authentication-with-kubernetes-secrets/

1•ankitg12•16m ago•0 comments

NERC Issues Level 3 Alert re: computational loads

https://www.nerc.com/newsroom/nerc-issues-level-3-alert-reliability-guideline-focused-on-large-lo...

1•sehugg•17m ago•0 comments

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

Am I an LLM?

Registry mirror authentication with Kubernetes secrets

NERC Issues Level 3 Alert re: computational loads

2026 Puzzle Design Competition: Entries

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

Am I an LLM?

Registry mirror authentication with Kubernetes secrets

NERC Issues Level 3 Alert re: computational loads