Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·11h·
Discuss: Hacker News
📝Concrete Syntax
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·3h·
Discuss: Hacker News
🔢Denotational Semantics
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
Indexing, Hashing & Query Optimization in DBMS
dev.to·4h·
Discuss: DEV
🚀Query Optimization
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
🔗Functional Compilers
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
📊HyperLogLog
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·3h·
Discuss: Hacker News
🛡️WASM Security
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
📐Arithmetic Precision
A grand week
blog.mitrichev.ch·8h·
🧮SMT Solvers
std::ranges may not deliver the performance that you expect
lemire.me·44m
📐Error Bounds
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·20h·
Discuss: DEV
📋Format Specification
Show HN: LINQ-to-SQL but for TypeScript – turn type-safe lambdas into SQL
github.com·1d·
Discuss: Hacker News
🧩SQLite Extensions
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
Algebraic Effects
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·17h·
Discuss: Hacker News
🧮SMT Solvers
Measuring scaleup for Postgres 18.0 with sysbench
smalldatum.blogspot.com·4h·
📊Performance Profiling
Java Backend Coding Technology: Writing Code in the Era of AI
dev.to·2d·
Discuss: DEV
💻Programming languages
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Learning from software errors – Part 2: Why did Ariane 5 explode after take-off?
heise.de·2d
🛡️Error Boundaries
Hiding in Plain Sight: Steganography, C2, and SVG Files
infosecwriteups.com·14h
🕵️Steganographic Compression