SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

homelab snowball 3 years later
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.org·2d·
🎞️Tape Combinatorics
Flag this post
Cursor 2.0 shifts to in-house AI with Composer model and parallel agents
the-decoder.com·1d
🎙️Whisper
Flag this post
How the most feared algorithm in algebra is simple
news.ycombinator.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Flag this post
Dependency Management in Database Design
dolthub.com·3d
🔗Topological Sorting
Flag this post
Tencent/WeKnora
github.com·22h
🤖Archive Automation
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
🧬Functional Programming
Flag this post
What Is an AI PaaS? A Guide to the Future of AI Development
thenewstack.io·1d
🏠Homelab Orchestration
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·3d·
Discuss: Hacker News
🧮Constraint SMT
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·20h
💻Local LLMs
Flag this post
Zero Reinforcement Learning Towards General Domains
arxiv.org·1d
Automated Theorem Proving
Flag this post
Show HN: Build and deploy AI agents from your own data in under 60 seconds
botthebuilder.net·2d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
AI Brain Freeze? Pruning the Path to Lightning-Fast Decisions by Arvind Sundararajan
dev.to·17h·
Discuss: DEV
🔲Cellular Automata
Flag this post
A fast spectral overlapping domain decomposition method with discretization-independent conditioning bounds
arxiv.org·20h
📐Linear Algebra
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·4h
⚙️TLA+
Flag this post
Think Outside the Policy: In-Context Steered Policy Optimization
arxiv.org·20h
🎯Performance Proofs
Flag this post
Wireless Sensor Networks as Parallel and Distributed Hardware Platform for Artificial Neural Networks
arxiv.org·20h
📊Quantization
Flag this post