Defending LLM applications against Unicode character smuggling
aws.amazon.com·1d
🔤Character Encoding
Fast, Cheap, Good: Choose Three
cory.news·9h·
Discuss: Hacker News
📏Code Metrics
An Age of AI Enlightenment
xiangfu.co·1d·
Discuss: Hacker News
🤖AI Curation
Falling for Kubernetes
pierce.dev·2d·
Discuss: Hacker News
🏠Homelab Orchestration
How I accidently created the fastest CSV parser ever made
sanixdk.xyz·4d·
Discuss: Lobsters, Hacker News, r/C_Programming
🏗️Compiler Archaeology
ATLAS: Constraints-Aware Multi-Agent Collaboration for Real-World Travel Planning
arxiv.org·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Unpacking Musical Symbolism in Online Communities: Content-Based and Network-Centric Approaches
arxiv.org·7h
💿Binary Musicology
I Made My AI Model 84% Smaller and It Got Better, Not Worse
towardsdatascience.com·2d
🎙️Whisper
The Causal Abstraction Network: Theory and Learning
arxiv.org·1d
🕸️Algebraic Topology
Span-level Detection of AI-generated Scientific Text via Contrastive Learning and Structural Calibration
arxiv.org·7h
📜Digital Philology
TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
arxiv.org·7h
⏰Temporal Logic
ImageDoctor: Diagnosing Text-to-Image Generation via Grounded Image Reasoning
arxiv.org·7h
🤖Advanced OCR
Green Platform Engineering: Sustainable Kubernetes with Kyverno Policies -- Rajeev Samuel Devadas
youtube.com·10h
🧱Immutable Infrastructure
Adaptive Channel Equalization via Hyperdimensional Representation for Multi-Mode Optical Fiber Communication
dev.to·4h·
Discuss: DEV
⚛️Quantum Codecs
KnowGuard: Knowledge-Driven Abstention for Multi-Round Clinical Reasoning
arxiv.org·2d
🎯Proof Tactics
From Ambiguity to Verdict: A Semiotic-Grounded Multi-Perspective Agent for LLM Logical Reasoning
arxiv.org·2d
🏛️Isabelle HOL
HiViS: Hiding Visual Tokens from the Drafter for Speculative Decoding in Vision-Language Models
arxiv.org·2d
💻Local LLMs
Mapping Overlaps in Benchmarks through Perplexity in the Wild
arxiv.org·2d
🎯Performance Proofs
On the Self-awareness of Large Reasoning Models' Capability Boundaries
arxiv.org·2d
🧠Computational Logic
AI Writing Assistants in 2025: Free vs Paid – Which Should You Choose?
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving