Issue 506
haskellweekly.news·11h
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
arxiv.org·15h
Quantizing LLMs Step-by-Step: Converting FP16 Models to GGUF
machinelearningmastery.com·9h
PEP 822 – Dedented Multiline String (d-string)
peps.python.org·3d
Digital Preservation Framework Updates, October – December 2025
fixity-check.blogs.archives.gov·1d
Defining dataset aliases is good, but take care
colinpaice.blog·1d
Analysis using Gephi with DShield Sensor Data, (Wed, Jan 7th)
isc.sans.edu·20h
ecard: vCard Library for Emacs
newartisans.com·3d
Loading...Loading more...