fp.

Rem3Di: Learning smooth, chiral 3D molecular descriptors

https://arxiv.org/abs/2607.19977

1•rbanffy•26s ago•0 comments

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

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

1•leanexplorer•48s 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•1m 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•10m ago•0 comments

How Data Centers Avoid Local Planning [video]

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

2•mngnt•10m ago•0 comments

Subpostmasters anxious over Horizon replacement as it is delayed yet again

https://www.computerweekly.com/news/366646732/Subpostmasters-anxious-over-Horizon-replacement-as-...

1•latein•12m ago•0 comments

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

https://github.com/YoanWai/agent-manager

1•yoanwaidev•13m ago•0 comments

The Dutch alternative to sharing public code

https://code.overheid.nl/

1•pelasaco•15m ago•0 comments

With the Carina System, QuiX Pushes Photonic Quantum Computing Forward

https://www.nextplatform.com/compute/2026/07/29/with-the-carina-system-quix-pushes-photonic-quant...

1•rbanffy•16m ago•0 comments

Every Amazon SaaS claims to use AI

https://clarisix.com/blog/on-the-ai-claim

1•claudiuclement•18m ago•0 comments

Carolina Cloud pays SOFR on unused prepaid credits

https://docs.carolinacloud.io/organizations/prepaid-interest/

2•bojangleslover•19m ago•0 comments

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

https://www.nature.com/articles/d41586-026-02282-1

1•Vinnl•19m ago•0 comments

Manganin: Tools Matter

https://blog.manganin.dev/blog/tools-matter/

1•birdculture•22m ago•0 comments

Airlines Race to Adopt AI 'Surveillance Pricing' That Could Kill Off Cheap Seats

https://simpleflying.com/airlines-ai-surveillance-pricing-cheap-seats/

2•thm•22m ago•1 comments

Tacos became Norway's national comfort food

https://www.bbc.com/travel/article/20260709-how-tacos-became-norways-national-comfort-food

1•koolhead17•22m ago•1 comments

Google's SynthID watermark is hard to break, but doesn't solve AI disinformation

https://arstechnica.com/ai/2026/07/tested-google-synthid-works-great-but-labeling-ai-content-may-...

1•thm•22m ago•0 comments

Ask HN: Which one do you use for planning and coding between sonnet and Opus?

2•neverenderr•26m ago•0 comments

K2 – Microsoft's big plan to save Windows 11 and win back trust from users

https://www.windowscentral.com/microsoft/windows-11/what-is-windows-k2-everything-you-need-to-kno...

4•AndrewDucker•29m ago•0 comments

Show HN: Ask what reviewers love and hate about any Google Play app

https://seam.obverselabs.com/

1•OtmaneBenazzou•29m ago•0 comments

What Is Cognitive OS? Turning Philosophy into Practical Cognitive Training

https://rainbowcity.substack.com/p/19-what-is-cognitive-os-turning-philosophy

1•Caelus9•30m ago•0 comments

How C++ enables us to provide seamless data obfuscation

https://protekkt.io/data-obfuscation-cpp-sdk.html

1•tzubcic•32m ago•0 comments

Superhumanoid General Purpose Robot

https://www.satyress.com/

2•Liriel•33m ago•0 comments

Part Four of the Six-Year Toaster Saga: The Human in Reverse

https://thinkingtoasters.com/2026/07/30/thoughts-of-a-toaster/

1•yesiot•34m ago•0 comments

We asked an AI about the future

https://www.swissinfo.ch/eng/demographics/we-asked-an-ai-about-the-future-its-answer-might-genuin...

1•jakzurr•34m ago•1 comments

Show HN: DeltaSnap – Undo for Mac, built on APFS snapshot entitlement from Apple

https://scaleninja.com/blog/deltasnap/

1•yadvr•34m ago•0 comments

Autistic Caveman: Why use many token when correct token do trick

https://github.com/jcllobet/autistic_caveman

1•AIrtemis•34m ago•1 comments

Ask HN: How are you handling production risks from AI generated code?

3•varda_62892•37m ago•3 comments

AI contract review inside Word – first law firm signing this week

https://clausio.pl

1•DavidKon•40m ago•0 comments

Replacing Polling with Events in a Trading Execution Engine

https://medium.com/@DolphinDB_Inc/building-an-event-driven-execution-engine-lessons-from-an-icebe...

2•yiweileng•41m ago•0 comments

Show HN: I built myself the simplest worktree management tool

https://github.com/kerem-kaynak/wt

1•kasktra•43m ago•1 comments

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

How Data Centers Avoid Local Planning [video]

Subpostmasters anxious over Horizon replacement as it is delayed yet again

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

The Dutch alternative to sharing public code

With the Carina System, QuiX Pushes Photonic Quantum Computing Forward

Every Amazon SaaS claims to use AI

Carolina Cloud pays SOFR on unused prepaid credits

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

Manganin: Tools Matter

Airlines Race to Adopt AI 'Surveillance Pricing' That Could Kill Off Cheap Seats

Tacos became Norway's national comfort food

Google's SynthID watermark is hard to break, but doesn't solve AI disinformation

Ask HN: Which one do you use for planning and coding between sonnet and Opus?

K2 – Microsoft's big plan to save Windows 11 and win back trust from users

Show HN: Ask what reviewers love and hate about any Google Play app

What Is Cognitive OS? Turning Philosophy into Practical Cognitive Training

How C++ enables us to provide seamless data obfuscation

Superhumanoid General Purpose Robot

Part Four of the Six-Year Toaster Saga: The Human in Reverse

We asked an AI about the future

Show HN: DeltaSnap – Undo for Mac, built on APFS snapshot entitlement from Apple

Autistic Caveman: Why use many token when correct token do trick

Ask HN: How are you handling production risks from AI generated code?

AI contract review inside Word – first law firm signing this week

Replacing Polling with Events in a Trading Execution Engine

Show HN: I built myself the simplest worktree management tool

Opus 5, The Best Vending Machine Capitalist

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

How Data Centers Avoid Local Planning [video]

Subpostmasters anxious over Horizon replacement as it is delayed yet again

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

The Dutch alternative to sharing public code

With the Carina System, QuiX Pushes Photonic Quantum Computing Forward

Every Amazon SaaS claims to use AI

Carolina Cloud pays SOFR on unused prepaid credits

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

Manganin: Tools Matter

Airlines Race to Adopt AI 'Surveillance Pricing' That Could Kill Off Cheap Seats

Tacos became Norway's national comfort food

Google's SynthID watermark is hard to break, but doesn't solve AI disinformation

Ask HN: Which one do you use for planning and coding between sonnet and Opus?

K2 – Microsoft's big plan to save Windows 11 and win back trust from users

Show HN: Ask what reviewers love and hate about any Google Play app

What Is Cognitive OS? Turning Philosophy into Practical Cognitive Training

How C++ enables us to provide seamless data obfuscation

Superhumanoid General Purpose Robot

Part Four of the Six-Year Toaster Saga: The Human in Reverse

We asked an AI about the future

Show HN: DeltaSnap – Undo for Mac, built on APFS snapshot entitlement from Apple

Autistic Caveman: Why use many token when correct token do trick

Ask HN: How are you handling production risks from AI generated code?

AI contract review inside Word – first law firm signing this week

Replacing Polling with Events in a Trading Execution Engine

Show HN: I built myself the simplest worktree management tool