Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

When slowing down pays off: Physicists reveal surprising insights from taxi drivers
phys.orgยท3h
๐Ÿ“Range Queries
Flag this post
Valuable News โ€“ 2025/11/03
vermaden.wordpress.comยท12h
๐Ÿ”ŒOperating system internals
Flag this post
Ten-Year Moziversary
chuttenblog.wordpress.comยท1h
๐Ÿ”„Language Evolution
Flag this post
Tutorials in Optomechanics
wp.optics.arizona.eduยท17hยท
Discuss: Hacker News
๐Ÿ”ฌProjection Optics
Flag this post
Reinventing Assertions
beust.comยท3dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.comยท5hยท
Discuss: Hacker News
๐ŸคDistributed Consensus
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท3dยท
๐Ÿ”’Type Safety
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.devยท20hยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Flag this post
From Classical Models to AI: Forecasting Humidity for Energy and Water Efficiency in Data Centers
towardsdatascience.comยท1d
๐Ÿ“ˆTime Series
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.comยท2dยท
๐Ÿ–ฅ๏ธGame Emulation
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.orgยท6dยท
Discuss: Hacker News
๐ŸงฎConstraint SMT
Flag this post
Multi-Representation Attention Framework for Underwater Bioacoustic Denoising and Recognition
arxiv.orgยท18h
๐Ÿ‘‚Psychoacoustic Coding
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.orgยท5d
โšกEffectful Programming
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
dev.toยท1dยท
Discuss: DEV
๐ŸงชBinary Fuzzing
Flag this post
Turning 500 Lines of If-Else Into a Config Switch: Strategy Pattern in Go
dev.toยท3dยท
Discuss: DEV
โš”๏ธLean Tactics
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Flag this post
FOCUS: Efficient Keyframe Selection for Long Video Understanding
arxiv.orgยท18h
๐Ÿ“ŠLearned Metrics
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.comยท11hยท
โš”๏ธLean Tactics
Flag this post