Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🧮Programming Language Theory
Flag this post
These are the only 3 Linux distros I recommend to newcomers
howtogeek.com·2h
🐧Linux
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
🔐Cryptography
Flag this post
Issue 496
haskellweekly.news·3d
⚙Functional Programming
Flag this post
build system tradeoffs
🦀Rust
Flag this post
Bayesian prediction of aerospace system mission reliability with hierarchical and multi-fidelity test data fusion
sciencedirect.com·41m
🎲Probabilistic Programming
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
🧩Theorem Proving
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
🦀Rust
Flag this post
Entropy in algorithm analysis
11011110.github.io·17h
📈Complexity Theory
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
🎲Probabilistic Programming
Flag this post
Scala vs F#
alexn.org·1d
⚙Functional Programming
Flag this post
Weak-To-Strong Generalization
lesswrong.com·12h
🎲Probabilistic Programming
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·2h
🧮Programming Language Theory
Flag this post
Loading...Loading more...