fp.

AI Automation Without the Hype

1•lawalkola•53s ago•0 comments

How HN: Hearthkin – family presence for iOS without location tracking

https://hearthkinapp.com/

1•serhio_dev•1m ago•0 comments

Nix Overrides That Expire Themselves

https://jezenthomas.com/2026/07/nix-overrides-that-expire-themselves/

1•yakshaving_jgt•2m ago•0 comments

Google will expand age checks on Android worldwide till the end of the year

https://android-developers.googleblog.com/2026/07/google-play-age-signals-api-safer-experiences.html

1•dmantis•2m ago•0 comments

Quantum computing roundup: Still more technologies making waves

https://arstechnica.com/science/2026/07/quantum-computing-roundup-still-more-technologies-making-...

2•rbanffy•3m ago•1 comments

2001: Cameras..On Phones?

https://www.youtube.com/watch?v=6ywODcJ8yu8

2•chistev•7m ago•0 comments

EU opens call for seven 'gigafactories' to train next-generation AI

https://www.euronews.com/my-europe/2026/07/30/eu-opens-call-for-seven-gigafactories-to-train-next...

4•geox•7m ago•0 comments

Donto: An Evidence Operating System for Contested Knowledge

https://donto.org/reports/donto-paper-2026-05-28

3•jerlendds•8m ago•0 comments

OpeClaud AI – Catch runtime bugs in AI-generated code before production

https://opeclaud.com

1•rumeshdyr•10m ago•0 comments

Image Shows What 14 Years of Driving Has Done to NASA's Mars Rover

https://www.bgr.com/2226633/14-years-nasa-mars-rover-image-wear-tear/

1•giuliomagnifico•11m ago•0 comments

Jacobian, a high level maths toolkit for agents

https://github.com/morluto/jacobian

2•Mplto•11m ago•0 comments

I built a free AI curriculum from philosophy to LLMs

https://howmachinesthink.substack.com/

1•abhaysinghr516•14m ago•1 comments

C++ float-to-int conversion can be undefined behavior

https://kttnr.net/blog/cpp-float-to-int-conversion-undefined-behavior/

1•signa11•17m ago•0 comments

I Got a Free Meal from a Private Chef–Who Filmed It All to Train Robots

https://www.wired.com/story/i-let-a-private-chef-film-my-kitchen-for-robot-training-data/

1•JeanKage•17m ago•0 comments

Let's Make the Worst Htmx

https://zserge.com/posts/worst-htmx-ever/

1•Tomte•18m ago•0 comments

Mental health startup graveyard: an analysis of 542 dead companies, 2000–2026

https://mentalium.me/en/research/mental-health-startup-graveyard/

2•trubetskov•19m ago•0 comments

Open-weights AI models have become good enough

https://blog.senko.net/open-weights-ai-models-have-become-good-enough

2•chistev•19m ago•0 comments

Open Source is not a business model (2016)

https://blog.senko.net/open-source-is-not-a-business-model

2•chistev•19m ago•2 comments

CliffordNet: All You Need Is Geometric Algebra[ArXiv:2601.06793]

https://arxiv.org/abs/2601.06793

1•unprovable•21m ago•0 comments

Show HN: Two AI eyes argue about morality, using the sociology of justification

https://orb-eye-ten.vercel.app/

1•zamtam•22m ago•0 comments

1.25K → 9.04K clicks in 60 days: Pointed an agent to GSC every morning

https://www.reddit.com/r/better_claw/s/RTb2Auc7rx

1•sbnmkatoch•22m ago•0 comments

Ventora Expands Its AI Business Builder to Help Solo Founders

1•darius88•22m ago•0 comments

Singleton Attractors in Recursive Self-Improvement Dynamics [pdf]

https://nathanlangley.dev/Singleton%20Attractor.pdf

1•frozenseven•25m ago•1 comments

The Onion King and Market Manipulation

https://www.sherwoodfp.com/post/the-onion-king-and-market-manipulation

1•theanonymousone•26m ago•0 comments

A Note on Hidden Shifts as Hidden Subgroups for Quantum Cryptanalysis

https://presheaf.blogspot.com/2026/07/note-on-hidden-shifts-as-hidden.html

1•unprovable•26m ago•0 comments

Nvidia Accelerates Chip Engineering with AI Agents

https://www.nextplatform.com/hpc/2026/07/27/nvidia-accelerates-chip-engineering-with-ai-agents/52...

