Peano arithmetic is enough, because Peano arithmetic encodes computation

https://math.stackexchange.com/a/5075056/6708

1•btilly•5m ago•1 comments

Malloy: An open-source language for analyzing, transforming, and modeling data

https://www.malloydata.dev

2•surprisetalk•8m ago•0 comments

Complete Guide to Understanding and Building Remote MCP Servers

https://simplescraper.io/blog/how-to-mcp

2•dangtony98•10m ago•0 comments

One of the Dreamliners That Gave a Boeing Manager Nightmares Just Crashed

https://prospect.org/economy/2025-06-12-dreamliner-gave-boeing-manager-nightmares-just-crashed-air-india/

2•pimeys•11m ago•0 comments

Rabbit Intern

https://www.rabbit.tech/rabbit-intern

1•sbarre•12m ago•0 comments

Ask HN: What is your fallback job if AI takes away your career?

1•7402•12m ago•1 comments

The RAG Chatbot Dilemma: How Should LLMs Handle 3rd-Party Permissions?

https://medium.com/@hazalmestci/should-you-respect-3rd-party-permissions-or-sync-to-your-own-system-the-rag-chatbot-dilemma-9b56be1ab695

1•hazalmestci•13m ago•0 comments

A new kind of AI bot takes over the web

https://www.washingtonpost.com/technology/2025/06/11/tollbit-ai-bot-retrieval/

2•bookofjoe•13m ago•1 comments

Feature Phone and Pegasus Style Spyware Question

1•searchaliasaps•14m ago•1 comments

Home appliances swept up in expansion of Trump steel tariffs

https://www.reuters.com/world/us/home-appliances-swept-up-expansion-trump-steel-tariffs-2025-06-12/

1•mooreds•14m ago•0 comments

Generating open graph images in Astro

https://cassidoo.co/post/og-image-gen-astro/

1•mooreds•16m ago•0 comments

The Best Interfaces We Never Built

https://www.chrbutler.com/the-best-interfaces-we-never-built

4•delaugust•19m ago•0 comments

React Native 0.80 – React 19.1, JavaScript API Changes, Freezing Legacy Arch

https://reactnative.dev/blog/2025/06/12/react-native-0.80

1•reimertz•19m ago•0 comments

Show HN: Hand-controlled arpeggiator, drum machine, and audio reactive visuals

https://twitter.com/measure_plan/status/1933544128287228123

1•getToTheChopin•19m ago•1 comments

Show HN: The AI Tutoring Company

https://www.learnwithorin.com/

1•BryanHoulton•19m ago•0 comments

I hacked Maruti Suzuki and got access to customer and dealer data

https://rtvkiz.github.io/2025/06/13/How-I-Nearly-Accessed-Millions-Of-Maruti-Suzuki-Customer-Records.html

1•theodore_pol•22m ago•0 comments

Show HN: I made a ChatGPT wrapper with Notion-like UI

https://www.oneaichat.app/

1•auden_pierce•22m ago•0 comments

Learning How to Build Software in the AI Era, with and Without Coding

https://nseldeib.substack.com/p/on-learning-how-to-build-software

1•nadis•23m ago•0 comments

Session Replay to Mp4, and Fast

https://www.rob.directory/blog/session-replay-to-mp4-and-fast

1•thunderbong•23m ago•0 comments

Asteroid Defense: The Real-World Impact of NASA's Dart Mission

https://spectrum.ieee.org/planetary-defense-killer-asteroids

2•pseudolus•25m ago•0 comments

Claude likes 61

https://github.com/kallyaleksiev/how-many-tool

1•kallyaleksiev•25m ago•0 comments

I write novels and build AI. The debate is more complex than either side admits

https://www.fastcompany.com/91350902/i-write-novels-and-build-ai-the-real-story-is-more-complicated-than-either-side-admits

1•SLHamlet•26m ago•0 comments

Your LLM provider will go down, but you don't have to

https://www.assembled.com/blog/your-llm-provider-will-go-down-but-you-dont-have-to

16•johnjwang•27m ago•0 comments

AMD Advancing AI: MI350X and MI400 UALoE72, MI500 UAL256

https://semianalysis.com/2025/06/13/amd-advancing-ai-mi350x-and-mi400-ualoe72-mi500-ual256/

2•pella•27m ago•0 comments

ConverseJS – A web-based XMPP chat client

https://conversejs.org/

2•neustradamus•27m ago•0 comments

We Want Robots at Work but Humans in Art

https://twitter.com/cpaik/status/1933548153120436670

3•awaxman11•31m ago•1 comments

