pull down to refresh

The Future of TLA+ [pdf]lamport.azurewebsites.net/tla/future.pdf
31 sats \ 0 comments \ @hn 28 Aug 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
Ghosts in the ROM (2012)www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
32 sats \ 0 comments \ @hn 26 Jun 2024 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
Honey, I shrunk {fmt}: bringing binary size to 14k and ditching the C++ runtimevitaut.net/posts/2024/binary-size/
21 sats \ 0 comments \ @hn 1 Sep 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
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar 2025 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
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan 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
Oliver Heaviside and the theory of transmission lines (2021)www.pa3fwm.nl/technotes/tn28-heaviside-transmission-lines.html
270 sats \ 2 comments \ @hn 27 Jan 2025 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
Palette lighting tricks on the Nintendo 6430fps.net/pages/palette-lighting-tricks-n64/
10 sats \ 0 comments \ @hn 17 May 2025 tech
Compressing Icelandic name declension patterns into a 3.27 kB triealexharri.com/blog/icelandic-name-declension-trie
36 sats \ 0 comments \ @hn 2 Aug 2025 tech
Diátaxis – A systematic approach to technical documentation authoringdiataxis.fr/
17 sats \ 0 comments \ @hn 5 Dec 2024 tech
Monitor your security cameras with locally processed AIfrigate.video/
120 sats \ 0 comments \ @hn 5 Aug 2025 tech
2D Rigid Body Collision Resolutionwww.sassnow.ski/rigid-body-collisions/1
32 sats \ 0 comments \ @hn 24 May 2024 tech
Drug Development Failure: how GLP-1 development was abandoned in 1990muse.jhu.edu/pub/1/article/936036/pdf
31 sats \ 0 comments \ @hn 30 Aug 2024 tech
Bill Gates ‘Self-Amplifying mRNA’ COVID Shot Approved With Zero Safety Datathepeoplesvoice.tv/bill-gates-self-amplifying-mrna-covid-shot-approved-for-public-use-with-zero-safety-data/
20 sats \ 1 comment \ @M_affirmed 4 Dec 2023 meta
The Ord - A metaprotocol proposaltheord.oshi.fi/
100 sats \ 2 comments \ @03bcf32596 25 May 2023 bitcoin