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·14h
Type Checking
Simple hash map in C, for learning purpose
reddit.com·7h·
🏷️Symbol Interning
Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·3h·
🗃️Query Compilation
Cactus Language • Semantics 1
inquiryintoinquiry.com·2h
📋Backus-Naur Form
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·14h·
Discuss: DEV
🌳Pattern Match Compilation
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·16h
🔒Rust Borrowing
A Generic Vector Implementation in C using void*, func*
github.com·3h·
🪄C Metaprogramming
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·23h·
Discuss: Hacker News
🛡️Stack Safety
Recurse Checkins
404wolf.com·17h
🔄Bootstrapping
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·23h·
Discuss: Hacker News
🔢Algebraic Datatypes
Four years, Five failures, One compiler
daymare.net·1d·
🌱Minimal Languages
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·2h
🌊Gradual Typing
Property-based testing of batch-invariant operations
mmaaz.ca·20h·
Discuss: Hacker News
🎲Property Testing
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·6h·
🔗Language Toolchains
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·18h·
Discuss: r/cpp
🪆Embedded DSLs
What happened to Longcat models? Why are there no quants available?
huggingface.co·58m·
Discuss: r/LocalLLaMA
Gleam
The Inverse Matrix problem
talesfrom.dev·18h
🚂Error Propagation
Event Handling: Automatic Event Bootstrapping
gitlab.com·4h·
Discuss: DEV
📡Protocol Buffers