TypeScript and the Illusion of Type-Safety
medium.com·2d·
Discuss: r/typescript
🔧API Design
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·9h
✅Type Checking
Simple hash map in C, for learning purpose
reddit.com·2h·
Discuss: r/C_Programming
🏷️Symbol Interning
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·8h·
Discuss: DEV
🌳Pattern Match Compilation
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·10h
🔒Rust Borrowing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·18h·
Discuss: Hacker News
🛡️Stack Safety
Recurse Checkins
404wolf.com·12h
🔄Bootstrapping
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·18h·
Discuss: Hacker News
🔢Algebraic Datatypes
Four years, Five failures, One compiler
daymare.net·1d·
Discuss: Hacker News, r/programming
🌱Minimal Languages
Property-based testing of batch-invariant operations
mmaaz.ca·14h·
Discuss: Hacker News
🎲Property Testing
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·1h·
Discuss: Lobsters, Hacker News
🔗Language Toolchains
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·13h·
Discuss: r/cpp
🪆Embedded DSLs
The Inverse Matrix problem
talesfrom.dev·13h
🚂Error Propagation
Java Annotated Monthly – October 2025
blog.jetbrains.com·5h
💬Smalltalk VMs
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.to·13h·
Discuss: DEV
📦Monorepos
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·6h
🌳Tree Shaking
Is Odin Just a More Boring C?
dayvster.com·2h·
Discuss: Hacker News
🐹Go Internals
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Rust Borrowing