Nitpicking Gladiator's Iconic Opening Battle, Part II

https://acoup.blog/2025/06/13/collections-nitpicking-gladiators-iconic-opening-battle-part-ii/

2•Tomte•31m ago•0 comments

Jensen Huang says he disagrees with almost everything Anthropic CEO Amodei says

https://fortune.com/2025/06/11/nvidia-jensen-huang-disagress-anthropic-ceo-dario-amodei-ai-jobs/

6•hardmaru•32m ago•0 comments

Logitech's new Flip Folio iPad case has a removable wireless keyboard

https://www.theverge.com/news/684344/logitech-flip-folio-keyboard-case-bluetooth-apple-ipad-pro-air

1•tosh•32m ago•1 comments

Swimming world body will banish participants in pro-doping Enhanced Games

https://www.theguardian.com/sport/2025/jun/03/world-swimming-enhanced-games-ban

1•PaulHoule•35m ago•0 comments

Peano arithmetic is enough, because Peano arithmetic encodes computation

Malloy: An open-source language for analyzing, transforming, and modeling data

Complete Guide to Understanding and Building Remote MCP Servers

One of the Dreamliners That Gave a Boeing Manager Nightmares Just Crashed

Rabbit Intern

Ask HN: What is your fallback job if AI takes away your career?

The RAG Chatbot Dilemma: How Should LLMs Handle 3rd-Party Permissions?

A new kind of AI bot takes over the web

Feature Phone and Pegasus Style Spyware Question

Home appliances swept up in expansion of Trump steel tariffs

Generating open graph images in Astro

The Best Interfaces We Never Built

React Native 0.80 – React 19.1, JavaScript API Changes, Freezing Legacy Arch

Show HN: Hand-controlled arpeggiator, drum machine, and audio reactive visuals

Show HN: The AI Tutoring Company

I hacked Maruti Suzuki and got access to customer and dealer data

Show HN: I made a ChatGPT wrapper with Notion-like UI

Learning How to Build Software in the AI Era, with and Without Coding

Session Replay to Mp4, and Fast

Asteroid Defense: The Real-World Impact of NASA's Dart Mission

Claude likes 61

I write novels and build AI. The debate is more complex than either side admits

Your LLM provider will go down, but you don't have to

AMD Advancing AI: MI350X and MI400 UALoE72, MI500 UAL256

ConverseJS – A web-based XMPP chat client

We Want Robots at Work but Humans in Art

Nitpicking Gladiator's Iconic Opening Battle, Part II

Jensen Huang says he disagrees with almost everything Anthropic CEO Amodei says

Logitech's new Flip Folio iPad case has a removable wireless keyboard

Swimming world body will banish participants in pro-doping Enhanced Games

WWDC25: Verify Identity Documents on the Web (MDL, MDoc, etc.) [video]

Peano arithmetic is enough, because Peano arithmetic encodes computation

Malloy: An open-source language for analyzing, transforming, and modeling data

Complete Guide to Understanding and Building Remote MCP Servers

One of the Dreamliners That Gave a Boeing Manager Nightmares Just Crashed

Rabbit Intern

Ask HN: What is your fallback job if AI takes away your career?

The RAG Chatbot Dilemma: How Should LLMs Handle 3rd-Party Permissions?

A new kind of AI bot takes over the web

Feature Phone and Pegasus Style Spyware Question

Home appliances swept up in expansion of Trump steel tariffs

Generating open graph images in Astro

The Best Interfaces We Never Built

React Native 0.80 – React 19.1, JavaScript API Changes, Freezing Legacy Arch

Show HN: Hand-controlled arpeggiator, drum machine, and audio reactive visuals

Show HN: The AI Tutoring Company

I hacked Maruti Suzuki and got access to customer and dealer data

Show HN: I made a ChatGPT wrapper with Notion-like UI

Learning How to Build Software in the AI Era, with and Without Coding

Session Replay to Mp4, and Fast

Asteroid Defense: The Real-World Impact of NASA's Dart Mission

Claude likes 61

I write novels and build AI. The debate is more complex than either side admits

Your LLM provider will go down, but you don't have to

AMD Advancing AI: MI350X and MI400 UALoE72, MI500 UAL256

ConverseJS – A web-based XMPP chat client

We Want Robots at Work but Humans in Art

Nitpicking Gladiator's Iconic Opening Battle, Part II

Jensen Huang says he disagrees with almost everything Anthropic CEO Amodei says

Logitech's new Flip Folio iPad case has a removable wireless keyboard

Swimming world body will banish participants in pro-doping Enhanced Games