Compilation is communication
mmapped.blog·1d
🛡️Proof-Carrying Archives
Rate my setup!
imgur.com·22h·
Discuss: r/homelab
🔌Operating system internals
Post-Quantum Cryptography and Quantum-Safe Security: A Comprehensive Survey
arxiv.org·4h
🔐Quantum Security
Evaluating Reasoning Faithfulness in Medical Vision-Language Models using Multimodal Perturbations
arxiv.org·4h
📊Learned Metrics
OBsmith: Testing JavaScript Obfuscator using LLM-powered sketching
arxiv.org·4h
🧪Binary Fuzzing
Repeated-and-Offset QPSK for DFT-s-OFDM in Satellite Access
arxiv.org·4h
⚽Sphere Packing
Mozart: A Chiplet Ecosystem-Accelerator Codesign Framework for Composable Bespoke Application Specific Integrated Circuits
arxiv.org·1d
🖥️Hardware Architecture
SAFER: Risk-Constrained Sample-then-Filter in Large Language Models
arxiv.org·4h
🎙️Whisper
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·2d·
Discuss: DEV
📊Spectral Analysis
Building the Future of Television: How Developers Can Shape IPTV with Internet Protocol and APIs
dev.to·16h·
Discuss: DEV
📞WebRTC
Software Defect Prediction using Autoencoder Transformer Model
arxiv.org·4h
🧠Intelligence Compression
VisualDAN: Exposing Vulnerabilities in VLMs with Visual-Driven DAN Commands
arxiv.org·4h
🕵️Vector Smuggling
Scalable Face Security Vision Foundation Model for Deepfake, Diffusion, and Spoofing Detection
arxiv.org·4h
🤖Advanced OCR
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
arxiv.org·4h
💻Programming languages
Reinforced sequential Monte Carlo for amortised sampling
arxiv.org·4h
🧮Kolmogorov Bounds
Benchmarking Deep Learning Models for Laryngeal Cancer Staging Using the LaryngealCT Dataset
arxiv.org·4h
🎵Audio ML
RO-Bench: Large-scale robustness evaluation of MLLMs with text-driven counterfactual videos
arxiv.org·1d
📊Learned Metrics
Reliable Active Learning from Unreliable Labels via Neural Collapse Geometry
arxiv.org·4h
🧠Machine Learning
Audit-of-Understanding: Posterior-Constrained Inference for Mathematical Reasoning in Language Models
arxiv.org·4h
💻Local LLMs
PoU: Proof-of-Use to Counter Tool-Call Hacking in DeepResearch Agents
arxiv.org·4h
⚡Proof Automation