Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda
Preserving legacy code with Software Heritage: A tutorial
softwareheritage.org·1d
I think the Pomera DM250 is the distraction-free e-writer that could unseat the Freewrite Traveler for business writing
techradar.com·2h
A Neurosymbolic Framework for Interpretable Cognitive Attack Detection in Augmented Reality
arxiv.org·16h
Loading...Loading more...