Toward Environmentally Equitable AI
cacm.acm.org·2h
🔲Cellular Automata
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Ask a techspert: What is inference?
blog.google·2d
🔍Type Inference
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·2d
📏Linear Logic
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·2h
💻Local LLMs
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.org·1d
🧮SMT Solvers
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·17h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
arxiv.org·1d
⚖️Constraint Logic
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·14h
🧠Intelligence Compression
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·10h·
Discuss: DEV
📐Error Bounds
Machine Learning Fundamentals: active learning project
dev.to·2h·
Discuss: DEV
🧠Machine Learning
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
Visual hallucination detection in large vision-language models via evidential conflict
arxiv.org·14h
📊Learned Metrics