2•rbanffy•28m ago•0 comments

Rem3Di: Learning smooth, chiral 3D molecular descriptors

https://arxiv.org/abs/2607.19977

1•rbanffy•29m ago•0 comments

Show HN: Wiki-like edit for Lean 4 project Physlib

https://jstoobysmith.github.io/PhyslibVerso/

1•leanexplorer•29m ago•0 comments

Thoughts about the Leiden Declaration by Timothy Gowers

https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/

1•subset•30m ago•0 comments

Ubiquitous Language is prompt engineering that humans can read

https://menelaos.vergis.net/posts/Why-Domain-Driven-Design-Is-a-Great-Fit-for-Coding-with-Claude

1•melenaos•38m ago•0 comments

AI Automation Without the Hype

How HN: Hearthkin – family presence for iOS without location tracking

Nix Overrides That Expire Themselves

Google will expand age checks on Android worldwide till the end of the year

Quantum computing roundup: Still more technologies making waves

2001: Cameras..On Phones?

EU opens call for seven 'gigafactories' to train next-generation AI

Donto: An Evidence Operating System for Contested Knowledge

OpeClaud AI – Catch runtime bugs in AI-generated code before production

Image Shows What 14 Years of Driving Has Done to NASA's Mars Rover

Jacobian, a high level maths toolkit for agents

I built a free AI curriculum from philosophy to LLMs

C++ float-to-int conversion can be undefined behavior

I Got a Free Meal from a Private Chef–Who Filmed It All to Train Robots

Let's Make the Worst Htmx

Mental health startup graveyard: an analysis of 542 dead companies, 2000–2026

Open-weights AI models have become good enough

Open Source is not a business model (2016)

CliffordNet: All You Need Is Geometric Algebra[ArXiv:2601.06793]

Show HN: Two AI eyes argue about morality, using the sociology of justification

1.25K → 9.04K clicks in 60 days: Pointed an agent to GSC every morning

Ventora Expands Its AI Business Builder to Help Solo Founders

Singleton Attractors in Recursive Self-Improvement Dynamics [pdf]

The Onion King and Market Manipulation

A Note on Hidden Shifts as Hidden Subgroups for Quantum Cryptanalysis

Nvidia Accelerates Chip Engineering with AI Agents

Rem3Di: Learning smooth, chiral 3D molecular descriptors

Show HN: Wiki-like edit for Lean 4 project Physlib

Thoughts about the Leiden Declaration by Timothy Gowers

Ubiquitous Language is prompt engineering that humans can read

Papers with open peer-review reports are less likely to be retracted

AI Automation Without the Hype

How HN: Hearthkin – family presence for iOS without location tracking

Nix Overrides That Expire Themselves

Google will expand age checks on Android worldwide till the end of the year

Quantum computing roundup: Still more technologies making waves

2001: Cameras..On Phones?

EU opens call for seven 'gigafactories' to train next-generation AI

Donto: An Evidence Operating System for Contested Knowledge

OpeClaud AI – Catch runtime bugs in AI-generated code before production

Image Shows What 14 Years of Driving Has Done to NASA's Mars Rover

Jacobian, a high level maths toolkit for agents

I built a free AI curriculum from philosophy to LLMs

C++ float-to-int conversion can be undefined behavior

I Got a Free Meal from a Private Chef–Who Filmed It All to Train Robots

Let's Make the Worst Htmx

Mental health startup graveyard: an analysis of 542 dead companies, 2000–2026

Open-weights AI models have become good enough

Open Source is not a business model (2016)

CliffordNet: All You Need Is Geometric Algebra[ArXiv:2601.06793]

Show HN: Two AI eyes argue about morality, using the sociology of justification

1.25K → 9.04K clicks in 60 days: Pointed an agent to GSC every morning

Ventora Expands Its AI Business Builder to Help Solo Founders

Singleton Attractors in Recursive Self-Improvement Dynamics [pdf]

The Onion King and Market Manipulation

A Note on Hidden Shifts as Hidden Subgroups for Quantum Cryptanalysis

Nvidia Accelerates Chip Engineering with AI Agents

Rem3Di: Learning smooth, chiral 3D molecular descriptors

Show HN: Wiki-like edit for Lean 4 project Physlib

Thoughts about the Leiden Declaration by Timothy Gowers

Ubiquitous Language is prompt engineering that humans can read