Lore Laundering Machines - by Ben Recht - arg min
argmin.net·1d
🎯Performance Proofs
Flag this post
How I Would Learn Bioinformatics from Scratch 12 Years Later: A Roadmap
divingintogeneticsandgenomics.com·1d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Klog – a plain-text file format and a command line tool for time tracking
klog.jotaen.net·9h·
Discuss: Hacker News
⏱️Interval Archives
Flag this post
YAML Tutorial: A Complete Language Guide with Examples
spacelift.io·22h·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Recognizing internal states in AI: evidence from patterned preferences in large language models
arxiv.org·14h
🤖Automated Parsing
Flag this post
DETECT: Determining Ease and Textual Clarity of German Text Simplifications
arxiv.org·14h
⚙️Compression Benchmarking
Flag this post
SABlock: Semantic-Aware KV Cache Eviction with Adaptive Compression Block Size
arxiv.org·14h
📄Text Chunking
Flag this post
Think Twice: Branch-and-Rethink Reasoning Reward Model
arxiv.org·14h
Incremental Computation
Flag this post
Morphologically Intelligent Perturbation Prediction with FORM
arxiv.org·1d
🌀Differential Geometry
Flag this post
Implementing Minimax for Game AI: From Basic Algorithm to Optimized Search
dev.to·23h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Goodbye Guesswork: Code Generation That Knows What It Doesn't Know
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
AI-Powered Contractual Ambiguity Resolution via Semantic Graph Alignment and Bayesian Inference
dev.to·20h·
Discuss: DEV
🔗Constraint Handling
Flag this post
CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs
arxiv.org·14h
👁️Observatory Systems
Flag this post
Leverage Unlearning to Sanitize LLMs
arxiv.org·1d
💻Local LLMs
Flag this post
The Reasoning Trap: How Enhancing LLM Reasoning Amplifies Tool Hallucination
arxiv.org·14h
📏Linear Logic
Flag this post
Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learning
arxiv.org·14h
🔗Parser Combinators
Flag this post
Corpus Frequencies in Morphological Inflection: Do They Matter?
arxiv.org·14h
🔤Morphological Analysis
Flag this post
💻 Leveling Up My Python Skills – 3 Weeks, 150 Problems!
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
Flag this post
Corecursion
en.wikipedia.org·4d·
Discuss: Hacker News
λLambda Encodings
Flag this post
AgentKit: How Efficient Laziness Fixes Fragile LLM Workflows
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Flag this post