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·20h·
Discuss: Hacker News
🪜Scala
"The purpose of code review is not ... to find bugs"
mathstodon.xyz·19m
📐formal specification
Nice Dice
cceckman.com·11h
🔧PLT
A Constructive Look at TempleOS (2015)
codersnotes.com·22h·
Discuss: Hacker News
🪜Scala
Web Developer Travis McCracken on Hard Lessons from Scaling a Rust API
dev.to·17h·
Discuss: DEV
🦀Rust
Vibe coding: Because who doesn’t love surprise technical debt!?
app.coderabbit.ai·12h·
Discuss: DEV
🤖AI
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·21h
🪜Scala
**Cache-Aware Programming Techniques: Boost System Performance Through Strategic Memory Management**
dev.to·16h·
Discuss: DEV
🪜Scala
Lessons from building an AI data analyst
pedronasc.com·13h·
Discuss: Hacker News
🤖AI
Applying OOP in ASP.NET Core
dev.to·1d·
Discuss: DEV
🪜Scala
D as a Better C (2017)
dlang.org·2d·
Discuss: Hacker News
🪜Scala
Micro DSLs for scenario tests with Rust macros
dystroy.org·2d
📐formal specification
Month in 4 Papers (August 2025)
pub.towardsai.net·16h
🔧PLT
Song recommendations with C# free monads
blog.ploeh.dk·1d
🪜Scala
Build an AI coding agent in Python
theptrk.com·1h·
Discuss: Hacker News
🤖AI
The Week of Minor Shit Breaking
anarchaeopteryx.bearblog.dev·7h
🦀Rust
Codex 🌼
dev.to·11h·
Discuss: DEV
💻Claude
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
🪜Scala