pull down to refresh

How I write code using Cursorwww.arguingwithalgorithms.com/posts/cursor-review.html
206 sats \ 0 comments \ @hn 29 Oct 2024 tech
related
The Art of Lisp and Writingwww.dreamsongs.com/ArtOfLisp.html
10 sats \ 0 comments \ @hn 15 Jun tech
Shardines: SQLite3 Database-per-Tenant with ActiveRecordblog.julik.nl/2025/04/a-can-of-shardines
49 sats \ 0 comments \ @hn 27 Apr tech
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
The Dark Side of the Moominswww.newstatesman.com/culture/books/2025/04/dark-side-of-the-moomins-tove-jansson
10 sats \ 0 comments \ @hn 13 Apr tech
Fonts for Complex Datawww.typography.com/blog/fonts-for-complex-data
21 sats \ 0 comments \ @hn 13 Apr 2024 tech
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
How AI on Microcontrollers Works: Operators and Kernelsdanielmangum.com/posts/ai-microcontrollers-operators-kernels/
11 sats \ 0 comments \ @hn 5 Jul tech
From Pegasus to Predator – The evolution of commercial spyware on iOS [video]media.ccc.de/v/38c3-from-pegasus-to-predator-the-evolution-of-commercial-spyware-on-ios
11 sats \ 0 comments \ @hn 30 Dec 2024 tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan tech
Understanding Memory Management, Part 2: C++ and RAIIeducatedguesswork.org/posts/memory-management-2/
10 sats \ 0 comments \ @hn 9 Mar tech
Show HN: I made a git rebase TUI editorgithub.com/NyuB/ocli
117 sats \ 0 comments \ @hn 14 Oct 2024 tech
Computing with Time: Microarchitectural Weird Machinescacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats \ 0 comments \ @hn 25 Nov 2024 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
Hunt for Red October 1990 (2016)www.modelshipsinthecinema.com/2016/12/hunt-for-red-october-1990.html
46 sats \ 0 comments \ @hn 10 Apr tech
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?aartaka.me/lambda-0
21 sats \ 0 comments \ @hn 10 Nov 2024 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
Measuring Acceleration Structureszeux.io/2025/03/31/measuring-acceleration-structures/
10 sats \ 0 comments \ @hn 2 Apr 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