Polymorphic symmetric multiple dispatch with variance
dl.acm.org·8h·
Discuss: Hacker News
🧮Programming Language Theory
Trial and Error Driven Development
stevenoxley.com·14h·
Discuss: Hacker News
🧩Theorem Proving
Automated Vulnerability Prioritization via Semantic Similarity & Code Attribution Graph Analysis
dev.to·1d·
Discuss: DEV
🔧Compiler Design
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
✅Formal Verification
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·3h·
Discuss: Hacker News
🔗Parser Combinators
Allocations Are a Dependency
clipperhouse.com·16h·
Discuss: Hacker News
🧠Memory Management
What's in (a) main() ?
reddit.com·23h·
Discuss: r/rust
🦀Rust
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
🧩Theorem Proving
Observe live SQL queries in Go with DTrace
gaultier.github.io·1h
⚙Functional Programming
Pipex v0.1.20 – New Features 🚀
gist.github.com·1d
🏗Computer Architecture
Continuous Improvement in LLM Code Generation
blogger.com·22h
🔧Compiler Design
August 2025 Detection Highlights: 9 New VTIs, 20+ YARA Rules, and More Advanced Malware Insights
vmray.com·1h
🎲Probabilistic Programming
From Hallucinations to Prompt Injection: Securing AI Workflows at Runtime
docker.com·22h
🧩Theorem Proving
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·21h·
Discuss: Hacker News, r/cpp
🔧Compiler Design
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·4h·
Discuss: Lobsters, Hacker News
🏗Computer Architecture
Manifestations
theprogrammersparadox.blogspot.com·11h·
Discuss: theprogrammersparadox.blogspot.com
🔧Compiler Design
Program management update — August 2025
blog.rust-lang.org·11h·
Discuss: Hacker News, r/rust
🦀Rust
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·19h·
Discuss: Hacker News, r/rust
🦀Rust
30 Java Project Ideas for All Levels (With Source Code)
mygreatlearning.com·11h
🔧Compiler Design
Effects as Capabilities in Scala
nrinaudo.github.io·23h·
Discuss: Lobsters, Hacker News
⚙Functional Programming