Tactics versus strategies in the theory of games
infinitelymore.xyz·2d
📈Complexity Theory
Tuesday open line
arktimes.com·7h
🕸️Graph Theory
Software Needs an Independent Auditor
greptile.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Taming Go’s Garbage Collector with Memory Pools: A Practical Guide
dev.to·4h·
Discuss: DEV
🧠Memory Management
Searching eBay with AI and Automation using n8n
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
Key-Augmented Neural Triggers for Knowledge Sharing
arxiv.org·49m
🔗Parser Combinators
Solution Architect: Presales Basics
lukasniessen.com·2d·
Discuss: r/programming
🧩Theorem Proving
Stochastic robust optimization scheduling for integrated energy system cluster based on data-driven method
sciencedirect.com·2d
🌍Distributed Systems
COLLAGE: Adaptive Fusion-based Retrieval for Augmented Policy Learning
arxiv.org·1d
🎲Probabilistic Programming
Actionable Counterfactual Explanations Using Bayesian Networks and Path Planning with Applications to Environmental Quality Improvement
arxiv.org·1d
🎲Probabilistic Programming
🔥Qwen3 Coder vs. Kimi K2 vs. Claude Sonnet 4 Coding Comparison 🚀
dev.to·15h·
Discuss: DEV
🔧Compiler Design
Google's Kaggle to host AI chess tournament to evaluate leading AI models' reasoning skills - SiliconANGLE
news.google.com·1d
🧭SMT Solvers
IKOD: Mitigating Visual Attention Degradation in Large Vision-Language Models
arxiv.org·49m
🎲Probabilistic Programming
Kernel-Based Sparse Additive Nonlinear Model Structure Detection through a Linearization Approach
arxiv.org·1d
🎲Probabilistic Programming
FinKario: Event-Enhanced Automated Construction of Financial Knowledge Graph
arxiv.org·1d
🎲Probabilistic Programming
AlignGuard-LoRA: Alignment-Preserving Fine-Tuning via Fisher-Guided Decomposition and Riemannian-Geodesic Collision Regularization
arxiv.org·1d
🔗Parser Combinators
T-GRAG: A Dynamic GraphRAG Framework for Resolving Temporal Conflicts and Redundancy in Knowledge Retrieval
arxiv.org·1d
🎲Probabilistic Programming
Adverse Weather-Independent Framework Towards Autonomous Driving Perception through Temporal Correlation and Unfolded Regularization
arxiv.org·1d
🎲Probabilistic Programming
SpectralX: Parameter-efficient Domain Generalization for Spectral Remote Sensing Foundation Models
arxiv.org·1d
🎲Probabilistic Programming
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·49m
🎲Probabilistic Programming