A unified threshold-constrained optimization framework for consistent and interpretable cross-machine condition monitoring
sciencedirect.com·1d
🎲Probabilistic Programming
Flag this post
Fungus: The Befunge CPU(2015)
🏗Computer Architecture
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
🎲Probabilistic Programming
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1h
🧮Programming Language Theory
Flag this post
When Five Dumb AIs Beat One Smart AI: The Case for Multi-Agent Systems
🧩Theorem Proving
Flag this post
NYT Pips Hints, Walkthrough And Solutions For Monday, November 3
forbes.com·1d
🧭SMT Solvers
Flag this post
Viruses of the Mind
🔄Category Theory
Flag this post
Advances In Formal Verification Technology
semiengineering.com·3d
✅Formal Verification
Flag this post
George Boole, Boolean Logic and Computing
i-programmer.info·9h
🔢Mathematical Logic
Flag this post
Toward a Compressed Core of Human Knowledge: The High-Dimensional Vector Network for AI
📊Information Theory
Flag this post
Modelling beliefs about sets
🎲Probabilistic Programming
Flag this post
Easy-looking math problem splits people - are you among the geniuses to get the right answer in 30 seconds?
dailymail.co.uk·11h
🧩Theorem Proving
Flag this post
Warning, Tacit Assumptions May Derail PKM Conversations
zylstra.org·13h
🧩Theorem Proving
Flag this post
Loading...Loading more...