LINKED LIST [txt mode] ▸ @petec

home explore | log in

@petec

0 followers · 1 following · 0 links

feed lists

─── 2026-10-03 ─────────────────────────────────────────

* Platform-independent SIMD in Go [performance]

go.dev · node›

* Why is the x86 undefined instruction called ud2? Why 2? [assembly]

devblogs.microsoft.com · node›

* The scourge of x86 emulation

fex-emu.com · node›

* OpenAI's Navier-Stokes release included a Lean 4 formal proof

johndcook.com · node›

─── 2026-09-14 ─────────────────────────────────────────

* Navier-Stokes – Tristan Buckmaster

cims.nyu.edu · node›

* Creepy Crawlies

people.kernel.org · node›

* Asahi Linux on M3

asahilinux.org · node›

─── 2026-08-25 ─────────────────────────────────────────

* Game Boy Advance Audio Interpolation

jsgroth.dev · node›

─── 2026-06-03 ─────────────────────────────────────────

* How many registers does an x86-64 CPU have?

blog.yossarian.net · node›

* Who Writes the Bugs? A Deeper Look at 125,000 Kernel Vulnerabilities

pebblebed.com · node›

─── 2026-05-28 ─────────────────────────────────────────

* Jails for NetBSD – Kernel Enforced Isolation and Native Resource Control [systems]

netbsd-jails.petermann-digital.de · node›

─── 2026-05-12 ─────────────────────────────────────────

* Async/Await on the GPU [optimization]

vectorware.com · node›

─── 2026-05-08 ─────────────────────────────────────────

* Reverse Engineering the Prom for the SGI O2 [systems]

mattst88.com · node›

─── 2026-05-07 ─────────────────────────────────────────

* On the Design of Programming Languages (1974)

web.cs.ucdavis.edu · node›

─── 2026-03-18 ─────────────────────────────────────────

* Dissecting the CPU-memory relationship in garbage collection (OpenJDK 26)

norlinder.nu · node›

* I ported Tree-sitter to Go [compilers]

github.com · node›

─── 2026-03-14 ─────────────────────────────────────────

* Arm's Cortex X925: Reaching Desktop Performance

chipsandcheese.com · node›

* CES 2026: Taking the Lids Off AMD's Venice and MI400 SoCs [assembly]

chipsandcheese.com · node›

* Nvidia GB10's Memory Subsystem, from the CPU Side

chipsandcheese.com · node›

─── 2026-03-10 ─────────────────────────────────────────

* Claude's Cycles [compilers]

www-cs-faculty.stanford.edu · node›

* You can use newline characters in URLs [systems]

lemire.me · node›

* The Cost of a Function Call [performance]

lemire.me · node›

─── 2026-02-21 ─────────────────────────────────────────

* Why top posting has won (2018)

solipsys.co.uk · node›

─── 2026-02-19 ─────────────────────────────────────────

* Pixel Art Tips for Programmers

jslegenddev.substack.com · node›

* Help My c64 caught on fire

c0de517e.com · node›

* DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling

github.com · node›