fp.

SpaceX at $100 could mean investors see zero value in its AI

https://www.latimes.com/business/story/2026-07-27/spacex-at-100-could-mean-investors-see-zero-val...

1•1vuio0pswjnm7•28s ago•0 comments

Kedge Quickstart

https://kedge.dev/docs/quickstart

1•bcjordan•45s ago•0 comments

Me in the Notes App

https://time.com/article/2026/07/24/meet-me-in-the-notes-app/

1•speckx•53s ago•0 comments

Show HN: A terminal editor that can discuss with OpenCode and Pi

https://sollawen.github.io/microNeo/

1•sollawen•1m ago•0 comments

Is an AI company buying up all the used books? (I don't think so, not this time)

https://charliebecker.substack.com/p/is-an-ai-company-buying-up-all-the

1•rahimnathwani•2m ago•0 comments

How Terence Tao's insight translates to how we need to think about the economy

https://wilsoniumite.com/2026/07/28/how-terence-taos-metamathematical-insight-translates-to-how-w...

1•Wilsoniumite•3m ago•0 comments

VistaRama65

https://www.in70mm.com/presents/library/orphan/2026_forever/about/index.htm

1•Teever•3m ago•0 comments

Qantas plane flies for more than 24 hours in record-breaking flight

https://www.theguardian.com/business/2026/jul/28/qantas-plane-flies-for-more-than-24-hours-in-rec...

1•tosh•3m ago•0 comments

Faulty Reward Functions in the Wild (2016)

https://openai.com/blog/faulty-reward-functions

1•_vk_•5m ago•0 comments

Harmony Explained: Progress Towards a Scientific Theory of Music (2012)

https://arxiv.org/abs/1202.4212

2•surprisetalk•5m ago•0 comments

Show HN: PidgeIoT – open-source IoT/Embedded device management for all (free*)

https://pidgeiot.com/

1•Voxorin•6m ago•1 comments

Redev – AI chat assistant for React DevTools

https://chromewebstore.google.com/detail/redev-â-ai-chat-assistant/ojiiafcaodjlfegglkfgokgebgcf...

1•denniscual•6m ago•0 comments

Buzz (by Block) is pretty neat

https://chad.cm/posts/2026-7-27-buzz-in-action

2•carimura•6m ago•0 comments

Show HN: Injex – tiny typed DI for Python validates the graph before startup

https://github.com/vshulcz/injex

1•vshulcz•6m ago•0 comments

Autonomous SEO agent that finds, writes, and publishes blog posts

https://boldpilot.club

1•ahmetsaridagx•7m ago•0 comments

GrapheneOS Defends Data-Wiping Function That Blocked US Border Search

https://www.pcmag.com/news/grapheneos-defends-data-wiping-function-that-blocked-us-border-search

6•pseudolus•8m ago•0 comments

Ella, an AI friend with an inner life that runs while you're away

https://Ellasworlds.com

1•Levip•8m ago•0 comments

Making KIO copy many files fast

https://blogs.kde.org/2026/07/28/making-kio-copy-many-files-fast/

2•signa11•10m ago•0 comments

Kaney's Weird Files – July 2026 Edition

https://kaneysweirdfiles.substack.com/p/july-2026-a-mutant-coon-a-book-review

1•experiencertim•10m ago•0 comments

Show HN: Higgs, a local AI CLI for Proton Mail (no cloud, no telemetry)

https://github.com/higgscli/higgs

1•cyberflux•11m ago•0 comments

TaskLoco reveals unprecedented productivity secret- Sticky Notes on a Storyboard

https://www.taskloco.com/

1•taskloco_nyc•12m ago•0 comments

Cacheinvalidate.com Was Still Available

https://cacheinvalidate.com

1•promptfluid•12m ago•0 comments

Sorry, the Data Says Communist

https://postcapitalistrobots.substack.com/p/sorry-the-data-says-communist

1•alejodosr•13m ago•1 comments

Show HN: Repo Autopsy – Transparent heuristics for repository install friction

https://repo-autopsy.zdfb20650.workers.dev

1•echoscarrie•13m ago•0 comments

Software Verification in the Age of Artificial Intelligence

https://learning.acm.org/techtalks/softwareai

2•rbanffy•14m ago•0 comments

Astronomers find strongest evidence yet that Betelgeuse has a companion

https://www.eso.org/public/news/eso2611/

1•Ralfp•16m ago•0 comments

Automation Led to Economic Misery. AI Doesn't Have To

https://www.theatlantic.com/ideas/2026/07/ai-automation-productivity-workers/688083/

1•01-_-•16m ago•0 comments

Load Bearing Memory: The Bones Remember

https://ikeanalytics.com/articles/what-the-bone-remembers/

1•hnscum•16m ago•1 comments

Why Hardware Engineering is the next target for Agents

https://assistedeverything.substack.com/p/the-age-of-agentic-engineering-for-hardware

1•gimili•16m ago•0 comments

Questions and answers on AI and verification: follow-up to my May ACM Tech Talk

https://bertrandmeyer.com/2026/07/21/questions-and-answers-on-ai-and-verification-a-follow-up-to-...

1•rbanffy•17m ago•0 comments

SpaceX at $100 could mean investors see zero value in its AI

Kedge Quickstart

Me in the Notes App

Show HN: A terminal editor that can discuss with OpenCode and Pi

Is an AI company buying up all the used books? (I don't think so, not this time)

How Terence Tao's insight translates to how we need to think about the economy

VistaRama65

Qantas plane flies for more than 24 hours in record-breaking flight

Faulty Reward Functions in the Wild (2016)

Harmony Explained: Progress Towards a Scientific Theory of Music (2012)

Show HN: PidgeIoT – open-source IoT/Embedded device management for all (free*)

Redev – AI chat assistant for React DevTools

Buzz (by Block) is pretty neat

Show HN: Injex – tiny typed DI for Python validates the graph before startup

Autonomous SEO agent that finds, writes, and publishes blog posts

GrapheneOS Defends Data-Wiping Function That Blocked US Border Search

Ella, an AI friend with an inner life that runs while you're away

Making KIO copy many files fast

Kaney's Weird Files – July 2026 Edition

Show HN: Higgs, a local AI CLI for Proton Mail (no cloud, no telemetry)

TaskLoco reveals unprecedented productivity secret- Sticky Notes on a Storyboard

Cacheinvalidate.com Was Still Available

Sorry, the Data Says Communist

Show HN: Repo Autopsy – Transparent heuristics for repository install friction

Software Verification in the Age of Artificial Intelligence

Astronomers find strongest evidence yet that Betelgeuse has a companion

Automation Led to Economic Misery. AI Doesn't Have To

Load Bearing Memory: The Bones Remember

Why Hardware Engineering is the next target for Agents

Questions and answers on AI and verification: follow-up to my May ACM Tech Talk

Designing Patterns to Prevent IDOR

SpaceX at $100 could mean investors see zero value in its AI

Kedge Quickstart

Me in the Notes App

Show HN: A terminal editor that can discuss with OpenCode and Pi

Is an AI company buying up all the used books? (I don't think so, not this time)

How Terence Tao's insight translates to how we need to think about the economy

VistaRama65

Qantas plane flies for more than 24 hours in record-breaking flight

Faulty Reward Functions in the Wild (2016)

Harmony Explained: Progress Towards a Scientific Theory of Music (2012)

Show HN: PidgeIoT – open-source IoT/Embedded device management for all (free*)

Redev – AI chat assistant for React DevTools

Buzz (by Block) is pretty neat

Show HN: Injex – tiny typed DI for Python validates the graph before startup

Autonomous SEO agent that finds, writes, and publishes blog posts

GrapheneOS Defends Data-Wiping Function That Blocked US Border Search

Ella, an AI friend with an inner life that runs while you're away

Making KIO copy many files fast

Kaney's Weird Files – July 2026 Edition

Show HN: Higgs, a local AI CLI for Proton Mail (no cloud, no telemetry)

TaskLoco reveals unprecedented productivity secret- Sticky Notes on a Storyboard

Cacheinvalidate.com Was Still Available

Sorry, the Data Says Communist

Show HN: Repo Autopsy – Transparent heuristics for repository install friction

Software Verification in the Age of Artificial Intelligence

Astronomers find strongest evidence yet that Betelgeuse has a companion

Automation Led to Economic Misery. AI Doesn't Have To

Load Bearing Memory: The Bones Remember

Why Hardware Engineering is the next target for Agents

Questions and answers on AI and verification: follow-up to my May ACM Tech Talk