Programming Language Foundations in Agda
(plfa.github.io)
January 2021 Archive
1681.
1682.
Linux and Powershell
(matteoguadrini.github.io)
1683.
Who Invented the Alphabet?
(smithsonianmag.com)
1684.
1685.
Politician's Syllogism
(en.wikipedia.org)
1687.
AR15.com Booted from GoDaddy
(thedomains.com)
1688.
Cscope: A developer's tool for browsing source code
(cscope.sourceforge.net)
1690.
Done, and Gets Things Smart (2008)
(steve-yegge.blogspot.com)
1691.
Show HN: WickedBlocks – Tailwind Blocks ready to copy-paste
(blocks.wickedtemplates.com)
1692.
Why don’t PCs use error correcting RAM? “Because Intel,” says Linus
(arstechnica.com)
1693.
React Component for 3D Maps
(github.com)
1694.
Nepalese team makes first successful winter ascent of K2
(theguardian.com)
1695.
1696.
1697.
1698.
Top Paying Companies by SWE Level
(drive.google.com)
1699.
I ran a crawler to collect posts and comments on Parler
(anonymousdata.medium.com)
1700.
Apple First Quarter Results
(apple.com)
1701.
How to convert existing web extensions for Safari
(developer.apple.com)
1702.
No More KYC with ShapeShift
(erikvoorhees.medium.com)
1703.
Cooking for Founders
(tylertringas.com)
1704.
1705.
The Supply Chain for Lithium (2020)
(clearpath.org)
1706.
Node.js race conditions
(nodejsdesignpatterns.com)
1707.
The largest dam-removal in US history
(bbc.com)
1708.
TV Tuner History
(maximus-randd.com)
1709.
The Art of Whaling: Illustrations from the Logbooks of Nantucket Whaleships
(publicdomainreview.org)
1710.
Writing an iRacing SDK Implementation in F#
(markjames.dev)