Beyond OOP and the future of development experience
bennett.ink·2h·
Discuss: r/programming
🔧PLT
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·1h·
Discuss: Lobsters, Hacker News
📐formal specification
Secure Rust development with GitLab
about.gitlab.com·18h
🦀Rust
Testing the not-so-happy path
jorgeortiz.dev·11h·
Discuss: r/rust
🪜Scala
Decompose, Don't Analogize: First-Principles Programming
hkalyanpur.bearblog.dev·19h
📐formal specification
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·9h·
Discuss: Hacker News
🦀Rust
dotInsights | September 2025
blog.jetbrains.com·7h
📐formal specification
Your LLM is too large: How I generate production-ready failure analysis on a toaster
developers.redhat.com·11h
📐formal specification
The Rust Journey of a JavaScript Developer • Day 4 (1/5)
doc.rust-lang.org·23h·
Discuss: DEV
🦀Rust
Best platform to learn Rust: My top 3 picks (and what actually worked)
educative.io·8h·
Discuss: DEV
🦀Rust
The Pull Request That Changed How I Think About Code
dev.to·13h·
Discuss: DEV
📐formal specification
Debugging Rustler on Illumos
system-illumination.org·10h·
Discuss: Lobsters, Hacker News, r/programming
🪜Scala
How to Test
matklad.github.io·1d·
Discuss: Hacker News, Hacker News
📐formal specification
Breaking Verifiable Abstractions
alperenkeles.com·1d·
Discuss: Hacker News, r/programming
📐formal specification
Casual Productivity with LLMs
kylekukshtel.com·2h·
Discuss: Hacker News
🪜Scala
10-day approach for Detection Engineering
lucavauda.bearblog.dev·4h
📐formal specification
Error handling with linear types and automatic concurrency? Par’s new syntax sugar
reddit.com·3h·
Discuss: r/rust
🪜Scala
Reverse Engineering Vulnserver for SEH Overflow
strayvoltage.bearblog.dev·3h
📐formal specification
DataFrames, Multi-Engine Queries, and Xorq With Hussain Sultan
materializedview.io·7h
🔧PLT
Test-Driven Development Is Stupid
geometrian.com·10h·
Discuss: Hacker News
📐formal specification