Recommended 7 November
store.steampowered.comยท1d
๐งฎProgramming Language Theory
Flag this post
Last Chance to Enroll | Become an AI Engineer | Cohort 2
blog.bytebytego.comยท15h
๐Network Programming
Flag this post
ct.sh: the smallest CT/CD system
cceckman.comยท1d
๐ฆRust
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.devยท1d
๐คProtocol Design
Flag this post
Dynamic MCPs with Docker: Stop Hardcoding Your Agentsโ World
docker.comยท1d
๐Distributed Systems
Flag this post
Quantifying the reasoning abilities of LLMs on clinical cases
nature.comยท1d
๐ขMathematical Logic
Flag this post
Deep Koopman Economic Model Predictive Control of a Pasteurisation Unit
arxiv.orgยท1d
โAlgorithmic Game Theory
Flag this post
Okay so I forked someone's project and now it's completely different ๐
๐Open Source Software
Flag this post
Modeling Clinical Uncertainty in Radiology Reports: from Explicit Uncertainty Markers to Implicit Reasoning Pathways
arxiv.orgยท1d
๐ฒProbabilistic Programming
Flag this post
Moonshot's Kimi K2 Thinking emerges as leading open source AI, outperforming GPT-5, Claude Sonnet 4.5 on key benchmarks
venturebeat.comยท1d
๐งญSMT Solvers
Flag this post
From Legacy To Learning Intelligence: Knowing When To Replace Your LMS
elearningindustry.comยท1d
๐Complexity Theory
Flag this post
Stop Coding and Start Planning
every.toยท1d
๐Network Programming
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
๐Parser Combinators
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.comยท3d
๐ฒProbabilistic Programming
Flag this post
Loading...Loading more...