Idris, Agda, Proof Assistants, Type-Level Programming
ArcGIS Enterprise vs. QGIS
beuke.org·2d
Figured I'd make a twitter thread with a bunch of the brews I tried (and ultimately dismissed) for the PT. Some of them had potential, so maybe someone else can...
threadreaderapp.com·20h
5 productivity Docker containers to avoid and their better alternatives
xda-developers.com·1d
LLVM Weekly - #417, December 27th 2021
llvmweekly.org·3d
LLVM Weekly - #349, September 7th 2020
llvmweekly.org·3d
LLVM Weekly - #215, February 12th 2018
llvmweekly.org·3d