Try These Logic Puzzles from the International Logic Olympiad
scientificamerican.com·1d
📚Proof Pedagogy
From Minecraft to Markets: Java Hiding in Plain Sight
freebsdfoundation.org·11h
🎮Switch Archaeology
Common Expression Language – Fast, safe expression language
cel.dev·23h·
Discuss: Hacker News
✅Format Verification
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·3d·
Discuss: Hacker News
🦀Rust Borrowing
What Does isinstance() Do in Python?
realpython.com·1d
🔤Type Theory
Vibe coding a Game Boy emulator
sanjeetnd.com·15h·
Discuss: Hacker News
🎯Emulator Accuracy
Using Claude Code and Serena to Debug Serena Itself
davidlambauer.de·1d·
Discuss: Hacker News
👑Isabelle
Rust Clippy performance status update
blog.goose.love·2d·
Discuss: Hacker News
🦀Rust Macros
The Reason Your AI Code Becomes Unmaintainable (and How to Fix It)
blog.daviddodda.com·6h·
Discuss: Hacker News
🔄Language Evolution
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.org·2d
🧮Constraint Solvers
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·1d
💻Programming languages
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.edu·1d·
Discuss: Hacker News
💻Programming languages
[M-WM] Update on MaxWM
reddit.com·2h·
Discuss: r/linux
🔩Systems Programming
AtrousMamaba: An Atrous-Window Scanning Visual State Space Model for Remote Sensing Change Detection
arxiv.org·2h
📐Projective Geometry
Novel Multi-Agent Action Masked Deep Reinforcement Learning for General Industrial Assembly Lines Balancing Problems
arxiv.org·2h
🔲Cellular Automata
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
arxiv.org·1d
✅Archive Fixity
Kotlin only treats the symptoms of null pointers, while Rust cures the disease. That’s one of the main reasons I prefer Rust.
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Recommendations for case for short depth NAS?
reddit.com·12h·
Discuss: r/homelab
🧲RISC-V Preservation
How to Optimize Python ORM Performance: 7 Proven Techniques for Faster Database Operations
dev.to·8h·
Discuss: DEV
🧬PostgreSQL Forensics
Building RideLink with Bolt.new: From Frustration to Functional App in One Month
dev.to·9h·
Discuss: DEV
🌀Brotli Internals