1.

Ironclad – formally verified, real-time capable, Unix-like OS kernel

ironclad-os.org vitalnodo 259 61 Nov 08, 2025 23:03 Comments

2.

I Am Mark Zuckerberg

iammarkzuckerberg.com jb1991 301 99 Nov 09, 2025 06:13 Comments

3.

Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican

simonwillison.net simonw 71 34 Nov 09, 2025 04:02 Comments

4.

Largest cargo sailboat completes first Atlantic crossing

www.marineinsight.com defrost 238 166 Nov 08, 2025 19:57 Comments

5.

Defeating Kaslr by Doing Nothing at All

googleprojectzero.blogspot.com aa_is_op 36 1 Nov 04, 2025 10:52 Comments

6.

Marko – A declarative, HTML‑based language

markojs.com ulrischa 291 138 Nov 08, 2025 18:43 Comments

7.

Runc breaks pods when CPU requests aren't multiples of 10

github.com dropbox_miner 29 6 Nov 09, 2025 04:47 Comments

8.

Forth – is it still relevant?

github.com lioeters 34 17 Nov 09, 2025 04:59 Comments

9.

Show HN: I built a self-hosted error tracker in Rails

telebugs.com kyrylo 16 4 Oct 31, 2025 20:46 Comments

10.

Study identifies weaknesses in how AI systems are evaluated

www.oii.ox.ac.uk pseudolus 353 175 Nov 08, 2025 14:18 Comments

11.

Open-source communications by bouncing signals off the Moon

open.space fortran77 168 41 Nov 02, 2025 14:44 Comments

12.

Tabloid: The Clickbait Headline Programming Language

tabloid.vercel.app sadeshmukh 216 33 Nov 09, 2025 02:53 Comments

13.

How Airbus Took Off

worksinprogress.co JumpCrisscross 69 48 Nov 09, 2025 01:19 Comments

14.

Control structures in programming languages: from goto to algebraic effects

xavierleroy.org SchwKatze 144 21 Nov 03, 2025 11:47 Comments

15.

Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework

github.com idolevi 43 4 Nov 03, 2025 08:14 Comments

16.

Avería: The Average Font (2011)

iotic.com JoshTriplett 169 29 Nov 08, 2025 19:29 Comments

17.

Study finds memory decline surge in young people

onepercentrule.substack.com drcwpl 77 33 Nov 09, 2025 05:05 Comments

18.

How to build your own VPN, or: the history of WARP

blog.cloudflare.com yla92 49 12 Nov 03, 2025 08:46 Comments

19.

Blue Origin Launches NASA's Escapade Mission to Mars: How to Watch

www.nytimes.com fleahunter 6 2 Nov 09, 2025 10:05 Comments

20.

Show HN: Sparktype – a CMS and SSG that runs entirely in the browser

app.sparktype.org mattkevan 11 3 Nov 04, 2025 12:24 Comments

21.

Grok 4 Fast now has 2M context window

docs.x.ai hereme888 83 136 Nov 09, 2025 04:10 Comments

22.

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

www.downtowndougbrown.com todsacerdoti 68 2 Nov 08, 2025 22:30 Comments

23.

Show HN: Geofenced chat communities anyone can create

vicinity.social clarencehoward 36 24 Nov 09, 2025 02:59 Comments

24.

Syntax and Semantics of Programming Languages (1995)

homepage.cs.uiowa.edu nill0 31 18 Nov 09, 2025 03:15 Comments

25.

IRIX Introduction

www.sgistuff.net naves 31 15 Nov 09, 2025 01:33 Comments

26.

Show HN: PingStalker – A a macOS tool for network engineers

www.pingstalker.com n1sni 35 5 Nov 04, 2025 13:33 Comments

27.

Cloudflare scrubs Aisuru botnet from top domains list

krebsonsecurity.com jtbayly 136 30 Nov 08, 2025 16:25 Comments

28.

Valdi – A cross-platform UI framework that delivers native performance

github.com yehiaabdelm 488 199 Nov 08, 2025 00:14 Comments

29.

Why is Zig so cool?

nilostolte.github.io vitalnodo 518 463 Nov 07, 2025 23:04 Comments

30.

Opencloud – An alternative to Nextcloud written in Go

github.com todsacerdoti 106 36 Nov 08, 2025 16:40 Comments

31.

WriterdeckOS

writerdeckos.com surprisetalk 177 103 Nov 08, 2025 18:49 Comments

32.

Judge denies request to exempt Flock footage from Public Records Act

www.goskagit.com p_ing 153 45 Nov 09, 2025 00:53 Comments

33.

My first fifteen compilers (2019)

blog.sigplan.org azhenley 61 4 Oct 31, 2025 20:30 Comments

34.

Visa and Mastercard near deal with merchants that would change rewards landscape

www.wsj.com josephcsible 20 20 Nov 09, 2025 06:32 Comments

35.

What Hallucinogens Will Make You See (2023)

nautil.us simonebrunozzi 61 66 Nov 08, 2025 21:32 Comments

36.

An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]

softwarepreservation.computerhistory.org swatson741 91 11 Nov 08, 2025 14:58 Comments

37.

Firefox Forcing LLM Features

equk.co.uk birdculture 99 102 Nov 08, 2025 18:51 Comments

38.

IP blocking the UK is not enough to comply with the Online Safety Act

prestonbyrne.com pinkahd 258 313 Nov 08, 2025 22:33 Comments

39.

Ticker: Don't die of heart disease

myticker.com colelyman 492 406 Nov 08, 2025 14:59 Comments

40.

How did I get here?

how-did-i-get-here.net zachlatta 374 63 Nov 07, 2025 20:01 Comments

41.

Baby Shoggoth Is Listening

theamericanscholar.org nsoonhui 6 0 Nov 09, 2025 04:35 Comments

42.

Immutable Software Deploys Using ZFS Jails on FreeBSD

conradresearch.com vermaden 185 45 Nov 08, 2025 00:21 Comments

43.

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

arxiv.org otrack 169 48 Nov 08, 2025 07:29 Comments

44.

Tanzania has its Tiananmen moment

www.economist.com slow_typist 18 3 Nov 09, 2025 06:03 Comments

45.

Cekura (YC F24) Is Hiring

news.ycombinator.com atarus 1 0 Nov 08, 2025 12:00 Comments

46.

He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC

www.hackster.io HardwareLust 82 8 Nov 09, 2025 01:08 Comments

47.

Humanity's Endgame

www.noemamag.com marojejian 36 29 Nov 08, 2025 23:58 Comments

48.

Mullvad: Shutting down our search proxy Leta

mullvad.net holysoles 207 136 Nov 08, 2025 00:37 Comments

49.

Computational Complexity of Air Travel Planning (2003) [pdf]

www.ai.mit.edu arnon 72 8 Nov 04, 2025 11:33 Comments

50.

The Space SIM's Last Hurrah

www.filfre.net doppp 6 0 Nov 09, 2025 04:23 Comments