The theorem on formal functions
math.columbia.edu·22h
⚔️Lean Theorem
Trialing Far UVC and Glycol Vapors at BIDA
jefftk.com·2d
📻Homebrew Protocols
On This Day in Math - August 16
pballew.blogspot.com·15h·
Discuss: www.blogger.com
📚Archive Mathematics
OpenBSD’s Greytrapping: 18 Years of Fighting Spam with Data and Grit
discoverbsd.com·2d
🛡️eBPF Security
Bad Engineering
theprogrammersparadox.blogspot.com·22h·
Discuss: theprogrammersparadox.blogspot.com
🔐Systems Hardening
Show HN: Eternal Vault, E2EE Estate Platform Using Shamir's Secret Sharing
eternalvault.app·2d·
Discuss: Hacker News
🏠Personal Archiving
You do the best you can
ryanglover.net·2d·
Discuss: Hacker News
⚖️Lossy Compression Ethics
Protect Your Python Secrets Like a Pro with PyShield-Secure
dev.to·1d·
Discuss: DEV
🛡️WASM Security
Automated Substructure Lifting Protocol Optimization via Multi-Modal Feature Fusion and Reinforcement Learning
dev.to·2h·
Discuss: DEV
🏺Computational Archaeology
Neural Network-Based Detection and Multi-Class Classification of FDI Attacks in Smart Grid Home Energy Systems
arxiv.org·1d
🔍Vector Forensics
SingleStrip: learning skull-stripping from a single labeled example
arxiv.org·1d
🌀Differential Geometry
Taiwan Web Infrastructure targeted by APT UAT-7237 with custom toolset
securityaffairs.com·12h
🛣️BGP Hijacking
Bugcrowd CTF 2025
infosecwriteups.com·4d
⚡Proof Automation
How I Explained Vector Embeddings to My Mom (And She Got It)
dev.to·3d·
Discuss: DEV
🧮Vector Embeddings
NZ1: A minimalist, dependency-free data compression algorithm
github.com·3d·
Discuss: Hacker News
🌊Streaming Compression
Towards Effective MLLM Jailbreaking Through Balanced On-Topicness and OOD-Intensity
arxiv.org·2d
💻Local LLMs
An Unsupervised Deep XAI Framework for Localization of Concurrent Replay Attacks in Nuclear Reactor Signals
arxiv.org·2d
🔍Vector Forensics
National Public Data returns after massive Social Security Number leak
malwarebytes.com·1d
🔓Hacking
Show HN: CCCP – a programmable, context-aware compression protocol (early stage)
news.ycombinator.com·2d·
Discuss: Hacker News
🌊Streaming Compression
Automated Glycan Structure Prediction via Multi-Modal Hypergraph Embeddings & Bayesian Refinement
dev.to·7h·
Discuss: DEV
🌀Hyperbolic Geometry