The Inverse Cube Force Law
golem.ph.utexas.edu·13h
🧫Cellular Automata
Flag this post
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
Composing the Idea: Why "Next Word Prediction" Misses the Point
🧮Programming Language Theory
Flag this post
Flat quasicrystalline tilings in terms of density wave approach
journals.aps.org·5h
🧫Cellular Automata
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·6d
🧭SMT Solvers
Flag this post
Graph Neural AI with Temporal Dynamics for Comprehensive Anomaly Detection in Microservices
arxiv.org·2h
🧭SMT Solvers
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·2d
🧮Programming Language Theory
Flag this post
Formal Verification’s Value Grows
semiengineering.com·22h
🧩Theorem Proving
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·2d
✅Formal Verification
Flag this post
MammoClean: Toward Reproducible and Bias-Aware AI in Mammography through Dataset Harmonization
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Association-sensory spatiotemporal hierarchy and functional gradient-regularised recurrent neural network with implications for schizophrenia
arxiv.org·2h
🔄Category Theory
Flag this post
Beyond Citations: Measuring Idea-level Knowledge Diffusion from Research to Journalism and Policy-making
arxiv.org·2h
📊Information Theory
Flag this post
Spring AI RAG, Demystified: From Toy Demos to Production-Grade Retrieval
🔗Parser Combinators
Flag this post
A Modular, Data-Free Pipeline for Multi-Label Intention Recognition in Transportation Agentic AI Applications
arxiv.org·2h
🎲Probabilistic Programming
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Loading...Loading more...