January 2023 Archive
1531.
1532.
Lean – Theorem Prover (leanprover.github.io)
1533.
1534.
1535.
1536.
1537.
1538.
1539.
1540.
1541.
Inside the 1040ST (goto10retro.com)
1542.
1543.
Jump Servers (hoop.dev)
1544.
1545.
1546.
1547.
30 years of Brainfuck (deusinmachina.substack.com)
1548.
DIY Spacecraft Models (science.nasa.gov)
1549.
1550.
1551.
1552.
1553.
1554.
1555.
1556.
x86 is Turing-complete with no registers (2014) (mainisusuallyafunction.blogspot.com)
1557.
1558.
1559.
1560.