Probabilistic Linear Logic Programming with an application to Bayesian Networks computations
arxiv.org·1d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·20h
Focus on ‘Don’ts’ to build systems that know when to say ‘No’
thenewstack.io·16h
Gödel’s Theorems (and logicisms) revisited
logicmatters.net·2d
Explainer: Tree-sitter vs. LSP
lambdaland.org·1d
Making a Language
thunderseethe.dev·9h
Codeless: From idea to software
anildash.com·8h
Loading...Loading more...