Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
functional programming
Homophily-induced Emergence of Biased Structures in LLM-based Multi-Agent AI Systems
arxiv.org·2h
Partial Evaluation
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·3h
🔒Rust Borrowing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·10h·
Discuss: Hacker News
🔢Algebraic Datatypes
Opti's Claude 4.5 Sonnet "vibe coding" report
stacker.news·17h
🔬Nanopasses
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
🔮Lisp Interpreters
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·14h·
Discuss: Hacker News
🔬programming language theory
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
The Inverse Matrix problem
talesfrom.dev·6h
🚂Error Propagation
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
🔢Bit Manipulation
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·19h·
Discuss: Hacker News
💬Interactive REPLs
odin-lang/Odin dev-2025-10
github.com·18h
🔧Error Recovery
LLMs are badly misaligned
lesswrong.com·15h
Type Checking
Four years, Five failures, One compiler
daymare.net·20h·
🌱Minimal Languages
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·10h·
Discuss: Hacker News
🛡️Stack Safety
Functional Programming Shaped (and Twisted) Front End Development
alfy.blog·1d·
🏛️Elm Architecture
TypeScript and the Illusion of Type-Safety
medium.com·2d·
Discuss: r/typescript
🔧API Design
C? Rewrite it in Brainfuck
iacgm.pages.dev·2d·
🪄C Metaprogramming