Feeds to Scour
SubscribedAll
Theory and AI Alignment
scottaaronson.blog·1d
🔲Cellular Automata
Preview
Report Post
Compiler having difficulty inferring closure type (possible compiler bug?)
reddit.com·1d·
Discuss: r/rust
🔒Type Safety
Preview
Report Post
KJS: A Complete Formal Semantics of JavaScript
github.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
Preview
Report Post
PSA: a category satisfying all but the smallness condition from Giraud’s theorem…
thehighergeometer.wordpress.com·3d
🧮Algebraic Archives
Preview
Report Post
Adding Unpack Syntax to RCL
ruudvanasseldonk.com·1h·
Discuss: Hacker News
📝Concrete Syntax
Preview
Report Post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·3d
🌐NetworkProtocols
Preview
Report Post
Münchhausen Trilemma
en.wikipedia.org·3d·
Discuss: Hacker News
⚔️Lean Theorem
Preview
Report Post
Universality of asymptotic graph homomorphism
arxiv.org·4h
🔗Graph Isomorphism
Preview
Report Post
What is a Pedersen commitment?
johndcook.com·1d
🔐Quantum Security
Preview
Report Post
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.com·13h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Resolving Zadehs Paradox Axiomatic Possibility Theory as a Foundation for Reliable Artificial Intelligence
arxiv.org·4h
🧠Computational Logic
Preview
Report Post
A series of tricks and techniques I learned doing tiny GLSL demos
blog.pkh.me·16h
📟Terminal Physics
Preview
Report Post
Multiplying our way out of division
xania.org·22h
📐Interval Arithmetic
Preview
Report Post
Interaction Tensor Shap
arxiv.org·4h
🕸️Tensor Networks
Preview
Report Post
Lazier Binary Decision Diagrams for set-theoretic types
elixir-lang.org·5d·
Discuss: Lobsters, Hacker News
🔗Combinatory Logic
Preview
Report Post
ODF 1.4
docs.oasis-open.org·20h·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
Language Models Don't Accurately Describe How They Would Answer If Questions Were Posed in a Different Order (Favorite Animal Edition)
schwitzsplinters.blogspot.com·2d·
Discuss: www.blogger.com
🔲Cellular Automata
Preview
Report Post
LYNX: Learning Dynamic Exits for Confidence-Controlled Reasoning
arxiv.org·4h
🔲Cellular Automata
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·1d
🔗Concatenative Programming
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·1d
📐Interval Arithmetic
Preview
Report Post