Techno Security & Digital Forensics Conference Returns To San Diego With Deep Dive Into AI, Cybercrime, And Justice
forensicfocus.com·3h
🚨Incident Response
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·9h·
Discuss: Hacker News
🔐Homomorphic Encryption
Securing Heterogeneous Network (HetNet) Communications for Wildfire Management: Mitigating the Effects of Adversarial and Environmental Threats
arxiv.org·9h
🕸️Mesh Networking
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·15h
🎯Performance Proofs
Mojo Vision
docs.modular.com·9h·
Discuss: Hacker News
🔩Systems Programming
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·1d·
Discuss: Hacker News
🔓Password Cracking
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·9h
🧠Machine Learning
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·22h·
Discuss: Hacker News
🌳Archive Merkle Trees
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Do I not like Ruby anymore? (2024)
sgt.hootr.club·6h·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
L-XAIDS: A LIME-based eXplainable AI framework for Intrusion Detection Systems
arxiv.org·9h
🔍Vector Forensics
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·1d·
Discuss: Hacker News
⚡Proof Automation
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·11h·
Discuss: Substack
🔩Systems Programming
Using Real Survey Data to Create Authentic AI Personas for Extended Research
askrally.com·51m·
Discuss: Hacker News
🏛Digital humanities
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·9h
🔧Hardware Verification