In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·6h
🦠Malware Analysis
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·1d
🔲Cellular Automata
Online Algorithms for Recovery of Low-Rank Parameter Matrix in Non-stationary Stochastic Systems
arxiv.org·14h
📐Linear Algebra
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·14h
🎙️Whisper
daily quizzz
dev.to·5h·
Discuss: DEV
λLambda Encodings
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
End-to-End Spoken Grammatical Error Correction
arxiv.org·1d
🔍Z3 Parsing
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
HIDE and Seek: Detecting Hallucinations in Language Models via Decoupled Representations
arxiv.org·1d
👂Psychoacoustic Coding
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
Cross-sensor self-supervised training and alignment for remote sensing
arxiv.org·14h
📊Learned Metrics
LangChain vs. TLRAG: A Comparative Analysis for Investors
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
A Random Matrix Analysis of In-context Memorization for Nonlinear Attention
arxiv.org·1d
🧠Machine Learning
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·2h
💻Local LLMs
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization