SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·2d
🧠Computational Logic
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Visual hallucination detection in large vision-language models via evidential conflict
arxiv.org·14h
📊Learned Metrics
Godel's Incompleteness Theorem
news.ycombinator.com·1h·
Discuss: Hacker News
🔤Type Theory
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
What LLMs Know About Their Users
schneier.com·7h·
Discuss: Hacker News
💻Local LLMs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Machine Learning Fundamentals: active learning project
dev.to·2h·
Discuss: DEV
🧠Machine Learning
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·11h·
Discuss: DEV
⚡Proof Automation
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
KnowRL: Exploring Knowledgeable Reinforcement Learning for Factuality
arxiv.org·14h
🧠Intelligence Compression
Conversational Intent-Driven GraphRAG: Enhancing Multi-Turn Dialogue Systems through Adaptive Dual-Retrieval of Flow Patterns and Context Semantics
arxiv.org·14h
🧮Prolog Parsing
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·23h·
Discuss: Hacker News
🤖Archive Automation
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
Hypercubical manifolds in homotopy type theory
arxiv.org·14h
🔶Cubical Type Theory
BNFGen: A random text generator based on context-free grammars
baturin.org·30m·
Discuss: Hacker News
🌳Context free grammars