Hiding in Plain Sight: Steganography, C2, and SVG Files
infosecwriteups.com·23h
🕵️Steganographic Compression
A grand week
blog.mitrichev.ch·17h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🎯Interactive Provers
Memorizing a list of seed words
johndcook.com·10h·
Discuss: Hacker News
⭐Awesome lists
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
📐Arithmetic Precision
Why do LLMs freak out over the seahorse emoji?
vgel.me·4h·
Discuss: Hacker News
🗜️LZW Variants
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·11h·
Discuss: Hacker News
🛡️WASM Security
Detecting Notational Errors in Digital Music Scores
arxiv.org·2h
🎼Computational Musicology
How Much Should You Tell Your AI Agent?
raymondyxu.com·12h·
Discuss: Hacker News
⚡Proof Automation
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·1d·
Discuss: Hacker News
💻Local LLMs
Scalable Hyperbolic Embedding Optimization for Geometric Deep Learning on Modular Surfaces
dev.to·25m·
Discuss: DEV
🌀Hyperbolic Geometry
Primitive Overloading
mlochbaum.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming
📊APL Heritage
How Simple IDs Can Leak Your Secrets
dev.to·2d·
Discuss: DEV
🔤EBCDIC Privacy
A gentle introduction to GEMM using MMA tensor cores
am17an.bearblog.dev·3d·
Discuss: Hacker News
📊RISC-V Vectors
Enhanced Quantum Error Mitigation via Adaptive Hyperdimensional Encoding & Decoding (EQMHED)
dev.to·2d·
Discuss: DEV
⚛️Quantum Error Correction
A Beginner’s Guide to the Authenticated Byzantine Gossip Protocol
hackernoon.com·3d
🤝Consensus Algorithms
Engineering Nirvana: When Valves Speak the Language of Code
dev.to·6h·
Discuss: DEV
⚙️Proof Engineering
Lazy text capitalization with low latency large language models
blog.florianschulz.info·1d·
Discuss: Hacker News
🌀Brotli Internals
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·2d·
Discuss: Hacker News
📼Cassette Combinators
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·2h
📋Document Grammar