📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Reducing double spend latency from 40 ms to < 1 ms on privacy proxy
blog.cloudflare.com·17h
🌐DNS over QUIC
OpenAI to Open-Source Some of the A.I. Systems Behind ChatGPT
nytimes.com·13h
🔓Open Source Software
Extracting 20+ NES & Famicom ROMs from Animal Crossing
sethmlarson.dev·1d·
Discuss: Hacker News
🎮Game Cartridge Dumps
The Rubik's Cube Perfect Scramble
solutionslookingforproblems.com·3d·
Discuss: Lobsters, Hacker News
🎨Graph Coloring
Demystify OpenAI Triton (2023)
fkong.tech·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
Markdoc and OpenAPI/Swagger spec generator
scheduleddowntime.com·1d·
Discuss: Hacker News
🔌Archive APIs
Pandas vs Polars in 2025: Choosing the Best Python Tool for Big Data
hackernoon.com·15h
🌊Stream Processing
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·3d·
Discuss: Substack
💾SQLite
Parallel Programming Models
ayushgundawar.me·4d·
Discuss: Hacker News
🧮Compute Optimization
The Necessity of Using Archives in Single Page Applications
medium.com·7h·
Discuss: Hacker News
🔌Archive APIs
HTML-in-Canvas
github.com·3d·
Discuss: Hacker News
🎬WebCodecs
Why Go’s any and interface{} Are the Same… But Not Quite
dev.to·2d·
Discuss: DEV
🔒Linear Types
70 Companies You Didn't Know Were Using Rails in 2025
thoughtbot.com·1d
📚MARC Evolution
AI Agents Explained: Everything You Need to Know in 2025
dev.to·14h·
Discuss: DEV
🤖AI Curation
Landsat30-AU: A Vision-Language Dataset for Australian Landsat Imagery
arxiv.org·2h
🤖Advanced OCR
A matrix preconditioning framework for physics-informed neural networks based on adjoint method
arxiv.org·2h
🌀Riemannian Computing
Rethinking Evidence Hierarchies in Medical Language Benchmarks: A Critical Evaluation of HealthBench
arxiv.org·2d
🧠Intelligence Compression
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·5d
🦀Rust Macros
I Built a Cyberpunk Story About Meta's AI Future Using AI as My Pair Programmer
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Smartplay: Building with Bolt - WLH Challenge
dev.to·1d·
Discuss: DEV
⚙️PL Implementation