HNHN on the Go

Codex Security

(github.com)bakigul
399
7h125

LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences

(learnvector.ai)ajhai
77
2h42

Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript

(github.com)twalichiewicz
185
6h57

Half-Life ported to Mac OS 9

(mac-classic.com)freediver
185
7h88

Substack writers, you need a website

(elizabethtai.com)speckx
455
11h219

Multiple Mouse Cursors in Wayland

(blinry.org)marvinborner
41
3h18

Hubble: Open-source notetaking app for you and your agents

(www.hubble.md)handfuloflight
66
4h12

Teach yourself programming in ten years (1998)

(www.norvig.com)vinhnx
77
3d28

Truth is not a direction: a Tarski attack on LLM probes

(abeljansma.nl)abelaer
39
2d11

ReFrame – The EPaper Camera

(reframe.camera)phil294
59
5h14

Steel Bank Common Lisp version 2.6.7

(sbcl.org)tmtvl
211
11h87

Beyond Greece and Rome

(aeon.co)diodorus
11
1d0

Hooray for the Sockets Interface

(blog.apnic.net)jruohonen
10
2h5

Kimi K3 Architecture Overview and Notes

(sebastianraschka.com)ModelForge
345
12h55

Delayed Gratification – Proud to Be 'Last to Breaking News'

(www.slow-journalism.com)speerer
255
12h149

Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU

(studio.academa.ai)sinaatalay
36
4h14

The iPhone Upgrade Program is being replaced by Apple Upgrade

(www.apple.com)lkurtz
151
11h291

Interview with Boris Cherny [video]

(www.youtube.com)knighthacker
43
1d44

Zig's Incremental Compilation Internals

(mlugg.co.uk)garyhtou
209
12h143

OpenShell Kubernetes Operator

(github.com)xfiler
7
5d0

The Difference Between a Button and a Link

(unplannedobsolescence.com)alexpetros
48
4h28

Lightweight Spring Boot Monitoring Without Prometheus and Grafana

(pvrlabs.xyz)ejboy
16
4h2

Discovering Cryptographic Weaknesses with Claude

(www.anthropic.com)gslin
192
11h132

Pacing the frontier

(www.pacingthefrontier.com)reducesuffering
104
8h101

Kimi Linear: An Expressive, Efficient Attention Architecture (2025)

(arxiv.org)ronfriedhaber
293
17h125

Una GPS smart watch – Repairable, USB-C charging, developer-friendly

(unawatch.com)pimterry
153
13h103

New HIV vaccine shows unprecedented success in preclinical study

(www.lji.org)codebyaditya
595
15h248

The Fabled Flatbreads of Uzbekistan (2015)

(www.aramcoworld.com)jxub
87
5d65

Now is the time to give LLMs access to the ACM digital library

(cacm.acm.org)rbanffy
130
13h108

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

(github.com)kbradero
6
2h0

Show HN: How far do I have to go to run into 100k people?

(imjasonh.github.io)ImJasonH
58
5d40

MCP 2026-07-28 Specification: transport going stateless

(blog.modelcontextprotocol.io)Eldodi
110
10h36

How Do I Profile eBPF Code?

(naveensrinivasan.com)snaveen
112
12h6

Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library

(github.com)apetuskey
117
12h43

Anthropeum – Where in the world, and when, does this human artifact belong?

(anthropeum.com)bookofjoe
152
13h46

DMARC has been public since 2012 but most company domains still don't enforce it

(ciphercue.com)adulion
178
18h110

Lockless MPSC FIFO queues for io_uring

(lwn.net)signa11
9
5d0

Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf]

(framerusercontent.com)y2so
8
3h2

7.1 Earthquake in Japan

(www.data.jma.go.jp)krembo
779
20h208

Stop Killing the Internet: No Digital ID and No Age Verification

(citizens-initiative.europa.eu)doener
541
13h193

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

(arxiv.org)surprisetalk
97
13h88

Running Kimi K3 on a M1 Max

(github.com)tito
110
7h81

Underwater oxygen loss threatens earth's stability, researchers warn

(scripps.ucsd.edu)littlexsparkee
139
6h78

An introduction to formal proof verification and the Curry-Howard Correspondence

(max-amb.github.io)max-amb
24
4d3

Does every question mark deserve a Betteridge?

(dynomight.net)zdw
8
2h6

I'd not buy a LG monitor

(beko.famkos.net)speckx
105
13h58

Toolcraft

(toolcraft.sh)handfuloflight
43
8h9

About the security content of macOS Tahoe 26.6

(support.apple.com)andor
200
18h132

WOFF 1.0: a milestone on W3C's journey of fonts on the web

(www.w3.org)hn_acker
61
11h5

Show HN: Learning Rust by writing a Markdown to HTML compiler

(andreadimatteo.com)deotman
11
3h3

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

(spawn-queue.acm.org)jordigg
146
18h75

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

(fermisense.com)ilreb
311
1d120

VMs can't boot with Network Mode set to Bridged on Apple M5 Pro machines

(github.com)IndySun
76
15h46

So, you want to make a game engine (2023)

(lisyarus.github.io)kugurerdem
64
13h34

Hulios: An eBPF-powered, transparent Tor gateway for Linux

(github.com)ghaziwali
29
8h5

AE Studio recruiting pirates to recover treasure located by AI

(ae.studio)adtse
12
5h2

Relaxin Jailbreak for iOS 17.0-17.3.1 Released

(onejailbreak.com)madihaa
11
7h0

A walk through of the DeltaNet family of linear attention variants

(blog.doubleword.ai)AnhTho_FR
286
12h116

You don't have to be smart if you can think clearly

(www.seangoedecke.com)meetpateltech
9
1h0

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

(github.com)permute
108
15h47