pull down to refresh

Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
related
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
Introduction to Bash Scriptinggithub.com/bobbyiliev/introduction-to-bash-scripting
148 sats \ 0 comments \ @hn 17 Jul 2024 tech
Conway's Game of Life, in checkboxes for some reasonhuth.me/checkbox-life/
51 sats \ 0 comments \ @hn 28 Jun 2024 tech
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
Ghosts in the ROM (2012)www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
21 sats \ 0 comments \ @hn 26 Jun 2024 tech
Shardines: SQLite3 Database-per-Tenant with ActiveRecordblog.julik.nl/2025/04/a-can-of-shardines
49 sats \ 0 comments \ @hn 27 Apr tech
Escaping the Chrome Sandbox Through DevToolsading.dev/blog/posts/chrome_sandbox_escape.html
109 sats \ 0 comments \ @hn 17 Oct 2024 tech
The Art of Lisp and Writingwww.dreamsongs.com/ArtOfLisp.html
10 sats \ 0 comments \ @hn 15 Jun tech
Atari Means Business with the Mega STwww.goto10retro.com/p/atari-means-business-with-the-mega
46 sats \ 0 comments \ @hn 1 Jun tech
Making memcpy(NULL, NULL, 0) well-defineddevelopers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined
25 sats \ 0 comments \ @hn 11 Dec 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar tech
Optimizing a WebGPU Kernel to 1TFLOP of Performancezanussbaum.substack.com/p/optimizing-a-webgpu-matmul-kernel
21 sats \ 0 comments \ @hn 11 Nov 2024 tech
The TikTok Case Will Be Determined by What's Behind the Government's Black Lineswww.lawfaremedia.org/article/the-tiktok-case-will-be-determined-by-what-s-behind-the-government-s-black-lines
10 sats \ 0 comments \ @hn 14 Aug 2024 tech
Palette lighting tricks on the Nintendo 6430fps.net/pages/palette-lighting-tricks-n64/
10 sats \ 0 comments \ @hn 17 May tech
Isometric Projection in Game Developmentpikuma.com/blog/isometric-projection-in-games
20 sats \ 0 comments \ @hn 12 Aug 2024 tech
Preserving a floppy disk with a logic analyzer and a serial cablewww.chzsoft.de/site/hardware/preserving-a-floppy-disk-with-a-logic-analyzer/
42 sats \ 0 comments \ @hn 6 Jul 2024 tech
Understanding Memory Management, Part 2: C++ and RAIIeducatedguesswork.org/posts/memory-management-2/
10 sats \ 0 comments \ @hn 9 Mar tech
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech
WireGuard Performance with a Pi Zero (2019)oct8l.gitlab.io/posts/2019/140/wireguard-performance-with-a-pi-zero/
140 sats \ 0 comments \ @hn 19 Oct 2024 tech
Measuring Acceleration Structureszeux.io/2025/03/31/measuring-acceleration-structures/
10 sats \ 0 comments \ @hn 2 Apr tech
Continuous reinvention: A brief history of block storage at AWSwww.allthingsdistributed.com/2024/08/continuous-reinvention-a-brief-history-of-block-storage-at-aws.html
21 sats \ 0 comments \ @hn 22 Aug 2024 tech