fp.

7.1 Earthquake in Japan

https://www.data.jma.go.jp/multi/quake/quake_detail.html?eventID=20260728163528&lang=en

531•krembo•7h ago•100 comments

New HIV vaccine shows unprecedented success in preclinical study

https://www.lji.org/news-events/news/post/new-hiv-vaccine-shows-unprecedented-success-in-preclini...

163•codebyaditya•1h ago•58 comments

Show HN: tale.fyi, we deserve a home for fiction

https://tale.fyi/@sam/announcing-tale-fyi-read-or-listen-to-an-entire-book-from-a-single-link

40•samuelcole•1h ago•23 comments

Kimi Linear: An Expressive, Efficient Attention Architecture

https://arxiv.org/abs/2510.26692

74•ronfriedhaber•3h ago•15 comments

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

https://github.com/schildep/verified-3d-mesh-intersection

51•permute•1h ago•16 comments

Solving Fermat: Andrew Wiles

https://www.pbs.org/wgbh/nova/proof/wiles.html

20•1970-01-01•18h ago•3 comments

Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs

https://github.com/ctrlb-hq/ctrlb-decompose

32•ruhani_grover•1h ago•6 comments

Google's Beyond Zero: Enterprise Security for the AI Era

https://spawn-queue.acm.org/doi/10.1145/3819083

74•jordigg•4h ago•40 comments

DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It

https://ciphercue.com/blog/dmarc-enforcement-gap-rua-fragmentation-2026

55•adulion•4h ago•37 comments

Our position on open-weights models

https://www.anthropic.com/news/position-open-weights-models

1067•surprisetalk•16h ago•1536 comments

How to Survive Boiling Water

https://taxa.substack.com/p/how-to-survive-boiling-water

204•cainxinth•4d ago•30 comments

What AI developers could learn from Charles Bukowski?

https://galjot.si/what-ai-developers-could-learn-from-charles-bukowski

28•sedovsek•1h ago•21 comments

About the security content of macOS Tahoe 26.6

https://support.apple.com/en-us/128067

148•andor•5h ago•94 comments

Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings)

https://jfrog.com/blog/jfrog-and-openai-collaboration-on-zero-day-security-findings/

26•882542F3884314B•2h ago•10 comments

Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser

https://scalatutorials.com

38•eranation•3d ago•6 comments

A $500 RL fine-tune of a 9B open model beat frontier models on catalog review

https://fermisense.com/when-machines-take-the-wheel/

261•ilreb•12h ago•87 comments

Mondragon Corporation – a federation of co-operatives

https://en.wikipedia.org/wiki/Mondragon_Corporation

92•brnt•2h ago•12 comments

Usenet Archive Toolkit – process Usenet messages into a searchable archive

https://github.com/wolfpld/usenetarchive

15•bilegeek•4h ago•0 comments

Benchmarking Opus 5 on SlopCodeBench

https://github.com/humanlayer/advanced-context-engineering-for-coding-agents/blob/main/benchmarki...

352•dhorthy•16h ago•97 comments

Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules

https://necroticgnome.com/collections/dolmenwood

18•doener•3d ago•7 comments

Ask HN: Crooked Timber showed showed me a virus captcha, What now?

9•Jgoauh•22m ago•5 comments

Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts

https://arsastronomica.com/

93•sweisman•9h ago•28 comments

Vehicle Motion Cues

https://support.apple.com/guide/iphone/iphone-comfortably-riding-a-vehicle-iph55564cb22/ios

170•Austin_Conlon•13h ago•85 comments

Watching Go's new garbage collector move through the heap

https://theconsensus.dev/p/2026/07/19/observing-gos-garbage-collector-old-and-new.html

251•matheusmoreira•3d ago•36 comments

Great Mobile Apps Aren't Built Around Features

https://geekyants.com/case-studies/nowmatch-next-gen-social-and-dating-app-development

2•steve_7890•1h ago•0 comments

PyTorch: A Reference Language

https://docs.pytorch.org/devlogs/compiler/2026-07-25-pytorch-a-reference-language/

60•matt_d•10h ago•5 comments

TWC Classics

https://twcclassics.com/

30•stefanpie•5d ago•3 comments

Show HN: Segue – Save context in one AI, load it in another by a short handle

https://segue.ai/

10•csaguiar•2h ago•5 comments

Kimi K3 Now Available via Telnyx Inference API

https://telnyx.com/release-notes/kimi-k3-telnyx-inference

119•fionaattelnyx•16h ago•69 comments

Programming Languages Are Authoring Tools for Platforms

https://www.makonea.com/en-US/blog/programming-languages-are-authoring-tools-for-platforms

39•jdw64•4d ago•10 comments

7.1 Earthquake in Japan

New HIV vaccine shows unprecedented success in preclinical study

Show HN: tale.fyi, we deserve a home for fiction

Kimi Linear: An Expressive, Efficient Attention Architecture

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

Solving Fermat: Andrew Wiles

Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs

Google's Beyond Zero: Enterprise Security for the AI Era

DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It

Our position on open-weights models

How to Survive Boiling Water

What AI developers could learn from Charles Bukowski?

About the security content of macOS Tahoe 26.6

Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings)

Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser

A $500 RL fine-tune of a 9B open model beat frontier models on catalog review

Mondragon Corporation – a federation of co-operatives

Usenet Archive Toolkit – process Usenet messages into a searchable archive

Benchmarking Opus 5 on SlopCodeBench

Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules

Ask HN: Crooked Timber showed showed me a virus captcha, What now?

Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts

Vehicle Motion Cues

Watching Go's new garbage collector move through the heap

Great Mobile Apps Aren't Built Around Features

PyTorch: A Reference Language

TWC Classics

Show HN: Segue – Save context in one AI, load it in another by a short handle

Kimi K3 Now Available via Telnyx Inference API

Programming Languages Are Authoring Tools for Platforms

Can LLMs identify 16 cards in 45 bit-queries?

Comments

7.1 Earthquake in Japan

New HIV vaccine shows unprecedented success in preclinical study

Show HN: tale.fyi, we deserve a home for fiction

Kimi Linear: An Expressive, Efficient Attention Architecture

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

Solving Fermat: Andrew Wiles

Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs

Google's Beyond Zero: Enterprise Security for the AI Era

DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It

Our position on open-weights models

How to Survive Boiling Water

What AI developers could learn from Charles Bukowski?

About the security content of macOS Tahoe 26.6

Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings)

Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser

A $500 RL fine-tune of a 9B open model beat frontier models on catalog review

Mondragon Corporation – a federation of co-operatives

Usenet Archive Toolkit – process Usenet messages into a searchable archive

Benchmarking Opus 5 on SlopCodeBench

Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules

Ask HN: Crooked Timber showed showed me a virus captcha, What now?

Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts

Vehicle Motion Cues

Watching Go's new garbage collector move through the heap

Great Mobile Apps Aren't Built Around Features

PyTorch: A Reference Language

TWC Classics

Show HN: Segue – Save context in one AI, load it in another by a short handle

Kimi K3 Now Available via Telnyx Inference API

Programming Languages Are Authoring Tools for Platforms