Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·19h·
Discuss: Hacker News
🔗Parser Combinators
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
High-Performance Code Analysis Engine for Claude Code in C++17
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
Problem with MAX31865
reddit.com·18h·
Discuss: r/embedded
🏗Computer Architecture
The Duolingo method: Collaboration as a core practice
figma.com·2d
🧩Theorem Proving
OSE: The End of Programming Language Silos?
dev.to·1d·
Discuss: DEV
📐Type Theory
Symbol-Level Editing
sysprogs.com·22h·
Discuss: Hacker News
🎲Probabilistic Programming
DevLog 2025801: Procedural Context Type
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
🧮Programming Language Theory
Before satrt
dev.to·3d·
Discuss: DEV
🤝Protocol Design
Rust vs. Java: Choosing the right tool for your next project
blog.jetbrains.com·1d
🦀Rust
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·19h·
Discuss: Hacker News
🦀Rust
Vibe-coding yourself into irrelevance
osnews.com·17h·
Discuss: Hacker News
👐Open Source Software
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·1d·
Discuss: Hacker News
⚖️Logic Programming
I'm currently learning C++, but I'm struggling to break down the learning path.
reddit.com·23m·
Discuss: r/cpp
📝Lisp
why you should learn ocaml
sarthak2143.bearblog.dev·3d
⚙Functional Programming
Structured Concurrency in Swift
dev.to·1d·
Discuss: DEV
⚡Concurrency
Recs for understanding new codebases fast & efficiently
reddit.com·1d·
Discuss: r/LLM
🧮Programming Language Theory
User Interfaces in Agentic CLI Tools: What Developers Need
thenewstack.io·12h
🦀Rust
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·16h·
Discuss: Hacker News
⚡Concurrency