NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·20h
⚡Effectful Programming
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·9h·
Discuss: Substack
🦀Rust Macros
Build It Clean: Large-Scale Detection of Code Smells in Build Scripts
arxiv.org·1d
🔄Reproducible Builds
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·10h
📊Graph Databases
4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·1h
🔬Binary Analysis
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·3h·
Discuss: Hacker News
📊Graph Databases
My AI Workflow for Understanding Any Codebase
steipete.me·14h
⚡Proof Automation
HariSekhon/DevOps-Bash-tools
github.com·22h
🐚Shell Automation
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·1d
🔄Burrows-Wheeler
Ratcheting to zero: How incremental constraints eliminate technical debt
testdouble.com·2d
⚡Incremental Computation
Slashing CI Costs at Uber
uber.com·14h·
Discuss: Hacker News
🔄Reproducible Builds
Shane Kennedy - Software Engineer
shaneikennedy.xyz·1d
🦀Rust Macros
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·23h·
Discuss: Hacker News
🧮Kolmogorov Complexity
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·16h·
Discuss: DEV
📐Error Bounds
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
✨Effect Handlers
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Make Sense of a 10K+ Line GitHub Repos Without Reading the Code
kdnuggets.com·1d
🌿git
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures