Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท21h
๐Ÿ’ŽInformation Crystallography
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.comยท23hยท
Discuss: Hacker News
โš™๏ธProof Engineering
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.comยท1dยท
Discuss: Hacker News
โœจEffect Handlers
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.orgยท1d
๐Ÿ“œDigital Philology
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.toยท1dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.orgยท3d
๐Ÿง Intelligence Compression
Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.orgยท3d
๐Ÿ“ABNF Extensions
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.toยท3hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Two-Stage Voting for Robust and Efficient Suicide Risk Detection on Social Media
arxiv.orgยท1d
๐Ÿ’พBinary Linguistics
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Comparing human and language models sentence processing difficulties on complex structures
arxiv.orgยท2d
๐Ÿ”—Parser Combinators
MultiCNKG: Integrating Cognitive Neuroscience, Gene, and Disease Knowledge Graphs Using Large Language Models
arxiv.orgยท2d
๐Ÿง Intelligence Compression
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.orgยท1dยท
Discuss: r/LLM
๐Ÿ’ปLocal LLMs
Defeating Return Type Polymorphism
philipphagenlocher.deยท2dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Contrastive Weak-to-strong Generalization
arxiv.orgยท1d
โง—Information Bottleneck
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.orgยท3d
๐ŸŽฏPerformance Proofs
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.orgยท1d
๐Ÿ“ผCassette Combinators