I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
🧮Programming Language Theory
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
Multivariate Commitments and Signatures with Efficient Protocols
eprint.iacr.org·3d
🤝Protocol Design
Flag this post
Composing the Idea: Why "Next Word Prediction" Misses the Point
🧮Programming Language Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·6d
🧭SMT Solvers
Flag this post
Day 26: Python Book Sorter, Sort a Library by Page Count with Lambda Keys
🧮Programming Language Theory
Flag this post
Learning When to Quit in Sales Conversations
arxiv.org·2d
⚖Algorithmic Game Theory
Flag this post
Formal Verification’s Value Grows
semiengineering.com·1d
🧩Theorem Proving
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Variational Geometric Information Bottleneck: Learning the Shape of Understanding
arxiv.org·1d
📊Information Theory
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·1d
🔗Parser Combinators
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
🧩Theorem Proving
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Loading...Loading more...