On Having a Data Object
🗄️Database Internals
Flag this post
How Experts Use AI: Mitchell Hashimoto
⚔️Lean Tactics
Flag this post
PMPP-Eval Journey
🔍Concolic Testing
Flag this post
LLMs Are Bottlenecked by Linear Interfaces
📏Linear Logic
Flag this post
A Vision for Future Low-Level Languages
🦀Rust Borrowing
Flag this post
An adaptable toolkit to build APIs and agents, with friendly interfaces for streaming, multimodality and integrations
🌊Streaming Systems
Flag this post
SABlock: Semantic-Aware KV Cache Eviction with Adaptive Compression Block Size
arxiv.org·1d
📄Text Chunking
Flag this post
Think Twice: Branch-and-Rethink Reasoning Reward Model
arxiv.org·1d
⚡Incremental Computation
Flag this post
DETECT: Determining Ease and Textual Clarity of German Text Simplifications
arxiv.org·1d
⚙️Compression Benchmarking
Flag this post
Recognizing internal states in AI: evidence from patterned preferences in large language models
arxiv.org·1d
🤖Automated Parsing
Flag this post
Show HN: Rewriting Scratch 3.0 from scratch in Lua (browser-free native runtime)
🎯Emulator Accuracy
Flag this post
KARIPAP: Quantum-Inspired Tensor Network Compression of Large Language Models Using Infinite Projected Entangled Pair States and Tensor Renormalization Group
arxiv.org·1d
🕸️Tensor Networks
Flag this post
GTR-Mamba: Geometry-to-Tangent Routing for Hyperbolic POI Recommendation
arxiv.org·1d
🌀Riemannian Computing
Flag this post
Dependent Session Types for Verified Concurrent Programming
arxiv.org·6d
📞Session Types
Flag this post
CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs
arxiv.org·1d
👁️Observatory Systems
Flag this post
Leverage Unlearning to Sanitize LLMs
arxiv.org·2d
💻Local LLMs
Flag this post
Corpus Frequencies in Morphological Inflection: Do They Matter?
arxiv.org·1d
🔤Morphological Analysis
Flag this post
Loading...Loading more...