It takes a Kraken to scan billions of source files
softwareheritage.org·2h
Toy Binary Decision Diagrams
philipzucker.com·2d
GaloisInc/parameterized-utils
github.com·14h
Language Support for Marginalia Search
marginalia.nu·2d
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·1d
Loading...Loading more...