Egypt: Bonyan completes final legal certification of Walk of Cairo
zawya.com·13h
🤝Protocol Design
Help! My Brother-in-Law Just Did Something Wildly Dangerous Because It’s “His Christian Duty.” I Want My Sister and Nephew Out of There.
slate.com·13h
⚙Functional Programming
Fedora Docs – current state and conclusions from our experiences
communityblog.fedoraproject.org·13h
👐Open Source Software
original ↗
manton.org·23h
🧩Theorem Proving
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·4d·
Discuss: Hacker News, r/programming
🔐Cryptography
Legal AI Startup Eudia Launches Law Firm In Arizona - Law360
news.google.com·3h
🔗Parser Combinators
Exploring the interplay between Planetary Boundaries and Sustainable Development Goals using Large Language Models
arxiv.org·19h
🎯Constraint Programming
What Is Complexity in Chess?
lichess.org·3d·
Discuss: Hacker News
📈Complexity Theory
Fast approximation algorithms for the 1-median problem on real-world large graphs
arxiv.org·19h
🕸️Graph Theory
Heatmap Guided Query Transformers for Robust Astrocyte Detection across Immunostains and Resolutions
arxiv.org·19h
🧭SMT Solvers
AI FOMO, Shadow AI, and Other Business Problems
towardsdatascience.com·23h
🔗Parser Combinators
Off-Policy Learning in Large Action Spaces: Optimization Matters More Than Estimation
arxiv.org·19h
⚖Algorithmic Game Theory
KRAIL: A knowledge-driven framework for human reliability analysis integrating IDHEAS-DATA and large language models
sciencedirect.com·4d
🎲Probabilistic Programming
Parallel-Constraint Model Predictive Control: Exploiting Parallel Computation for Improving Safety
arxiv.org·19h
🎯Constraint Programming
Empowering Lightweight MLLMs with Reasoning via Long CoT SFT
arxiv.org·19h
🔗Parser Combinators
The Behavioral Data You Need To Improve Your Users’ Search Journey via @sejournal, @SequinsNsearch
searchenginejournal.com·1d
🗄️Database Theory
What is Async programming
dev.to·5h·
Discuss: DEV
⚡Concurrency
I Tried 25+ No-Code App Builders — These Ones Build Incredibly Real Apps
dev.to·16h·
Discuss: DEV
🔌Network Programming
Do small language models generate realistic variable-quality fake news headlines?
arxiv.org·1d
🔗Parser Combinators
I made a CLI to stop manually copy-pasting code into LLMs
github.com·2d·
Discuss: Hacker News
🔧Compiler Design