@anon
sign up
@anon
sign up
pull down to refresh
Using the Internet without IPv4 connectivity
jamesmcm.github.io/blog/no-ipv4/
11 sats
\
0 comments
\
@hn
30 Jun
tech
related
Peano arithmetic is enough, because Peano arithmetic encodes computation
math.stackexchange.com/a/5075056/6708
10 sats
\
0 comments
\
@hn
14 Jun
tech
The Art of Lisp and Writing
www.dreamsongs.com/ArtOfLisp.html
10 sats
\
0 comments
\
@hn
15 Jun
tech
Preserving a floppy disk with a logic analyzer and a serial cable
www.chzsoft.de/site/hardware/preserving-a-floppy-disk-with-a-logic-analyzer/
42 sats
\
0 comments
\
@hn
6 Jul 2024
tech
Computing with Time: Microarchitectural Weird Machines
cacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats
\
0 comments
\
@hn
25 Nov 2024
tech
The TikTok Case Will Be Determined by What's Behind the Government's Black Lines
www.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
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCP
www.openmptcprouter.com/
11 sats
\
0 comments
\
@hn
23 Nov 2024
tech
Diátaxis – A systematic approach to technical documentation authoring
diataxis.fr/
17 sats
\
0 comments
\
@hn
5 Dec 2024
tech
Palette lighting tricks on the Nintendo 64
30fps.net/pages/palette-lighting-tricks-n64/
10 sats
\
0 comments
\
@hn
17 May
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
Measuring Acceleration Structures
zeux.io/2025/03/31/measuring-acceleration-structures/
10 sats
\
0 comments
\
@hn
2 Apr
tech
Using Claude Code SDK to reduce E2E test time
jampauchoa.substack.com/p/best-of-both-worlds-using-claude
100 sats
\
0 comments
\
@hn
6 Sep
tech
Why I Chose Common Lisp
blog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats
\
0 comments
\
@hn
12 Jan
tech
Phase behavior of Cacio and Pepe sauce
arxiv.org/abs/2501.00536
42 sats
\
0 comments
\
@hn
4 Jan
tech
The essays of Michel de Montaigne online
hyperessays.net/
79 sats
\
0 comments
\
@hn
22 Dec 2024
tech
Insects rely on sounds made by distressed vegetation to guide reproduction
www.nytimes.com/2024/12/06/science/moths-hearing-plant-sounds.html
185 sats
\
0 comments
\
@hn
8 Dec 2024
tech
Brew-Nix: a flake automatically packaging all homebrew casks
discourse.nixos.org/t/brew-nix-a-flake-automatically-packaging-all-homebrew-casks/44880
52 sats
\
0 comments
\
@hn
14 Jun 2024
tech
Lies we tell ourselves to keep using Golang
fasterthanli.me/articles/lies-we-tell-ourselves-to-keep-using-golang
257 sats
\
1 comment
\
@hn
26 Nov 2024
tech
Understanding Memory Management, Part 2: C++ and RAII
educatedguesswork.org/posts/memory-management-2/
10 sats
\
0 comments
\
@hn
9 Mar
tech
The Soul of an Old Machine: Revisiting the Timeless von Neumann Architecture
ankush.dev/p/neumann_architecture
84 sats
\
0 comments
\
@hn
12 Nov 2024
tech
AI tools are spotting errors in research papers: inside a growing movement
www.nature.com/articles/d41586-025-00648-5
31 sats
\
0 comments
\
@hn
8 Mar
tech
Is it possible or viable to use Bitcoin without internet?
21 sats
\
2 comments
\
@orto
20 May 2023
bitcoin
more