Viruses of the Mind
๐ฒCellular Automata
Flag this post
D.J. Bernstein: The Good News Archive
๐ปCS
Flag this post
Writing a DOS Clone in 2019
๐งDarwin Internals
Flag this post
A Hybrid Deep Learning and Forensic Approach for Robust Deepfake Detection
arxiv.orgยท9h
๐งฎSMT Solvers
Flag this post
Automated Verification of Terrestrial Ecosystem Resilience via Hyperdimensional Network Analysis
๐ง Automated Reasoning
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.orgยท3d
๐งฎSMT Solvers
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.comยท1d
โฑ๏ธComputational Complexity
Flag this post
Publishing academic papers on transformative AI is a nightmare
lesswrong.comยท1h
๐ฉนSelf-Healing Systems
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
๐OCaml Multicore
Flag this post
Lack of Social Grace is a Lack of Skill
lesswrong.comยท9h
โคOrder Theory
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.orgยท9h
๐ฎVerification Games
Flag this post
Learning Sparse Approximate Inverse Preconditioners for Conjugate Gradient Solvers on GPUs
arxiv.orgยท9h
๐Linear Algebra
Flag this post
Loading...Loading more...