Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·2d
🧮Theorem Proving
CodeQL zero to hero part 5: Debugging queries
github.blog·17h
🔓Reverse engineering
Astral's ty: A New Blazing-Fast Type Checker for Python
realpython.com·18h
🎯Gradual Typing
RFC 677: Maintenance of duplicate databases (1975)
rfc-editor.org·1d·
Discuss: Hacker News
🛡️Preservation Proofs
Death of the Novel(ty): Beyond n-Gram Novelty as a Metric for Textual Creativity
arxiv.org·1d
🧠Intelligence Compression
Brain-language fusion enables interactive neural readout and in-silico experimentation
arxiv.org·4h
💻Local LLMs
OjaKV: Context-Aware Online Low-Rank KV Cache Compression with Oja's Rule
arxiv.org·1d
🌊Streaming Compression
Teaching LLMs to spell with token healing
blog.sweep.dev·3d·
Discuss: Hacker News
🔍Z3 Parsing
FoodSEM: Large Language Model Specialized in Food Named-Entity Linking
arxiv.org·1d
🔍Information Retrieval
GHOST: Hallucination-Inducing Image Generation for Multimodal LLMs
arxiv.org·4h
🎙️Whisper
Quark's Outlines: Python Lists
dev.to·1d·
Discuss: DEV
⭐Awesome lists
SCORE: A Semantic Evaluation Framework for Generative Document Parsing
arxiv.org·5d
📄Text Chunking
Positional Encoding - Sense of direction for Transformers
dev.to·1d·
Discuss: DEV
🎯Arithmetic Coding Theory
Generative Modeling and Decision Fusion for Unknown Event Detection and Classification Using Synchrophasor Data
arxiv.org·4h
🔍Vector Forensics
Hyperspherical Latents Improve Continuous-Token Autoregressive Generation
arxiv.org·4h
🚀SIMD Text Processing
StepORLM: A Self-Evolving Framework With Generative Process Supervision For Operations Research Language Models
arxiv.org·1d
⚡Incremental Computation
Dynamic Experts Search: Enhancing Reasoning in Mixture-of-Experts LLMs at Test Time
arxiv.org·1d
✓Automated Theorem Proving
REALIGN: Regularized Procedure Alignment with Matching Video Embeddings via Partial Gromov-Wasserstein Optimal Transport
arxiv.org·4h
🧠Neural Compression
Contrastive Learning Enhances Language Model Based Cell Embeddings for Low-Sample Single Cell Transcriptomics
arxiv.org·4h
🗂️Vector Databases
What Is The Political Content in LLMs' Pre- and Post-Training Data?
arxiv.org·1d
📋Document Grammar