Little Problems: A Cozy Detective Game Review
ladiesgamers.comยท4h
๐Ÿ”Static Analysis
Playtest Patch - September 13th, 2025
sageboatman.itch.ioยท4h
๐Ÿฆ€Rust
Kerckhoffs's principle
stacker.newsยท2d
๐Ÿ”Cryptography
News for August 2025
ptreview.sublinear.infoยท6d
๐Ÿ“ˆComplexity Theory
UAE Lab Releases Open-Source Model to Rival China's DeepSeek
slashdot.orgยท38m
๐Ÿ‘Open Source Software
Startup update 18: Pivoting out of engineering workstreams
moderndescartes.comยท2d
๐ŸงฉTheorem Proving
Why are the Saints trading for an injured wide receiver?
sportingnews.comยท2h
โš–Algorithmic Game Theory
[D] The best way to structure data for a predictive model of corporate delinquency
reddit.comยท2dยท
๐ŸŽฒProbabilistic Programming
When a For Loop Powers Your Stock Backtester - Devlog
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Lisp
Algorithmic Anomaly Detection in Social Movement Framing Strategies: A Quantified Resilience Analysis
dev.toยท3dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Unlocking Speed: Ditching Strict Symmetry in Neural Nets by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Cryptography
I spent 20 minutes arguing with Sonnet 4 about creating a single git branch. It had... other ideas.
reddit.comยท3dยท
Discuss: r/ClaudeAI
๐Ÿ”งCompiler Design
Ng-News 25/36: Q&A with Angular Team, Mutations in ngrx-toolkit
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust
Anomalies to Insights: CloudWatch & SageMaker for Smarter Observability
dev.toยท3dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Book Review: If Anyone Builds It, Everyone Dies
thezvi.substack.comยท1dยท
Discuss: Substack
๐Ÿ“ˆComplexity Theory
Minting a martyr is stupid bc it creates more homework for others in the containment of what ensues.
threadreaderapp.comยท17h
๐Ÿ”ขMathematical Logic
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
dev.toยท2dยท
Discuss: DEV
๐ŸงฉTheorem Proving
๐Ÿš€ The Life Cycle of a Java Program
dev.toยท2dยท
Discuss: DEV
๐Ÿง Memory Management
Algorithmic Optimization of Mycelium-Based Seafood Texture via Bio-Reactive Feedback Loops
dev.toยท3dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming