Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🪜Scala
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫Ocaml
Attack of the Messy Queries: Rise of the Query Builder
refactoring.guru·1d·
Discuss: DEV
🔧PLT
Learn about building a Rust Plugin System
blog.anirudha.dev·20h·
Discuss: Hacker News
🔧PLT
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai·1d·
Discuss: Hacker News
📐formal specification
AI is Your Copilot, Not Your Architect: A Senior Developer's Guide to Prompt Engineering for Code
dev.to·3h·
Discuss: DEV
📐formal specification
Isolated(any)
nshipster.com·10h·
Discuss: Hacker News
🪜Scala
SAST and DAST Tools: Which Should You Use?
boostsecurity.io·14h
📐formal specification
Advent of Code: 500 Stars
elly.town·1d
📐formal specification
Should We Have Been using LLMs for Our Test Queries This Whole Time?
buttondown.com·8h
📐formal specification
Daily DSA and System Design Journal - 4
leetcode.com·3h·
Discuss: DEV
🔧PLT
A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
🔧PLT
Web Developer Travis McCracken on Hard Lessons from Scaling a Rust API
dev.to·13h·
Discuss: DEV
🦀Rust
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·23h·
Discuss: Hacker News
🪜Scala
Mindful Selection of TypeScript Typing Patterns: Reducing Technical Debt for Faster Development
dev.to·1d·
Discuss: DEV
🔧PLT
Is std::rc::Rc identical to References without implementing Interior Mutability
reddit.com·1h·
Discuss: r/rust
🦀Rust
GSoC 2025: Profiling and Testing Math Functions on GPUs
blog.llvm.org·1d
📐formal specification
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·3d
📐formal specification
MonoGuard: Zero-config monorepo analysis and security scanning
mono-guard-frontend.vercel.app·1d·
Discuss: DEV, Hacker News
📐formal specification
Tripping Around REPL
vlaaad.github.io·16h·
Discuss: Hacker News
🪜Scala