fp.

Is This the End of Political Islam?

https://www.nytimes.com/2026/06/15/magazine/political-islam-middle-east.html

1•JumpCrisscross•15s ago•0 comments

Mathematicians use Lean to verify proofs, whats the equivalent for patent claims

https://fearn.ai/newsletter/building-formalization-infrastructure-for-patents

1•marclave•20s ago•0 comments

Protect an MCP Server with an Authorization Server

https://fusionauth.io/blog/mcp-authorization-server

1•mooreds•1m ago•0 comments

Terraform Registry Is Down

https://status.hashicorp.com/incidents/01KV60Z6KMP2TGHVJYC87MK4CM

1•tellnes•1m ago•0 comments

Show HN: 0-0.io – Multiplayer browser football with server-authoritative physics

https://0-0.io/

1•mgc8•2m ago•0 comments

Patched Claude Code, now 2–8× faster

https://github.com/Functio-AI/claude-go-brr

1•guidotrev•2m ago•1 comments

OpenAI wins dismissal of trade secret lawsuit by Musk's xAI

https://www.reuters.com/legal/litigation/openai-wins-dismissal-trade-secret-lawsuit-by-musks-xai-...

1•JumpCrisscross•3m ago•0 comments

Building an AI skill marketplace for GTM teams

https://newsletter.gtmengineering.ai/p/why-every-gtm-org-will-need-ai-skill

2•alexjl1226•7m ago•0 comments

Show HN: I built an open-source financial research terminal (SEC data and SQL)

https://terminal.tesseractanalytics.ai/gate

1•tessbi•8m ago•0 comments

EA Advertising

https://www.ea.com/ea-advertising

2•molenzwiebel•10m ago•1 comments

Claude Debugs a Postgres Alarm: Multixacts, SLRU Caches, and a False Crisis

https://www.arthur.ai/blog/ai-sre-debugs-postgres-io-spike

4•ianmcgraw•10m ago•0 comments

TinyWind: A pixel pirate sailing game with real wind physics (380k+ kms sailed)

https://tinywind.io

3•tinywind•12m ago•0 comments

How Brexit has made Britain poorer – in charts

https://www.theguardian.com/politics/2026/jun/14/how-uk-economy-changed-since-brexit-vote-charts

4•malshe•13m ago•0 comments

Sovereign AI is not just about building a national AI model

https://www.bullbear.ninja/board/12

2•haebom•14m ago•0 comments

Would You Believe That This Is It?

https://brianschrader.com/archive/would-you-believe-that-this-is-it/

2•sonicrocketman•14m ago•0 comments

UCCL-EP: DeepEP-style expert parallelism on any NIC, no GPU-initiated comms

https://fergusfinn.com/blog/uccl-ep-without-owning-the-nic/

1•kkm•14m ago•0 comments

Darkbloom Dashboard

https://github.com/SplittyDev/darkbloom-dashboard

1•doener•14m ago•0 comments

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers

https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1003&context=eecs_theses

1•dolia•16m ago•0 comments

Memory safety CVEs differ between Rust and C/C++

https://kobzol.github.io/rust/2026/06/15/how-memory-safety-cves-differ-between-rust-and-c-cpp.html

2•nicoburns•16m ago•1 comments

I Talked to a Squirrel Today

https://www.guidavid.com/writing/i-talked-to-a-squirrel-today

2•gdss•18m ago•2 comments

Over half of parents of 18-25 year-olds track adult children w smartphone apps

https://www.npr.org/2026/06/15/nx-s1-5854613/tracking-smartphone-kids-parents-adults

3•bookofjoe•19m ago•1 comments

To study how chips work, MIT researchers built their own operating system

https://news.mit.edu/2026/to-study-how-chips-really-work-mit-researchers-built-their-own-operatin...

1•speckx•21m ago•0 comments

Can Ukraine Isolate Crimea?

https://phillipspobrien.substack.com/p/weekend-update-189-can-ukraine-isolate

4•JumpCrisscross•22m ago•0 comments

Tell HN: The bloatification of SpaceX stock has started

4•mandeepj•22m ago•1 comments

Show HN: We polled 2,122 Americans on AI and regulation, and built a visualizer

https://futurerealities.org/poll/2026/

1•appleslicemusic•22m ago•1 comments

"They screwed us": Personality clashes sent Anthropic's models offline

https://simonwillison.net/2026/Jun/15/axios-clashes-anthropics/

1•lumpa•22m ago•0 comments

Chebyshev Polynomials and Their Derivatives in C

https://leetarxiv.substack.com/p/chebyshev-polynomials-are-ferraris

2•theanonymousone•23m ago•0 comments

Boot Naked Linux

https://nick.zoic.org/art/boot-naked-linux/

3•abnercoimbre•24m ago•0 comments

HTTPS: //webhook.site live testing of web hooks

https://webhook.site

2•janandonly•25m ago•0 comments

AI Slop Has Taken over LinkedIn

https://keegan.codes/blog/a-slop-has-taken-over-linkedin

2•mooreds•26m ago•1 comments

Is This the End of Political Islam?

Mathematicians use Lean to verify proofs, whats the equivalent for patent claims

Protect an MCP Server with an Authorization Server

Terraform Registry Is Down

Show HN: 0-0.io – Multiplayer browser football with server-authoritative physics

Patched Claude Code, now 2–8× faster

OpenAI wins dismissal of trade secret lawsuit by Musk's xAI

Building an AI skill marketplace for GTM teams

Show HN: I built an open-source financial research terminal (SEC data and SQL)

EA Advertising

Claude Debugs a Postgres Alarm: Multixacts, SLRU Caches, and a False Crisis

TinyWind: A pixel pirate sailing game with real wind physics (380k+ kms sailed)

How Brexit has made Britain poorer – in charts

Sovereign AI is not just about building a national AI model

Would You Believe That This Is It?

UCCL-EP: DeepEP-style expert parallelism on any NIC, no GPU-initiated comms

Darkbloom Dashboard

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers

Memory safety CVEs differ between Rust and C/C++

I Talked to a Squirrel Today

Over half of parents of 18-25 year-olds track adult children w smartphone apps

To study how chips work, MIT researchers built their own operating system

Can Ukraine Isolate Crimea?

Tell HN: The bloatification of SpaceX stock has started

Show HN: We polled 2,122 Americans on AI and regulation, and built a visualizer

"They screwed us": Personality clashes sent Anthropic's models offline

Chebyshev Polynomials and Their Derivatives in C

Boot Naked Linux

HTTPS: //webhook.site live testing of web hooks

AI Slop Has Taken over LinkedIn

This 1976 University Experiment Spun Up the U.S. Wind Industry

Is This the End of Political Islam?

Mathematicians use Lean to verify proofs, whats the equivalent for patent claims

Protect an MCP Server with an Authorization Server

Terraform Registry Is Down

Show HN: 0-0.io – Multiplayer browser football with server-authoritative physics

Patched Claude Code, now 2–8× faster

OpenAI wins dismissal of trade secret lawsuit by Musk's xAI

Building an AI skill marketplace for GTM teams

Show HN: I built an open-source financial research terminal (SEC data and SQL)

EA Advertising

Claude Debugs a Postgres Alarm: Multixacts, SLRU Caches, and a False Crisis

TinyWind: A pixel pirate sailing game with real wind physics (380k+ kms sailed)

How Brexit has made Britain poorer – in charts

Sovereign AI is not just about building a national AI model

Would You Believe That This Is It?

UCCL-EP: DeepEP-style expert parallelism on any NIC, no GPU-initiated comms

Darkbloom Dashboard

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers

Memory safety CVEs differ between Rust and C/C++

I Talked to a Squirrel Today

Over half of parents of 18-25 year-olds track adult children w smartphone apps

To study how chips work, MIT researchers built their own operating system

Can Ukraine Isolate Crimea?

Tell HN: The bloatification of SpaceX stock has started

Show HN: We polled 2,122 Americans on AI and regulation, and built a visualizer

"They screwed us": Personality clashes sent Anthropic's models offline

Chebyshev Polynomials and Their Derivatives in C

Boot Naked Linux

HTTPS: //webhook.site live testing of web hooks

AI Slop Has Taken over LinkedIn