Decompose, Don't Analogize: First-Principles Programming
hkalyanpur.bearblog.dev·6h
📐formal specification
The Rust Journey of a JavaScript Developer • Day 4 (1/5)
doc.rust-lang.org·11h·
Discuss: DEV
🦀Rust
How to Test
matklad.github.io·18h·
Discuss: Hacker News
📐formal specification
The Pull Request That Changed How I Think About Code
dev.to·58m·
Discuss: DEV
📐formal specification
Breaking Verifiable Abstractions
alperenkeles.com·18h·
Discuss: Hacker News, r/programming
📐formal specification
Devlog #7: Slowly But Surely
tim-mayoh.bearblog.dev·9h
🪜Scala
Orchestrating IC verification: Harmonize complexity for faster time-to-market
semiwiki.com·17h
📐formal specification
DeepQuali: Determining Software Quality with AI
blog.qaware.de·23h·
Discuss: Hacker News
📐formal specification
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·18h·
Discuss: Hacker News
💻Claude
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🔧PLT
A Quick Debugging Tip
irreal.org·13h
🔧PLT
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
🦀Rust
🎲 Databricks Data Engineer Professional Exam Study Notes
vladsiv.com·6h
📐formal specification
CppCon 2025 Back to Basics: static, inline, const, and constexpr -- Andreas Fertig
isocpp.org·10h
🔧PLT
Discriminated Unions and Enums: a modest implementation.
github.com·16h·
Discuss: r/golang
🪜Scala
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🪜Scala
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🔧PLT
original ↗
raymondcamden.com·1d
🪜Scala
Your 'Perfect' Inheritance Hierarchy Violates LSP! Are You Making This Fatal Mistake?
dev.to·8h·
Discuss: DEV
🔧PLT
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔧PLT