NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·9h·
Discuss: DEV
⚡Performance Tools
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·8h
📞Session Types
Oblique Strategies for Vibe Coding
useyourexperience.com·1d·
Discuss: Hacker News
🇸🇪Nordic Algorithms
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·11h
📝Concrete Syntax
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·10h
⬆️Lambda Lifting
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Lessons from LangChain and Slack and MCP Integration
medium.com·20h·
Discuss: Hacker News
🔗Topological Sorting
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
Pair Programming against Agentic Dementia
dev.to·21h·
Discuss: DEV
📼Tape Combinators
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·2d
🔗Concatenative Programming
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·19h·
Discuss: Hacker News
🦀Rust Macros
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver