Feeds to Scour
SubscribedAll
Interpreting Structured Perturbations in Image Protection Methods for Diffusion Models
arxiv.org·3d
🧠Machine Learning
Preview
Report Post
Compiler Engineering in Practice – Part 1: What Is a Compiler?
chisophugis.github.io·5d·
Discuss: Hacker News
🏗️Compiler Archaeology
Preview
Report Post
ARGUS: Defending Against Multimodal Indirect Prompt Injection via Steering Instruction-Following Behavior
arxiv.org·5d
👑Coq Tactics
Preview
Report Post
There's a new $1 million prize to understand what happens inside LLMs: "Using AI models today is like alchemy: we can do seemingly magical things, but don't und...
withmartian.com·4d
✨Effect Handlers
Preview
Report Post
Recent miscellany: 1D glider, flags, stripes, and telephony
quuxplusone.github.io·6d
🔲Cellular Automata
Preview
Report Post
AI Application in Anti-Money Laundering for Sustainable and Transparent Financial Systems
arxiv.org·4d
🔍Vector Forensics
Preview
Report Post
DAE-HardNet: A Physics Constrained Neural Network Enforcing Differential-Algebraic Hard Constraints
arxiv.org·5d
🌀Differential Geometry
Preview
Report Post
NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models
arxiv.org·4d
💾Binary Linguistics
Preview
Report Post
PlantBiMoE: A Bidirectional Foundation Model with SparseMoE for Plant Genomes
arxiv.org·4d
🔗Monadic Parsing
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·5d
🔲Cellular Automata
Preview
Report Post
Mitigating the Antigenic Data Bottleneck: Semi-supervised Learning with Protein Language Models for Influenza A Surveillance
arxiv.org·5d
🧠Machine Learning
Preview
Report Post
Toward Reliable Machine Unlearning: Theory, Algorithms, and Evaluation
arxiv.org·4d
🧠Machine Learning
Preview
Report Post
LLMs Are Lexical Thijarians
vinayprabhu.substack.com·6d·
Discuss: Substack
🌀Brotli Dictionary
Preview
Report Post
How to Build an LLM-Powered Database Query Bot for Your Web App in 1 Day
semicolonandsons.com·5d·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems
arxiv.org·4d
⚙️TLA+
Preview
Report Post
How a Wedding Dress Turned Into a Python Project (And Why Love Compiles Perfectly)
dev.to·6d·
Discuss: DEV
💻Programming languages
Preview
Report Post
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
arxiv.org·4d
⚙️Logic Synthesis
Preview
Report Post
Mechanistic Interpretability of Antibody Language Models Using SAEs
arxiv.org·5d
🎯Automata theory
Preview
Report Post
An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter
im-just-lee.ing·5d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Surface Tension of Software: why systems hold together
iamstelios.com·5d·
Discuss: Hacker News
💧Liquid Types
Preview
Report Post