Bigbrotr: Full archive & monitoring system for the Nostr protocol
bigbrotr.com·6h
🌍Distributed Systems
Flag this post
What is BSD? Come to a conference to find out!
bsdly.blogspot.com·4h·
Discuss: bsdly.blogspot.com
👐Open Source Software
Flag this post
Which Chip Is Best?
blog.confident.security·1d·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Claude Code Custom Commands: 3 Practical Examples and When to (Not) Use Them
aiengineering.report·53m·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Linking and shrinking Rust static libraries: a tale of fire
centricular.com·9h·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust
Flag this post
I Use Typst Now
christopherbiscardi.com·18h·
Discuss: Lobsters, Hacker News
📝Text Editors
Flag this post
Beyond the Medallion: Rethinking Data Architecture
blog.matterbeam.com·1d·
Discuss: Hacker News
🏗️Software Architecture
Flag this post
Teach Your AI to Think Like a Senior Engineer
kill-the-newsletter.com·39m
🧩Theorem Proving
Flag this post
Making MCP Tool Calls Scriptable with mcp_cli
joshbeckman.org·2h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
SSPO: Subsentence-level Policy Optimization
arxiv.org·14h
🎲Probabilistic Programming
Flag this post
I built a lightweight React table with per-column filtering and sorting
github.com·5h·
Discuss: r/reactjs
🦀Rust
Flag this post
Networking in the Standard Library is a terrible idea
reddit.com·3d·
Discuss: r/cpp
🔌Network Programming
Flag this post
I Created an MCP Server and Why I Think MCP is Overrated
dev.to·11h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Quantum Chip Co-Design for Fidelity and Entanglement Preservation
arxiv.org·14h
🔐Cryptography
Flag this post
A Pragmatist's Guide to Mastering Python's Foundations
dev.to·22h·
Discuss: DEV
🧮Programming Language Theory
Flag this post
A Practical Guide to Flutter Accessibility - Part 1: The Basics
dev.to·7h·
Discuss: DEV
🏗️Software Architecture
Flag this post
FP-AbDiff: Improving Score-based Antibody Design by Capturing Nonequilibrium Dynamics through the Underlying Fokker-Planck Equation
arxiv.org·1d
🧫Cellular Automata
Flag this post
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
arxiv.org·14h
🧭SMT Solvers
Flag this post
Level Up Your Coding: A Beginner's Guide to Blockchain Development Frameworks
dev.to·8h·
Discuss: DEV
🔐Cryptography
Flag this post
Taming Chaos: Predicting Unpredictable Systems Without Guesswork by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post