DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to·10h·
Discuss: DEV
✅Archive Validation
My Zip Isn't Your Zip: Identifying and Exploiting Semantic Gaps Between Parsers
usenix.org·1d·
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
Learning Through Doing: From one language to another
blog.scottlogic.com·13h
🦀Rust Borrowing
Page Perfect
preservation.tylerthorsted.com·7h
📄PostScript
Making RFCs easier to find and use through a re-imagined RFC Editor website
ietf.org·23h
📝ABNF Parsing
Fast .NET Converter for Markdown to HTML, HTML to Markdown, AmigaGuide to HTML
github.com·5h·
Discuss: Hacker News
✅Format Verification
Sysbench for MySQL 5.6 thru 9.4 on a small server
smalldatum.blogspot.com·14h·
Discuss: smalldatum.blogspot.com
🦀Rusty Databases
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·2h·
Discuss: Hacker News
🔗Concatenative Programming
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·1d
🤖Archive Automation
DevLog#2: Why I Scrapped My Half-Built Data Validation Platform
dev.to·10h·
Discuss: DEV
✅Archive Validation
US CERT/CC warns of flaws in Workhorse Software accounting software used by hundreds of municipalities in Wisconsin
securityaffairs.com·1d
🔐CBOR
An amusing blind spot in Go's static analysis
gaultier.github.io·4h·
Discuss: r/golang
🧪Binary Fuzzing
UnderColor’s spiral challenge from 1984 – part 3
subethasoftware.com·19h
📺VT100
Micropycelium - prototype routable mesh network for ESP32
hackster.io·4h
🕸️Mesh Networking
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·20h·
Discuss: Hacker News
🔍Concolic Testing
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·9h
🔤Morphological Analysis
[Media] I Have No Mut and I Must Borrow
reddit.com·17h·
Discuss: r/rust
🦀Rust Borrowing