The Programming of a Chess Engine ♟️
amanchhetry.bearblog.dev·3d
🧩Theorem Proving
AI detects defects in smart factory manufacturing processes even when conditions change
techxplore.com·2h
🎲Probabilistic Programming
Boggle Roundup: My Fifteen Minutes of Fame
danvk.org·1d
🔗Parser Combinators
Q3 2025 Funding Announcement
clojuriststogether.org·3d
🔧Compiler Design
Plato’s Cave and the Shadows of Data
towardsdatascience.com·2h
🧮Programming Language Theory
Deep Think with Confidence
arxiviq.substack.com·2d·
Discuss: Substack
🧭SMT Solvers
Coding Is Deciding
benmccormick.org·3d·
Discuss: Hacker News
🔌Network Programming
Rediscovering joy in learning: Jason Lengstorf on the state of development
github.blog·2h
🎲Probabilistic Programming
Experimental confirmation of secondary flows within granular media
nature.com·8h
🧫Cellular Automata
A calmer, karma, CARMA algorithmic chameleon to improve noisy or incomplete data
techxplore.com·1d
🎲Probabilistic Programming
What Makes a Good Website? Lessons From the Edge
dev.to·2h·
Discuss: DEV
⚖Algorithmic Game Theory
Probabilistic Classification of Near-Surface Shallow-Water Sediments using A Portable Free-Fall Penetrometer
arxiv.org·14h
🎲Probabilistic Programming
A chromosome-level genome assembly of <i>Wurfbainia villosa</i> (Zingiberaceae)
nature.com·6h
🔄Category Theory
E-BayesSAM: Efficient Bayesian Adaptation of SAM with Self-Optimizing KAN-Based Interpretation for Uncertainty-Aware Ultrasonic Segmentation
arxiv.org·14h
🎲Probabilistic Programming
Invisible Filters: Cultural Bias in Hiring Evaluations Using Large Language Models
arxiv.org·14h
🎲Probabilistic Programming
PGF-Net: A Progressive Gated-Fusion Framework for Efficient Multimodal Sentiment Analysis
arxiv.org·1d
🔗Parser Combinators
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·1h
🔧Compiler Design
KG-o1: Enhancing Multi-hop Question Answering in Large Language Models via Knowledge Graph Integration
arxiv.org·1d
🧩Theorem Proving
TAI #167: US and China’s Open-Weight Divergence; Do You Really Need Open-Weight LLMs?
pub.towardsai.net·3h
🔗Parser Combinators
Proximal Supervised Fine-Tuning
arxiv.org·14h
🎲Probabilistic Programming