Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·7h·
Discuss: Hacker News
🔗Parser Combinators
Macros, Matter, & Malleability
clojurecivitas.github.io·1d
📝Lisp
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.org·22h·
Discuss: Hacker News, r/cpp
🦀Rust
My first Software At 16
i.redd.it·12h·
Discuss: r/webdev
👐Open Source Software
Bjarne Stroustrup: “I Did It For You All…”
harmful.cat-v.org·14h
💾Retrocomputing
Structured Concurrency in Swift
dev.to·23h·
Discuss: DEV
⚡Concurrency
Oh HOT DAMN!
threadreaderapp.com·15h
📝Lisp
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·22h·
Discuss: Hacker News
⚖️Logic Programming
'Hello world' in Bismuth
enikofox.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍Static Analysis
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·6h·
Discuss: r/embedded
🏗Computer Architecture
The Duolingo method: Collaboration as a core practice
figma.com·1d
🧩Theorem Proving
OSE: The End of Programming Language Silos?
dev.to·1d·
Discuss: DEV
📐Type Theory
Symbol-Level Editing
sysprogs.com·10h·
Discuss: Hacker News
🎲Probabilistic Programming
DevLog 2025801: Procedural Context Type
dev.to·17h·
Discuss: DEV
🧮Programming Language Theory
Critique my Portfolio/Resume page
maraket.github.io·6h·
Discuss: r/webdev
🧮Programming Language Theory
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
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