Extensions and Shadows (6)
sites.psu.edu·2d
🎯Proof Tactics
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·8h
🔄Reproducible Builds
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·55m
🔐Quantum Security
Become a machine learning engineer in five to seven steps
maxmynter.com·1d·
Discuss: Hacker News
🎵Audio ML
My Bank Keeps on Undermining Anti-Phishing Education
moritz-mander.de·4h·
Discuss: Hacker News
🛡Cybersecurity
A PhD's Apology
cappadokes.github.io·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
Secure and Efficient UAV-Based Face Detection via Homomorphic Encryption and Edge Computing
arxiv.org·2d
🔐Homomorphic Encryption
Fairness-Aware Grouping for Continuous Sensitive Variables: Application for Debiasing Face Analysis with respect to Skin Tone
arxiv.org·1d
🌀Differential Geometry
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·2d
✨Algebraic Effects
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·12h
🔍Information Retrieval
Sparse Identification of Nonlinear Dynamics with Conformal Prediction
arxiv.org·12h
🧮Kolmogorov Bounds
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·12h
📏Linear Logic
IoT Malware Network Traffic Detection using Deep Learning and GraphSAGE Models
arxiv.org·1d
🌸Bloom Variants
Urban Green Governance: IoT-Driven Management and Enhancement of Urban Green Spaces in Campobasso
arxiv.org·12h
⚡Incremental Computation
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·12h
🔲Cellular Automata
A Leap-on-Success Exhaustive Search Method to Find Optimal Robust Minimum Redundancy Arrays (RMRAs): New Array Configurations for Sensor Counts 11 to 20
arxiv.org·1d
🔄CRC Algorithms
Soft Graph Clustering for single-cell RNA Sequencing Data
arxiv.org·2d
🌊Spectral Clustering