Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.orgยท6h
๐Ÿค–Grammar Induction
Python PEP 636 โ€“ Structural Pattern Matching: Tutorial
peps.python.orgยท1dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Teaching Models to Decide When to Retrieve: Adaptive RAG, Part 4
blog.reachsumit.comยท2hยท
Discuss: Hacker News
๐Ÿง Learned Indexing
Three important things to get right for successful AI Coding
kau.shยท17h
โšกProof Automation
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท6hยท
Discuss: DEV
๐Ÿ“Code Metrics
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinลฏ
logicmatters.netยท1d
๐Ÿ”€Category Theory
Atomic and Saturated Models
functor.networkยท2dยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
A grand week
blog.mitrichev.chยท21hยท
Discuss: blog.mitrichev.ch
๐ŸงฎSMT Solvers
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.orgยท6h
๐ŸงฎSMT Solvers
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.orgยท6h
๐Ÿ“‹Document Grammar
Lazy text capitalization with low latency large language models
blog.florianschulz.infoยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Claude Code sucks but is still useful: experiences maintaining Juliaโ€™s SciML scientific computing infrastructure
stochasticlifestyle.comยท4h
๐Ÿ“Code Metrics
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.comยท17hยท
Discuss: r/programming
โšกCache Coherence
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.comยท20hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธKnowledge Graphs
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.netยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Automated Knowledge Graph Validation and Enhancement via Adaptive Semantic Refinement
dev.toยท22hยท
Discuss: DEV
๐Ÿ”—Constraint Handling
How Much Should You Tell Your AI Agent?
raymondyxu.comยท16hยท
Discuss: Hacker News
โšกProof Automation
Building a Command-Line Quiz Application in R
towardsdatascience.comยท20h
๐ŸšShell Calculus
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.comยท23hยท
Discuss: Hacker News
โœ“Automated Theorem Proving
Seriously Testing LLMs
satisfice.comยท9h
๐Ÿ”Concolic Testing