Language Support for Marginalia Search
marginalia.nu·19h
🔍BitFunnel
How we trained an ML model to detect DLL hijacking
securelist.com·11h
🔗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
Higher-Level Design Patterns
qouteall.fun·3d·
Discuss: Hacker News
✨Algebraic Effects
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·19h·
Discuss: Hacker News
🧠Machine Learning
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·1h·
Discuss: Hacker News
🌳Context free grammars
The Geek Code (1993)
github.com·2d·
Discuss: Hacker News
📜Binary Philology
sevenDB : reactive yet scalable
reddit.com·20h·
Discuss: r/golang
🌊Streaming Databases
Embracing the parallel coding agent lifestyle
simonw.substack.com·19h·
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·16h
🕸️Mesh Networks
Autonomous Beamforming Optimization for Dynamic Satellite Constellation Resilience
dev.to·8h·
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·15h
⚖️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·19h·
Discuss: DEV
🔧Hardware Verification
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·15h
🎯Performance Proofs