GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·10h·
Discuss: r/cpp
🪆Embedded DSLs
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·6h
🧩Constraint Solvers
Four years, Five failures, One compiler
daymare.net·1d·
Discuss: Hacker News, r/programming
🌱Minimal Languages
Batch Processing with Spring Batch and Multiple Data Sources
dev.to·5h·
Discuss: DEV
🔧Error Recovery
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·7h
🔒Rust Borrowing
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
🧠Memory Models
Writing a Dictation Application
osada.blog·15h
📚Self-Documenting Code
Recurse Checkins
404wolf.com·9h
🔄Bootstrapping
why & how i learnt ML
abinesh-mathivanan.vercel.app·1d·
Discuss: r/programming
🔍ML Language
An Introduction to PL/SQL: How It Works with SQL and Oracle Database
blogs.oracle.com·1d·
Discuss: DEV
🗃️Query Compilation
Creating a CLI Tool with Node.js
npmjs.com·9h·
Discuss: DEV
⚡Incremental Parsing
Java Annotated Monthly – October 2025
blog.jetbrains.com·2h
💬Smalltalk VMs
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
Ask HN: Systems Development Path
news.ycombinator.com·1d·
Discuss: Hacker News
🦀MIR Optimization
Building a Command-Line Quiz Application in R
towardsdatascience.com·20h
💬Interactive REPLs
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·21h·
Discuss: DEV
🧮Theorem Provers
My Linux Journey: From Intensive Bootcamp to BZU’s Linux Lab 🐧
drive.google.com·23h·
Discuss: DEV
🐚Shell Languages
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🎲Property Testing
TurtleSPACES – Learn to Code in a Visual World Where Creativity Meets Logic
turtlespaces.org·21h·
Discuss: Hacker News
🐣Hedy