Quantum-safe security: Progress towards next-generation cryptography
microsoft.com·3d
🔐Quantum Security
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·16h·
Discuss: Hacker News
🧪Binary Fuzzing
Time-Optimal Directed q-Analysis
arxiv.org·1d
🎯Performance Proofs
Qimem: Open-Source Rust Crypto Toolkit. Help Us Build It
github.com·5h·
Discuss: Hacker News
🦀Rust Macros
Building a Regex Engine
abstractsyntaxseed.com·3d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·1d
🔗Functional Compilers
Show HN: SecretMemoryLocker – Q&A-Style Archive for Your Digital Life
secretmemorylocker.com·2d·
Discuss: Hacker News
🔐Archive Encryption
Fine-tune OpenAI GPT-OSS models using Amazon SageMaker HyperPod recipes
aws.amazon.com·1d
🔄Burrows-Wheeler
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·1d·
Discuss: Hacker News
🔐Cryptographic Archaeology
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·15h·
Discuss: Hacker News
📼Tape Combinators
Kubernetes Gateway API: Local NGINX Gateway Fabric Setup using kind
github.com·4h
📦Container Security
The "impossibly small" Microdot web framework
lwn.net·7h·
Discuss: Hacker News
🌐Web Standards
Weaponizing image scaling against production AI systems
blog.trailofbits.com·2d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🕵️Vector Smuggling
Dynamic Network Emulation via Hyperparameter Adaptive Reinforcement Learning
dev.to·7h·
Discuss: DEV
📡Network Calculus
Locally Differentially Private Multi-Sensor Fusion Estimation With System Intrinsic Randomness
arxiv.org·1d
🛡️Differential Privacy
We now have the math to describe 'matrix tides'
buffalo.edu·20h·
Discuss: Hacker News
🌀Differential Geometry
A string formatting library in 65 lines of C++
riki.house·21h·
Discuss: Lobsters, Hacker News
✅Format Verification
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·16h·
Discuss: Hacker News
⚡Proof Automation
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·1d·
Discuss: Hacker News
⚡Dependent Rust
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming