frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Solving Fermat: Andrew Wiles

https://www.pbs.org/wgbh/nova/proof/wiles.html
20•1970-01-01•18h ago

Comments

albert_e•7m ago
This was an excellent introduction to this topic:

https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem_(book) by Simon Singh

But I am not sure if the book covers the mistake and later correction. I has been more than a decade sine I read the book (and became a fan of the author).

chris_st•3m ago
I'll check that out - I loved his "The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography". Excellent introduction to cryptography.
clarkeni•2m ago
It does! Very dramatic part of the book.

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