Many hard LeetCode problems are easy constraint problems
dev.to·1d·
Discuss: DEV
🧮Constraint Solvers
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·4h·
Discuss: Hacker News
🧮Kolmogorov Complexity
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·5d
👑Coq Tactics
A Kevin week
blog.mitrichev.ch·6h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·5h·
Discuss: r/programming, r/rust
🧮Z3 Solver
Christopher Allen: Moonbit developers are lying to you
bitemyapp.com·1d
🦀Rust Borrowing
Planarizing matchings
11011110.github.io·8h
🎨Graph Coloring
Klartag improves the sphere-packing constant
quomodocumque.wordpress.com·9h
⚽Sphere Packing
[D] Math foundations to understand Convergence proofs?
reddit.com·3d·
Discuss: r/MachineLearning
🔬Lean
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·2d
💎Information Crystallography
The future of microoptimization
goldenstack.net·1d·
Discuss: Hacker News
🧮Compute Optimization
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·2d·
Discuss: Substack
🧮SMT Solvers
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
💧Liquid Types
Defeating Nondeterminism in LLM Inference
simonwillison.net·3d
🤖Lisp Machines
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·1d·
Discuss: Hacker News
🔐Quantum Cryptography
LLM Rerankers for RAG: A Practical Guide
fin.ai·5h·
Discuss: Hacker News
🔍Information Retrieval
Many hard LeetCode problems are easy constraint problems
dev.to·2d·
Discuss: DEV
🧮Constraint Solvers
Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🔲Cellular Automata
Day 7 of My Quantum Computing Journey: Completing Week 1 & First Steps into Quantum Programming
dev.to·15h·
Discuss: DEV
🔐Quantum Cryptography
The Rise of Semantic Entity Resolution
towardsdatascience.com·11h
📄Semantic Chunking