It's elementary: Problem-solving AI approach tackles inverse problems used in nuclear physics and beyond
phys.org·2h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4h·
Discuss: Substack
🦀Rust Macros
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·15h
🔗Topological Sorting
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·9h·
Discuss: Hacker News, r/programming
🔗Lisp
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·13h
📝Concrete Syntax
Gen AI & Langchain Master Class
dev.to·1d·
Discuss: DEV
🎙️Whisper
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·2d
📏Linear Logic
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
Connect Claude AI with Obsidian: A Game-Changer for Knowledge Management 🚀
dev.to·1d·
Discuss: DEV
🤖Archive Automation
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.org·1d
🧮SMT Solvers
BNFGen: A random text generator based on context-free grammars
baturin.org·1h·
Discuss: Hacker News
🌳Context free grammars