DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to·3h·
Discuss: DEV
✅Archive Validation
My Zip Isn't Your Zip: Identifying and Exploiting Semantic Gaps Between Parsers
usenix.org·21h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Rewriting Modulo Traced Comonoid Structure
arxiv.org·1d
🔄Graph Rewriting
Optimizing multiprecision LLL in FLINT
fredrikj.net·1d
🧮Algebraic Datatypes
Saleae Analyzer for the BDM protocol
zetier.com·1d
🔬Binary Analysis
Making RFCs easier to find and use through a re-imagined RFC Editor website
ietf.org·15h
📝ABNF Parsing
Sysbench for MySQL 5.6 thru 9.4 on a small server
smalldatum.blogspot.com·6h·
Discuss: smalldatum.blogspot.com
🦀Rusty Databases
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·17h
🤖Archive Automation
DevLog#2: Why I Scrapped My Half-Built Data Validation Platform
dev.to·2h·
Discuss: DEV
✅Archive Validation
UnderColor’s spiral challenge from 1984 – part 3
subethasoftware.com·12h
📺VT100
US CERT/CC warns of flaws in Workhorse Software accounting software used by hundreds of municipalities in Wisconsin
securityaffairs.com·23h
🔐CBOR
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.io·1d·
Discuss: Hacker News
🔤Unicode Normalization
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·2h
🔤Morphological Analysis
[Media] I Have No Mut and I Must Borrow
reddit.com·9h·
Discuss: r/rust
🦀Rust Borrowing
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·13h·
Discuss: Hacker News
🔍Concolic Testing
CodeSOD: Copy of a Copy of a
thedailywtf.com·1d
🌲B-tree Forensics
The Two Versions of Parquet
jeronimo.dev·20h·
Discuss: Hacker News
💾Database Formats
CRYSTALS - The Gently Introduction
dev.to·12h·
Discuss: DEV
⚗️Algebraic Coding
An Update on Pytype
github.com·1d·
Discuss: Hacker News
🎯Gradual Typing