NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท1d
๐Ÿ”—Topological Sorting
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท12h
๐Ÿ“Concrete Syntax
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.comยท6hยท
Discuss: Hacker News
๐Ÿ“ŠGraph Databases
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท22h
๐Ÿ“Concrete Syntax
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.orgยท20m
โšกIncremental Computation
Algorithm Complexity: Time, Space, and Big-O Notation
dev.toยท18hยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
An OCC Idea
lambdacreate.comยท16h
๐Ÿ—„๏ธDatabase Internals
Fast and Distributed Equivariant Graph Neural Networks by Virtual Node Learning
arxiv.orgยท1d
๐ŸŒ€Riemannian Computing
Writing Toy Software Is a Joy
quiz.businessexplain.comยท1hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
2025-06-24: GPU Hours Granted on Hypothesis Generation by Oak Ridge Leadership Computing Facility
ws-dl.blogspot.comยท1dยท
Discuss: ws-dl.blogspot.com
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท14h
๐Ÿ“ŠGraph Databases
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท16hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Greedy Is Good. Less Greedy May Be Better
gojiberries.ioยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Learning Plan Architect: Design Your Mastery Blueprint ๐Ÿ—๏ธ๐ŸŽฏ๐Ÿค–๐ŸŒ 
dev.toยท3hยท
Discuss: DEV
๐Ÿ“Proof Assistants
Show HN: ToolQL โ€“ Create AI Tools with GraphQL
toolql.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŠGraph Databases
BNFGen: A random text generator based on context-free grammars
baturin.orgยท10hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.comยท12h
๐Ÿ’ปLocal LLMs
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.orgยท1d
๐Ÿ•ธ๏ธGraph Algorithms