Sorting Prompts - LLMs are not wrong you just caught them mid thought
kau.sh·1d
⚡Proof Automation
LLMs and reinforcement learning
sicpers.info·1d
⚔️Lean Tactics
Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
Clarity
robinsloan.com·2d
🧠Intelligence Compression
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·2h·
Discuss: r/golang
💧Liquidhaskell
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·9h·
Discuss: Hacker News
🎯Proof Tactics
No Bullshit Guide to Statistics prerelease
minireference.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
AI as both authors and reviewers of research papers
openreview.net·1d·
Discuss: Hacker News
🔲Cellular Automata
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·6d·
Discuss: DEV
⚡SMT Integration
Real-time Anomaly Detection in Financial Transactions via Hybrid Reinforcement Learning and Graph Neural Networks
dev.to·2h·
Discuss: DEV
🔍Vector Forensics
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·5h·
Discuss: DEV
📊Quantization
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·2d
⚛️Quantum Algorithms
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to·13h·
Discuss: DEV
🔍Vector Forensics
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Think Natively: Unlocking Multilingual Reasoning with Consistency-Enhanced Reinforcement Learning
arxiv.org·2d
🧮SMT Solvers
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
Can Speech LLMs Think while Listening?
arxiv.org·1d
🎙️Whisper
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·4d
✓Automated Theorem Proving
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·1d
🌈Spectral Methods
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·1d·
Discuss: DEV
💾Storage Replication