Visual Representations inside the Language Model
arxiv.org·8h
🧮Vector Embeddings
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
📝Concrete Syntax
Cactus Language • Semantics 1
inquiryintoinquiry.com·20h
🔢Denotational Semantics
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Culture, Language, and Generative Language Models
cacm.acm.org·23h
🤖Grammar Induction
The Chip That Spoke Lisp
jxself.org·1h
🤖Lisp Machines
RAG Chunking Strategies That Actually Work (and Why Most Don’t)
dev.to·3h·
Discuss: DEV
📄Text Chunking
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·8h
💻Programming languages
Embedding Lua in Nim
lambdacreate.com·1d
🦀Rust Macros
Detecting Distillation Data from Reasoning Models
arxiv.org·8h
⚙️ABNF Mining
The Mondrian introduction to functional optics
marcosh.github.io·3h·
Discuss: Hacker News
⟷Bidirectional Programming
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.org·8h
🗂️Vector Search
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1d
🧮SMT Solvers
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·12h·
Discuss: Hacker News
🧠Intelligence Compression
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·8h
💻Programming languages
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·8h
⚡Proof Automation
LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.org·8h
💻Local LLMs
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.org·8h
📊HyperLogLog
Lazy text capitalization with low latency large language models
blog.florianschulz.info·2d·
Discuss: Hacker News
🌀Brotli Internals
Efficient Test-Time Scaling for Small Vision-Language Models
arxiv.org·8h
🗜️LZW Variants