Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🔧PLT
LLMs to Blaze a Trail
blogger.com·1h
🪜Scala
Smarter Summaries with Agentic AI: The Future of Summary Evaluation
capestart.com·2h·
Discuss: DEV
📐formal specification
A Quick Debugging Tip
irreal.org·19h
🔧PLT
Calendars Aren't Just Plain Data
eikopf.bearblog.dev·1h
🔧PLT
CppCon 2025 Back to Basics: static, inline, const, and constexpr -- Andreas Fertig
isocpp.org·16h
🔧PLT
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🔧PLT
original ↗
raymondcamden.com·1d
🪜Scala
Validate orders in Rust easily by using fraud detection API
fraudlabspro.com·3h·
Discuss: r/rust
🦀Rust
Your 'Perfect' Inheritance Hierarchy Violates LSP! Are You Making This Fatal Mistake?
dev.to·14h·
Discuss: DEV
🔧PLT
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔧PLT
🎲 Databricks Data Engineer Professional Exam Study Notes
vladsiv.com·12h
📐formal specification
Vibe-Coding as We Need to Eat Our Own Dog Food
kevinkuipers.substack.com·5h·
Discuss: Substack
🤖AI
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🪜Scala
There's a gap between AI coding demos and daily reality
github.com·4h·
Discuss: Hacker News
🤖AI
Systems Engineering for Agentic Applications
agenticapplications.substack.com·22h·
Discuss: r/programming
📐formal specification
Isolated(any)
nshipster.com·20h·
Discuss: Hacker News
🪜Scala
Advent of Code: 500 Stars
elly.town·1d
📐formal specification
Learn about building a Rust Plugin System
blog.anirudha.dev·1d·
Discuss: Hacker News
🔧PLT
Should We Have Been using LLMs for Our Test Queries This Whole Time?
buttondown.com·18h
📐formal specification