Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·8h
🔄Reproducible Builds
Decrypting DPAPI Credentials Offline
infosecwriteups.com·10h
🕸️WebAssembly
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·1d·
Discuss: Hacker News
🌊Stream Processing
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·12h
🧮Kolmogorov Complexity
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·1d
✨Effect Handlers
Solving the Context Rot Problem for Coding Agents
install.md·20h·
Discuss: Hacker News
🌳Incremental Parsing
How to reason from first principles
caseyhandmer.wordpress.com·21h·
Discuss: Hacker News
🎯Proof Tactics
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·1d
💾Binary Linguistics
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·12h
🛡️Proof-Carrying Archives
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·12h
💻Local LLMs
What people said about an OpenZFS bug
despairlabs.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·1d
🕸️Neo4j
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.org·1d
🌀Brotli Internals
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·12h
📝ABNF Parsing
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·12h·
Discuss: DEV
🔗Topological Sorting
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·1h
🔐Quantum Security
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.org·1d
🔲Cellular Automata