How to Prevent NPM Supply Chain Attacks in CI/CD Pipelines with Container Security
blog.qualys.com·3h
📦Container Security
Language Support for Marginalia Search
marginalia.nu·16h
🔍BitFunnel
How we trained an ML model to detect DLL hijacking
securelist.com·8h
🔗Binary Similarity
Three important things to get right for successful AI Coding
kau.sh·1d
⚡Proof Automation
Autoreview: The Dragon Hatchling – The Missing Link Between the Transformer and
arxiviq.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Show HN: AutoRules AI – Check all files against a list of questions
markwylde.com·1d·
Discuss: Hacker News
⚡Proof Automation
Breaking decompilers with single-function, and no-main() C codebases
joshua.hu·3d·
Discuss: Hacker News
🧠Lisp Dialects
A PhD in Snapshots
rbharath.github.io·16h·
Discuss: Hacker News
🧠Machine Learning
The Geek Code (1993)
github.com·2d·
Discuss: Hacker News
📜Binary Philology
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·12h
🎙️Whisper
Embracing the parallel coding agent lifestyle
simonw.substack.com·16h·
Discuss: Substack
🌳Incremental Parsing
Automated Capillary Electrophoresis Gel Characterization via Multi-Modal Deep Learning
dev.to·1d·
Discuss: DEV
📄Document Digitization
Building the Internet Above the Clouds
hackernoon.com·13h
🕸️Mesh Networks
Autonomous Beamforming Optimization for Dynamic Satellite Constellation Resilience
dev.to·5h·
Discuss: DEV
⧗Information Bottleneck
The little Random that could
blog.julik.nl·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
The State of Security Protocols in Agent 2 Agent(A2A) Systems.
dev.to·1d·
Discuss: DEV
🔐Capability Systems
A Computational Framework for Interpretable Text-Based Personality Assessment from Social Media
arxiv.org·12h
⚖️Feed Ranking
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·3d·
Discuss: Hacker News
📼Cassette Combinators
The Role of AI in Next-Gen Chip Design
dev.to·16h·
Discuss: DEV
🔧Hardware Verification
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·12h
🎯Performance Proofs