Fickling’s new AI/ML pickle file scanner
blog.trailofbits.com·1d
🧪Binary Fuzzing
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·1d
🏛️Agda
Challenges You Will Face When Parsing PDFs with Python
theseattledataguy.com·2d·
Discuss: Hacker News
📄PDF Archaeology
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·2d·
Discuss: Hacker News
✅Format Verification
Automated Cellular QC & Predictive Storage Optimization via Multi-Modal Data Fusion
dev.to·1d·
Discuss: DEV
📄Document Digitization
How to Review Code That Deals with Money
news.alvaroduran.com·7h·
Discuss: Hacker News
📏Code Metrics
Security Through Intentional Redundancy
commaok.xyz·1d·
Discuss: Lobsters, Hacker News
🔐CBOR
Building a Secure Fortress within AI: A Developer's Guide to Full-Stack Security 🏰
dev.to·1h·
Discuss: DEV
🛡️WebAssembly Security
Solving a Wooden Puzzle Using Haskell
glocq.github.io·12h·
Discuss: Lobsters, Hacker News
💎Information Crystallography
Intelligent Web Crawling and RAG Search Platform
github.com·3h·
Discuss: Hacker News
📰Feed Readers
Algebraic Types are not Scary
blog.aiono.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Hands-on Demo of Glamorous Toolkit & Moldable Development • Tudor Girba & Kris Jenkins • GOTO 2024
youtube.com·5h
🏛Digital humanities
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
RU-Net for Automatic Characterization of TRISO Fuel Cross Sections
arxiv.org·13h
🔍Vector Forensics
RSL Automates Content Licensing for Fair Compensation of Publishers+Creators
rslstandard.org·2h·
Discuss: Hacker News
📡Feed Archaeology
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·1d
🧮Z3 Solver
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·1d
✅Format Verification
Day 4:Type Casting in Python
dev.to·4h·
Discuss: DEV
🔤Type Theory
Hacking Electronic Safes
schneier.com·6h
🔓Hacking
From Legal Documents to Knowledge Graphs
neo4j.com·4d·
Discuss: Hacker News
📋Document Grammar