The Mythical Man-Month in 2025
webaligo.bearblog.dev·7h
🎲Probabilistic Programming
How to Use IAM Policies Like a Pro (With Examples) 🔐✨
policysim.aws.amazon.com·1h·
Discuss: DEV
🦀Rust
Best Open-Source Notion Replacements You Can Host on Your Own Server
maketecheasier.com·1d
🧩Theorem Proving
In Praise of Weirdness
science.org·2d
🧮Programming Language Theory
Making coderunner-ui work with Docker using Claude Code
shekhargulati.com·18h
🦀Rust
Preparation of my happiness project
muliama.blog·16h
🧩Theorem Proving
A logical problem tested on GLM4.5
preview.redd.it·1d·
Discuss: r/LLM
🎲Probabilistic Programming
A Love Letter to My Future Employer
catzkorn.dev·1d·
Discuss: Hacker News
🧮Programming Language Theory
Replacing Agent Prompt Templates with Trainable Control Modules in DSPy
viksit.substack.com·2d·
Discuss: Substack
⚡Concurrency
Announcing Ropey 2.0 Beta
reddit.com·10h·
Discuss: r/rust
🦀Rust
A Self-Dialogue on The Value Proposition of Romantic Relationships
lesswrong.com·2h
🧮Programming Language Theory
How I code with AI on a budget/free
wuu73.org·5h·
Discuss: Hacker News
🧩Theorem Proving
🧠 Solving LeetCode Until I Become Top 1% — Day `54`
dev.to·23h·
Discuss: DEV
🧩Theorem Proving
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·4d
🔍Static Analysis
Beyond Content: How Grammatical Gender Shapes Visual Representation in Text-to-Image Models
arxiv.org·4d
🧮Programming Language Theory
When the Parrot Talks Back, Part Two
hedgehogreview.com·3d
🧮Programming Language Theory
Machine Learning Fundamentals: model selection
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
🎭 A CGAN Story: Three Attempts and an Incomplete Ending
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
Day 2 – Building an AI-Powered Cloud OS
github.com·8h·
Discuss: DEV, r/LocalLLaMA
👐Open Source Software
I just rewrote llama.cpp server in Rust (most of it at least), and made it scalable
reddit.com·1d·
Discuss: r/rust
🦀Rust