Lazy Backup (2006)
aaronsw.com·1h·
Discuss: Hacker News
📊Differential Backup
Flag this post
Naïve Shuffle Algorithm (2007)
blog.codinghorror.com·1d·
Discuss: Hacker News
🌊Streaming Algorithms
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·5h
📝Concrete Syntax
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
💻Programming languages
Flag this post
Code execution with MCP: Building more efficient agents
simonwillison.net·1h
Proof Automation
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·3h·
Discuss: Hacker News
🔬Lean
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·3h·
🧮Datalog
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·13h·
Discuss: DEV
🦀Rust Macros
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·20h
🌀Riemannian Computing
Flag this post
From product to system network challenges in system of systems lifecycle management
arxiv.org·1d
🦋Format Metamorphosis
Flag this post
VLM6D: VLM based 6Dof Pose Estimation based on RGB-D Images
arxiv.org·20h
📐Projective Geometry
Flag this post
Automated Variant Calling Refinement via Multi-Modal Neuro-Symbolic Integration (AMVR-MNSI)
dev.to·7h·
Discuss: DEV
🧬Copy Number Variants
Flag this post
EARS-UDE: Evaluating Auditory Response in Sensory Overload with Universal Differential Equations
arxiv.org·1d
🔲Cellular Automata
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Bounds
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·1d
🤝Consensus Algorithms
Flag this post
Automated Discovery of Conservation Laws via Hybrid Neural ODE-Transformers
arxiv.org·20h
🌀Differential Geometry
Flag this post
Quantum-Powered AI: Revolutionizing Collateral Management by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🔐Quantum Cryptography
Flag this post