How come there’s no awesome movies / TV shows about programmers?
rottentomatoes.com·3h·
Discuss: r/programming
📝Lisp
How Low (or High) Can You Go?
thefiddler.substack.com·2d·
Discuss: Substack
📈Complexity Theory
PoseGeni – AI Pose Generator MVP
posegeni.com·7h·
Discuss: Hacker News
🧩Theorem Proving
Scientific Word 4.1-6.1 are now free
mackichan.com·7h·
Discuss: Hacker News
👐Open Source Software
The D100 Manifesto
brackish-draught.bearblog.dev·3h
⚖️Logic Programming
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧩Theorem Proving
How Do Devs Make Levels Without Game Engines?
jslegenddev.substack.com·3h·
Discuss: Substack
🦀Rust
Nothing fails like a history of success
surfingcomplexity.blog·5h
👐Open Source Software
Demonstrative pronouns: Traditional and Simplified Chinese, Zhuyin, Cangjie, Piyin.
reddit.com·3d·
Discuss: r/LChineseAlone
🧮Programming Language Theory
Deal Alert: This 5-course Advanced Cybersecurity Master Class is 79% off
neowin.net·3d
🤝Protocol Design
Augment, Complement and Empower Yourself
arttuv.com·3d·
Discuss: Lobsters, Hacker News
🧩Theorem Proving
Unsolved Problems in MLOps
queue.acm.org·5d
🎲Probabilistic Programming
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·2d·
Discuss: Hacker News
🧩Theorem Proving
[P] I Was Wrong About Complex ML Solutions - Gower Distance Beat My UMAP Approach
reddit.com·2d·
Discuss: r/MachineLearning
🧮Programming Language Theory
Allow Copilot to browse large C++ codebases intelligently and efficiently
reddit.com·9h·
Discuss: r/cpp
🔧Compiler Design
Netgear ProSafe S3300-28x replacement fans
reddit.com·3h·
Discuss: r/homelab
🌍Distributed Systems
EPYC vs. Xeon for Hybrid Inference Server?
reddit.com·1d·
Discuss: r/LocalLLaMA
🏗Computer Architecture
Press: Here : KNTV : September 7, 2025 9:00am-9:30am PDT
archive.org·12h
🔌Network Programming
Counterfactual Sensitivity for Faithful Reasoning in Language Models
arxiv.org·5d
🎲Probabilistic Programming
Data Types (Programing Fundamentals Part — 2)
dev.to·22h·
Discuss: DEV
🧮Programming Language Theory