ASP level generation examples from our PCG textbook
kmjn.org·2h
λLambda Formalization
Flag this post
When Models Manipulate Manifolds: The Geometry of a Counting Task
transformer-circuits.pub·21h·
Discuss: Hacker News
🌀Differential Geometry
Flag this post
Shields for Safe Reinforcement Learning
cacm.acm.org·1d
🛡️Error Boundaries
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·4m
🔬Lean
Flag this post
Automata Alchemists: Transmuting Reinforcement Learning into State Machines by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
🎯Automata theory
Flag this post
Public Signals in Network Congestion Games
arxiv.org·10h
📡Network Archaeology
Flag this post
Spatial DP: Finding the Largest Square
mmhaskell.com·2d
🧬Functional Programming
Flag this post
Metagenomi generates millions of novel enzymes cost-effectively using AWS Inferentia
aws.amazon.com·52m
🔄Sync Engine
Flag this post
A Random Distribution of Wealth
masswerk.at·1d·
Discuss: Hacker News
📼Tape Emulation
Flag this post
Can we find a good definition of AGI?
philipball86.substack.com·22h·
Discuss: Substack
🧠Intelligence Compression
Flag this post
On Biologically Plausible Learning in Continuous Time
arxiv.org·10h
🧠Machine Learning
Flag this post
The Game Theory of How Algorithms Can Drive Up Prices
quantamagazine.org·58m·
Discuss: Hacker News
🤐Secure Multiparty
Flag this post
I Built a SAT Solver Inspired by Quantum Field Theory and It Works
sethuiyer.github.io·2d·
Discuss: Hacker News
⚛️Information Physics
Flag this post
The Not-So Bitter Lesson
blog.mariusvach.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Predictability of Complex Systems
arxiv.org·1d
📡Information theory
Flag this post
Heterogeneous Adversarial Play in Interactive Environments
arxiv.org·10h
📊Learned Metrics
Flag this post
The Boundaries of Order
tbarake.substack.com·2d·
Discuss: Substack
📐Mathematical Art
Flag this post