Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
๐Complexity Theory
Flag this post
How I Use Claude and NotebookLM to Accelerate My Learning and Technical Writing Process
๐Text Editors
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
๐Cryptography
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.comยท5h
๐Distributed Systems
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
๐Static Analysis
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.comยท14h
๐Parser Combinators
Flag this post
Computation as a Game
arxiv.orgยท1d
โAlgorithmic Game Theory
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.orgยท7h
๐งญSMT Solvers
Flag this post
Code Smell 313 - Workslop Code
๐งซCellular Automata
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.orgยท1d
๐ฒProbabilistic Programming
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.orgยท7h
๐ฏConstraint Programming
Flag this post
Day 2 of building Secrin
๐๏ธSoftware Architecture
Flag this post
Radar Trends to Watch: November 2025
oreilly.comยท1d
๐ฒProbabilistic Programming
Flag this post
Schaltwerk โ The IDE Without Editor
๐ฆRust
Flag this post
AI and the Loss of the Flow
๐Static Analysis
Flag this post
From user to implementer: My journey understanding coding agents
๐Open Source Software
Flag this post
Loading...Loading more...