Property-based testing of batch-invariant operations
mmaaz.ca·9h·
Discuss: Hacker News
🎲Property Testing
Unit Testing is Overrated and Won't Help You Write Better Code
dev.to·3h·
Discuss: DEV
🧪Zig Testing
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·12h·
Discuss: Hacker News
🛡️Stack Safety
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·21h·
Discuss: r/webdev
🚀Code Motion
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·3h·
Discuss: DEV
🌳Pattern Match Compilation
Show HN: Scout QA – Vibe testing for vibe coding
scoutqa.ai·16h·
Discuss: Hacker News
🧪Testing Compilers
Using AI Code Assistants to Generate Unit Tests and Maximize Coverage
qt.io·1h
🧪Zig Testing
Four years, Five failures, One compiler
daymare.net·23h·
Discuss: Hacker News, r/programming
🌱Minimal Languages
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·4h
✅Type Checking
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·21h·
Discuss: Hacker News
🔒Rust Borrowing
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·2d·
Discuss: DEV
🎮Language Ergonomics
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·1h·
Discuss: Hacker News
⚡Cache Optimization
The Inverse Matrix problem
talesfrom.dev·8h
🚂Error Propagation
Automatic Building Code Review: A Case Study
arxiv.org·4h
📦Dependency Analysis
Ask HN: What are common mistakes in Move smart contract development?
news.ycombinator.com·18m·
Discuss: Hacker News
🛡️Error Ergonomics
Using @mixin for referencing in traits in PHP (Laravel example)
dev.to·1h·
Discuss: DEV
✨Code Formatters
Seriously Testing LLMs
satisfice.com·6h
🎯Finite Automata
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·4h
📱Bytecode Design
TypeScript and the Illusion of Type-Safety
medium.com·2d·
Discuss: r/typescript
🔧API Design