The Rust Journey of a JavaScript Developer • Day 4 (1/5)
doc.rust-lang.org·2h·
Discuss: DEV
🦀Rust
How to Test
matklad.github.io·10h·
Discuss: Hacker News
📐formal specification
Breaking Verifiable Abstractions
alperenkeles.com·9h·
Discuss: Hacker News, r/programming
📐formal specification
Applying OOP in ASP.NET Core
dev.to·21h·
Discuss: DEV
🪜Scala
Orchestrating IC verification: Harmonize complexity for faster time-to-market
semiwiki.com·8h
📐formal specification
DeepQuali: Determining Software Quality with AI
blog.qaware.de·15h·
Discuss: Hacker News
📐formal specification
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·10h·
Discuss: Hacker News
💻Claude
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🔧PLT
A Quick Debugging Tip
irreal.org·5h
🔧PLT
things rust shipped without (2015)
graydon2.dreamwidth.org·20h·
Discuss: Lobsters, Hacker News
🦀Rust
Systems Engineering for Agentic Applications
agenticapplications.substack.com·8h·
Discuss: r/programming
📐formal specification
CppCon 2025 Back to Basics: static, inline, const, and constexpr -- Andreas Fertig
isocpp.org·1h
🔧PLT
Discriminated Unions and Enums: a modest implementation.
github.com·7h·
Discuss: r/golang
🪜Scala
Advent of Code: 500 Stars
elly.town·21h
📐formal specification
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·17h
🪜Scala
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔧PLT
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
🔧PLT
Attack of the Messy Queries: Rise of the Query Builder
refactoring.guru·1d·
Discuss: DEV
🔧PLT
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🪜Scala
Vibe coding: Because who doesn’t love surprise technical debt!?
app.coderabbit.ai·3h·
Discuss: DEV
🤖AI