fp.

Show HN: AI traders you author, argue with and coach

https://degen.strayforge.com

1•litlig•30s ago•0 comments

IBM and Norway's sovereign fund CEO: Is AI a bubble?

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

1•pandoro•53s ago•0 comments

The APLR(1) Algorithm Is Simpler and More Capable Than IELR(1)

https://branchtaken.com/reports/aplr1/aplr1

2•jasone•1m ago•0 comments

Did a medieval flying monk spot Halley's comet, twice? It's complicated

https://arstechnica.com/science/2026/06/did-a-medieval-flying-monk-spot-halleys-comet-twice-its-c...

1•Brajeshwar•1m ago•0 comments

Detecting and Steering Sycophancy in Qwen

https://palashtaneja.com/blog/posts/detecting-and-steering-sycophancy-in-qwen.html

1•737max•2m ago•0 comments

How the UK social media ban could affect you

https://www.bbc.com/newsround/articles/c802ypdxm4po

1•DropDead•2m ago•1 comments

We are living in the dial-up era of AI

https://www.xydac.com/blog/dial-up-era-of-ai/

1•xydac•2m ago•0 comments

Immutability Changes Everything (2016) [pdf]

https://www.cidrdb.org/cidr2015/Papers/CIDR15_Paper16.pdf

1•let_rec•2m ago•0 comments

Show HN: I turned the Lex Fridman podcast archive into a browsable idea map

https://tlexdr.com/discover

1•bwdey•3m ago•0 comments

US says Trump, Vance and Iran's parliament speaker have signed deal to end war

https://www.reuters.com/world/iran-war-live-trump-says-us-tehran-have-reached-peace-deal-2026-06-15/

1•ktm5j•4m ago•1 comments

How to Measure WWDC

https://asymco.com/2026/06/08/how-to-measure-wwdc/

1•ndr42•5m ago•0 comments

Marc Andreessen on X: "SpaceX and the Sentient Sun " / X

https://twitter.com/pmarca/status/2066523671456579828

1•bilsbie•5m ago•0 comments

Is This the End of Political Islam?

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

1•JumpCrisscross•7m ago•1 comments

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

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

1•marclave•7m ago•0 comments

Protect an MCP Server with an Authorization Server

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

1•mooreds•8m ago•0 comments

Terraform Registry Is Down

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

1•tellnes•8m ago•0 comments

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

https://0-0.io/

1•mgc8•9m ago•0 comments

Patched Claude Code, now 2–8× faster

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

1•guidotrev•10m ago•2 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•10m 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•14m ago•0 comments

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

https://terminal.tesseractanalytics.ai/gate

1•tessbi•15m ago•0 comments

EA Advertising

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

2•molenzwiebel•17m 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

5•ianmcgraw•17m ago•0 comments

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

https://tinywind.io

3•tinywind•19m ago•1 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

5•malshe•20m ago•0 comments

Sovereign AI is not just about building a national AI model

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

2•haebom•21m ago•0 comments

Would You Believe That This Is It?

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

2•sonicrocketman•21m 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•21m ago•0 comments

Darkbloom Dashboard

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

1•doener•22m 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•23m ago•0 comments

Show HN: AI traders you author, argue with and coach

IBM and Norway's sovereign fund CEO: Is AI a bubble?

The APLR(1) Algorithm Is Simpler and More Capable Than IELR(1)

Did a medieval flying monk spot Halley's comet, twice? It's complicated

Detecting and Steering Sycophancy in Qwen

How the UK social media ban could affect you

We are living in the dial-up era of AI

Immutability Changes Everything (2016) [pdf]

Show HN: I turned the Lex Fridman podcast archive into a browsable idea map

US says Trump, Vance and Iran's parliament speaker have signed deal to end war

How to Measure WWDC

Marc Andreessen on X: "SpaceX and the Sentient Sun " / X

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

Data Center Construction Monitoring from Satellite Imagery

Show HN: AI traders you author, argue with and coach

IBM and Norway's sovereign fund CEO: Is AI a bubble?

The APLR(1) Algorithm Is Simpler and More Capable Than IELR(1)

Did a medieval flying monk spot Halley's comet, twice? It's complicated

Detecting and Steering Sycophancy in Qwen

How the UK social media ban could affect you

We are living in the dial-up era of AI

Immutability Changes Everything (2016) [pdf]

Show HN: I turned the Lex Fridman podcast archive into a browsable idea map

US says Trump, Vance and Iran's parliament speaker have signed deal to end war

How to Measure WWDC

Marc Andreessen on X: "SpaceX and the Sentient Sun " / X

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