Fewer versus Less
en.wikipedia.orgยท18hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Theory
Hello World Devlog 2 - Millie Monster's Makeup Counter Postmortem
ellimity.itch.ioยท1h
๐Ÿ’ฌInteractive REPLs
Day 3:Data Types in Python
dev.toยท2hยท
Discuss: DEV
๐Ÿ”ฎType Inference Visualization
Show HN: da Vinci Codex-open physics sims of Leonardo's machines (w UQ and FMEA)
github.comยท1hยท
Discuss: Hacker News
๐ŸŒPortable Assembly
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
๐ŸงฎTheorem Provers
InPhyRe Discovers: Large Multimodal Models Struggle in Inductive Physical Reasoning
arxiv.orgยท10h
๐ŸŒฑMinimal ML
Iโ€™m 13, should I learn C++ or C#?
reddit.comยท1dยท
๐Ÿ“šStack Languages
Rust-style safety model for C++ 'rejected' as profiles take priority
theregister.comยท1dยท
Discuss: Hacker News
๐ŸŒˆGradual Languages
How we integrate best practices in Java
dev.toยท4hยท
Discuss: DEV
๐Ÿ”งAPI Design
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.orgยท10h
๐Ÿ“‹S-Expression
CTD after switching Vortex profiles
pastebin.comยท16hยท
Discuss: r/skyrimmods
๐Ÿ”Ownership Types
V-Math: An Agentic Approach to the Vietnamese National High School Graduation Mathematics Exams
arxiv.orgยท10h
๐ŸŽ“Educational Databases
Algorithmic Intuition
reddit.comยท2hยท
Discuss: r/compsci
๐ŸšถTree-walking
The Early Access Program for Rider 2025.3 Is Now Open!
blog.jetbrains.comยท5h
๐Ÿ”„Bootstrapping
From Zero to Rustacean: Iโ€™m About to Ruin My Life (in a Good Way) ๐Ÿ˜…
reddit.comยท3dยท
Discuss: r/rust
โš™๏ธTOML Parsers
City Simulation with LLMs โ€” Predicting Traffic & Generating Natural-Language Reports
dev.toยท5hยท
Discuss: DEV
๐Ÿš€PyPy JIT
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
lesswrong.comยท22h
๐ŸŽฒParser Fuzzing
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.orgยท2d
๐ŸŽฎLanguage Ergonomics