The theorem on formal functions
math.columbia.edu·1d
⚔️Lean Theorem
When video DPCM codecs roamed the Earth
codecs.multimedia.cx·1d
🎬Video Codecs
How to Give an Old Intel Mac New Life With Linux
eshop.macsales.com·1d
🔌Operating system internals
How to prevent a data breach in your business: 7 best practices
proton.me·1d
🔓Hacking
Kigen eUICC issue (custom backdoor vs. FW update bug)
seclists.org·5d
🛡️eBPF Security
MLS: The Naked King of End-to-End Encryption
poberezkin.com·4d·
Discuss: Hacker News
🔐Archive Encryption
Anaphoric Macros
letoverlambda.com·2d·
Discuss: Lobsters
🧠Lisp Dialects
Automated Open Data Integrity Verification via Multi-Modal Anomaly Detection and Recursive Scoring
dev.to·1d·
Discuss: DEV
🌲B-tree Forensics
Securing Meta's Production PKI Credentials
usenix.org·4d
🎯NTLM Attacks
GenHuzz: An Efficient Generative Hardware Fuzzer
usenix.org·4d
🧪RISC-V Fuzzing
DM-PCACHE Poised For Linux 6.18 As High Throughput, Low Latency DAX Cache
phoronix.com·2d
⚡Cache Coherence
Comparison of Generic Container Libraries for C
github.com·3d·
Discuss: Hacker News
💧Liquid Types
That email from finance with your name in the subject line? It might just be a trap - here's what researchers found about malware delivery
techradar.com·2d
🔓Hacking
Fastanime v3 (Terminal Anime Media Manager)
reddit.com·2d·
Discuss: r/linux
📟Terminals
Psst: wanna buy a legit FBI email account for $40?
theregister.com·2d·
Discuss: Hacker News
🔓Hacking
Automated Fault Characterization via Dynamic Behavioral Fingerprinting in Embedded Systems
dev.to·1d·
Discuss: DEV
👁️System Observability
Searching for Privacy Risks in LLM Agents via Simulation
arxiv.org·2d
🔒WASM Capabilities
SingleStrip: learning skull-stripping from a single labeled example
arxiv.org·2d
🌀Differential Geometry
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·3d·
Discuss: r/rust
🐚Shell Monads
Hyperdimensional Semantic Alignment via Learned Kernel Regression for Enhanced Knowledge Graph Triplet Extraction
dev.to·2h·
Discuss: DEV
🤖Grammar Induction