NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·19h
🔗Topological Sorting
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
My AI Workflow for Understanding Any Codebase
steipete.me·12h
⚡Proof Automation
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·15h·
Discuss: DEV
⚡Performance Tools
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Why Dyad?: A Perspective for Modelica Users
juliahub.com·8h·
Discuss: Hacker News
💧Liquid Types
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·17h
📝Concrete Syntax
Oblique Strategies for Vibe Coding
useyourexperience.com·1d·
Discuss: Hacker News
🇸🇪Nordic Algorithms
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·15h
⬆️Lambda Lifting
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·14h·
Discuss: Hacker News
🌀Brotli Internals
Explaining software and computational methods
blog.khinsen.net·23h·
Discuss: Hacker News
📝Concrete Syntax
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·11h·
Discuss: Hacker News
🔗Constraint Handling
Treasure Case Sharing of HarmonyOS 5 Development — Practical Tips for Application Architecture
dev.to·1h·
Discuss: DEV
🔌Interface Evolution
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·1d·
Discuss: Hacker News
🔗Topological Sorting
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·22h·
Discuss: Hacker News
🦀Rust Macros
Pair Programming against Agentic Dementia
dev.to·1d·
Discuss: DEV
📼Tape Combinators
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·1d·
Discuss: Hacker News
🦀Rust Macros
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Simulating a neural operating system with Gemini 2.5 Flash-Lite
developers.googleblog.com·4h
🎯Emulator Accuracy