Idris, Agda, Proof Assistants, Type-Level Programming
Using GraphViz for CLAUDE.md
blog.fsck.comยท3d
Desbordante/desbordante-core v2.4.0
github.comยท1d
Robust Preference Optimization: Aligning Language Models with Noisy Preference Feedback
arxiv.orgยท2d
๐ง Heโs Building the Plumbing For AI to Use the Internet
kill-the-newsletter.comยท15h
LLVM Weekly - #351, September 21st 2020
llvmweekly.orgยท4h
LLVM Weekly - #413, November 29th 2021
llvmweekly.orgยท4h
LLVM Weekly - #362, December 7th 2020
llvmweekly.orgยท4h
Loading...Loading more...