January 2023 Archive
1532.
Lean – Theorem Prover
(leanprover.github.io)
1533.
Porth, It's Like Forth but in Python
(gitlab.com)
1534.
High level mods/patches for console video games
(krystalgamer.github.io)
1535.
CamelCase vs. underscores revisited (2013)
(whatheco.de)
1536.
Programming interviews turn normal people into a-holes
(new.pythonforengineers.com)
1537.
1538.
Tim Cook to take 50% pay hit after shareholder feedback
(theguardian.com)
1539.
X servers no longer allow byte-swapped clients
(who-t.blogspot.com)
1540.
1541.
Inside the 1040ST
(goto10retro.com)
1542.
1543.
Jump Servers
(hoop.dev)
1544.
The terminal escape sequences ocean is deep and dark
(ethanheilman.com)
1545.
The free money machine that went into reverse: Grayscale Bitcoin Trust
(newsletter.mollywhite.net)
1546.
1547.
30 years of Brainfuck
(deusinmachina.substack.com)
1548.
DIY Spacecraft Models
(science.nasa.gov)
1549.
Reducing Go execution tracer overhead with frame pointer unwinding
(blog.felixge.de)
1550.
Dirty USB-C Tricks: One Port for the Price of Two
(hackaday.com)
1551.
Apple headset leak reveals new details and confirms earlier rumors
(mixed-news.com)
1553.
Classifying Python virtual environment workflows
(snarky.ca)
1554.
Analog computing may be coming back
(bellmar.medium.com)
1555.
Wikipedia's new skin is a sad opportunity to reminisce what we could've had
(blog.legoktm.com)
1556.
x86 is Turing-complete with no registers (2014)
(mainisusuallyafunction.blogspot.com)
1557.
Walker’s Manly Exercises
(blogs.bl.uk)
1558.
KeenType: Pure Java typesetting system
(github.com)
1559.
1560.
GPU Caching Compared Among AMD, Intel UHD, Apple M1
(chipsandcheese.com)