Keystroke Forensics 101: Extracting Secrets from USB Traffic
infosecwriteups.com·18h
🔍NTLM Forensics
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·11h
⚡Proof Automation
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·19h
📋Protocol Buffers
Weakly Private Information Retrieval from Heterogeneously Trusted Servers
arxiv.org·2d
📊Compression Proofs
A Simple but Accurate Approximation for Multivariate Gaussian Rate-Distortion Function and Its Application in Maximal Coding Rate Reduction
arxiv.org·1d
🧠Neural Compression
A Robust Method for Pitch Tracking in the Frequency Following Response using Harmonic Amplitude Summation Filterbank
arxiv.org·22h
🌈Spectral Audio
Go Coding with Asparagos: Walnuts Take the IQ Test
dev.to·17h·
Discuss: DEV
📐Proof Assistants
Understanding Backpropagation and Gradient Descent in Neural Networks
dev.to·2d·
Discuss: DEV
🧠Neural Codecs
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Getting an LLM to set its own temperature
amanvir.com·1d·
Discuss: Hacker News
🐛Fuzzing
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.org·22h
🔗Hash Chains
Small language model for secrets detection
wiz.io·3d·
Discuss: Hacker News
💻Local LLMs
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Quantizing for Noisy Flash Memory Channels
arxiv.org·1d
🛡️Preservation Proofs
High-order adaptive multi-domain time integration scheme for microscale lithium-ion batteries simulations
arxiv.org·22h
⚙️Tape Engineering
🇫🇷 From "Vingt et Un" to 21: Building a Lightning-Fast French Number Parser in Ruby
dev.to·1d·
Discuss: DEV
📚Lempel-Ziv
DRIFT: Data Reduction via Informative Feature Transformation- Generalization Begins Before Deep Learning starts
arxiv.org·22h
🧠Machine Learning
Toward Decision-Oriented Prognostics: An Integrated Estimate-Optimize Framework for Predictive Maintenance
arxiv.org·22h
🌡️Preservation Entropy
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·2h·
Discuss: DEV
λLambda Encodings