✅ Format Verification - matmat · Scour

Zero-Budget Data Sanitization: A Security Researcher’s Guide with Go

dev.to·9h·

Discuss: DEV

🧪Binary Fuzzing

Internal Flow Signatures for Self-Checking and Refinement in LLMs

arxiv.org·1d

⚖️Verification Calculi

How not to program in Dyalog APL

toolofthought.com·5h·

Discuss: Lobsters, Hacker News

📊APL Heritage

CodeSOD: A Percise Parser

thedailywtf.com·1d

🌳Incremental Parsing

Semantic Definition Format

onedm.org·2d

Symbolic Model Checking using Intervals of Vectors

arxiv.org·11h

📐Interval Arithmetic

RFC 3284: The VCDIFF Generic Differencing and Compression Data Format

datatracker.ietf.org·1d·

Discuss: Hacker News

△Delta Compression

Versioning JSON for APIs

lowentropy.net·16h

🔌Interface Evolution

22.00.0182 JDex deep-dive: data and storage options

johnnydecimal.com·1d

🗄️Database Internals

Logic for Programmers New Release and Next Steps

buttondown.com·2h

⚙️Proof Engineering

How to Build Safe Natural Language-Driven APIs

techcommunity.microsoft.com·1d·

Discuss: Hacker News

🌀Brotli Internals

The Verification Conundrum

semiengineering.com·2d

🔧Hardware Verification

cynthia2006/zipinspect: Small utility to inspect/extract zip files over HTTP

github.com·2h

🏺ZIP Archaeology

clojure.spec - Rationale and Overview

clojure.org·2d·

Discuss: Hacker News

🧠Lisp Dialects

QT4 grammar explorer

so.nwalsh.com·3h

📝Parsing Grammars

Pascal-J/type-system-j: adds an optional type system to J language

github.com·19h·

Discuss: Lobsters

🎯Gradual Typing

Sampling the Oxford CS Library

blog.computationalcomplexity.org·5h·

Discuss: blog.computationalcomplexity.org

⛏️Proof Mining

The Engineer's Guide to Elastic Detections as Code

elastic.co·16h

✅Archive Validation

Taming the Flat AST: Ergonomics in the Age of Zero Allocations

modern-c.blogspot.com·20h·

Discuss: Lobsters, Hacker News, r/golang

📝Compiler Design

Iceberg Views in AIStor Tables

blog.min.io·1d

🏺Database Archaeology

Loading more...