pull down to refresh

An illustrated proof of the CAP theoremmwhittaker.github.io/blog/an_illustrated_proof_of_the_cap_theorem/
191 sats \ 3 comments \ @hn 8 Oct 2024 tech
related
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar 2025 tech
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]www.jjj.de/fxt/fxtbook.pdf
85 sats \ 0 comments \ @hn 7 Mar 2025 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
Atari Means Business with the Mega STwww.goto10retro.com/p/atari-means-business-with-the-mega
57 sats \ 0 comments \ @hn 1 Jun 2025 tech
ThreadPlotter – toolkit for punch needle embroidery with X-Y plotters (2020)github.com/LiciaHe/threadPlotter
21 sats \ 0 comments \ @hn 16 Aug 2024 tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan 2025 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
2D Rigid Body Collision Resolutionwww.sassnow.ski/rigid-body-collisions/1
32 sats \ 0 comments \ @hn 24 May 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
Expanding Racks [video]www.youtube.com/watch?v=iWknov3Xpts
10 sats \ 1 comment \ @hn 12 Jun 2025 tech
Fonts for Complex Datawww.typography.com/blog/fonts-for-complex-data
21 sats \ 0 comments \ @hn 13 Apr 2024 tech
Diátaxis – A systematic approach to technical documentation authoringdiataxis.fr/
17 sats \ 0 comments \ @hn 5 Dec 2024 tech
Filedb: Disk-based key-value store inspired by Bitcaskgithub.com/rajivharlalka/filedb
10 sats \ 0 comments \ @hn 14 Jun 2025 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 2025 tech
Proof of Archimgproxy.snort.social/w2HYUuAsp2UwrNAchGKzVEOXXTqFZ7nQkqhr_Sdphq0//aHR0cHM6Ly92b2lkLmNhdC9kL1ZmZnpYd3lSOXNFWnk5Z01UWFV5OEgud2VicA
48 sats \ 0 comments \ @shanomag 23 Apr 2024 Photography
Proof of Interior
10 sats \ 0 comments \ @shanomag 8 Nov 2024 art
Proof of Citadel
147 sats \ 6 comments \ @shanomag 23 Sep 2024 Photography
Proof of Design
30 sats \ 1 comment \ @shanomag 18 Nov 2024 Design
White Paper: Topological Transmutation of the Kontsevich Proofbeyondturbulence.blogspot.com/2025/12/white-paper-topological-transmutation.html?m=1
100 sats \ 1 comment \ @beyond_turbulence 12 Dec 2025 DIY
🎥 Ep 69. One Million Bitcoin Supply Cap w/ Knut Svanholmwww.youtube.com/watch?v=E9HqymDnwTY&ab_channel=WakeUp
30 sats \ 2 comments \ @verbiricha 9 May 2022 bitcoin