Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·7h
🎯Performance Proofs
Challenging LR Parsing (2020)
rust-analyzer.github.io·4h·
Discuss: Lobsters, r/programming
🦀Rust Macros
Regarding formatting issues with AI-generated copy
dev.to·2d·
Discuss: DEV
✅Format Validation
RFC 8594: The Sunset HTTP Header Field
datatracker.ietf.org·1d·
Discuss: Hacker News
📋Protocol Buffers
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·3d
🛡️Archive Verification
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·1d
🔧Binary Parsers
Designing PDFs for Pattern-Based Reading
pdfa.org·3h
📄PDF Internals
Using pprint.saferepr() for string comparisons in Python
chipx86.blog·2d
🧪Binary Fuzzing
How To Structure Your Application Like An Artisan
blog.codeminer42.com·1d
🐚Shell Calculus
Semi-Justified Text
blog.glyphdrawing.club·1d·
Discuss: Hacker News
🖋Typography
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·3d·
Discuss: Hacker News
🧮Algebraic Datatypes
ReST-RL: Achieving Accurate Code Reasoning of LLMs with Optimized Self-Training and Decoding
arxiv.org·1d
💻Local LLMs
Rules for Python | Cursor Directory
cursor.directory·1d
🪟Awesome windows command-line
Adding Conversational AI: Converting Natural Language into JSON Actions
chariotsolutions.com·9h·
Discuss: Hacker News
🌳Incremental Parsing
Storing data in images
johndcook.com·8h·
Discuss: Hacker News
📱QR Archaeology
Status Update: August 2025
joshleeb.com·1d
🧩WASM Components
Automated Assessment of Data Integrity via Multi-Modal Semantic Graph Analysis
dev.to·1d·
Discuss: DEV
🛡️Archive Verification
Claude Code's 19 cent Parser
blogger.com·4d
🔧Binary Parsers
Unlocking Multimodal Video Transcription with Gemini
towardsdatascience.com·8h
✅Verification Codecs
Das Problem mit German Strings
polarsignals.com·3d·
Discuss: Lobsters, Hacker News, r/programming
📋DFDL