How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
⚠️Error Handling
Linear Types for Programmers
twey.io·11h·
Discuss: Hacker News
📐Type Theory
The Summer of Codex
paylias.xyz·15h·
Discuss: Hacker News
💻programming
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·15h·
Discuss: Lobsters, Hacker News
🐪ocaml
Mastering Claude Hooks: Building Observable AI Systems (Part 2)
dev.to·6h·
Discuss: DEV
🦀Rust
Built a Rust terminal AI coding assistant
github.com·1d·
Discuss: r/LocalLLaMA
🦀Rust
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·17h·
Discuss: Hacker News
🦀Rust
Engineering With Java: Digest #58
javabulletin.substack.com·1d·
Discuss: r/programming
🦀Rust
Learning Godot by making a pixel art RPG about my dog!
reddit.com·9h·
Discuss: r/godot
🦀Rust
New comment by agastalver in "Ask HN: Who is hiring? (August 2025)"
ploid.ai·17h·
Discuss: Hacker News
💻programming
The Parallel Lives of an AI Engineer
worksonmymachine.ai·14h·
Discuss: Hacker News
🦀Rust
Rust vs. Java: Choosing the right tool for your next project
blog.jetbrains.com·1d
🦀Rust
Observing and evaluating AI agentic workflows with Strands Agents SDK and Arize AX
aws.amazon.com·1d
⚠️Error Handling
🐥 Elixir Anti-Patterns
yellowduck.be·1d
⚠️Error Handling
Generalizing over mutability in Rust
alexsaveau.dev·4d
🦀Rust
Made a small tool to speed up GitHub repo setup — gh-templates
rafaeljohn9.github.io·15h·
Discuss: r/commandline
🦀Rust
Onboarding for Coding Agents
fuzzycomputer.com·14h·
Discuss: Hacker News
🦀Rust
Writing a basic service for GNU Guix
tannerhoelzel.com·25m·
Discuss: Hacker News
💻programming
Meta
engineering.fb.com·22h·
Discuss: Hacker News
🦀Rust
Reactive Programming in Java
dev.to·2d·
Discuss: DEV
🦀Rust