Beyond OOP and the future of development experience
bennett.ink·1h·
Discuss: r/programming
🔬Static Analysis
Testing the not-so-happy path
jorgeortiz.dev·10h·
Discuss: r/rust
🧪Property-Based Testing
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai·2d·
Discuss: Hacker News
👁️System Observability
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
How to Test
matklad.github.io·1d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·14m·
Discuss: Hacker News
🔬Static Analysis
Breaking Verifiable Abstractions
alperenkeles.com·1d·
Discuss: Hacker News, r/programming
🔍Formal Verification
Show HN: ExeTrace – introducing executable drift monitoring (EDM)
sites.google.com·1d·
Discuss: Hacker News
👁️System Observability
Dismissing View Models in SwiftUI Is Stifling Maintainability and Testability
matteomanferdini.com·2h·
Discuss: Hacker News
🔄Finite State Machines
xAI's new safety framework is dreadful
lesswrong.com·2h
🔬Unikernels
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Anti-patterns and patterns for achieving secure generation of code via AI
ghuntley.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Plain: The Language of Spec-Driven Development
blog.codeplain.ai·4h·
Discuss: Hacker News
🤖Program Synthesis
Casual Productivity with LLMs
kylekukshtel.com·1h·
Discuss: Hacker News
💎Refinement Types
DeepQuali: Determining Software Quality with AI
blog.qaware.de·1d·
Discuss: Hacker News
🔄Reproducible Builds
Dependency Hell: The Hidden Costs of Dependency Bloat in Software Development
oneuptime.com·5h·
Discuss: Hacker News, r/javascript, r/programming, r/webdev
🔄Reproducible Builds
Systems Engineering for Agentic Applications
agenticapplications.substack.com·1d·
Discuss: r/programming
🩹Self-Healing Systems
Thermoptic – HTTP proxy which cloaks requests as Chrome across all stack layers
github.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·23h·
Discuss: Hacker News
🧩Parser Combinators
Debugging Rustler on Illumos
system-illumination.org·9h·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis