OpenDylan sheds some parentheses in 2025.1 update
theregister.com·11h
🧠Lisp Dialects
Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·1d
⚔️Lean Tactics
7 AI Agent Frameworks for Machine Learning Workflows in 2025
machinelearningmastery.com·9h
⚡Proof Automation
Judge Alsup: Training AI On Copyrighted Works? Fair Use. Building Pirate Libraries? Not So Much
techdirt.com·4h
⚖️Emulation Ethics
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
meroxa.com·12h·
Discuss: Hacker News, r/golang
💧Liquid Types
Mastering Dijkstra's Algorithm in C++ with CXXGraph
medium.com·11h·
Discuss: Hacker News
📐E-graphs
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·3h·
Discuss: Hacker News
🧭Content Discovery
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·17h
💻Local LLMs
Just a Baby in Coding (That's Okay)
dev.to·5h·
Discuss: DEV
λLambda Formalization
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·1d
📋Protocol Buffers
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
reddit.com·12h·
Discuss: r/golang
🔗Concatenative Programming
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
The Engineering Tradeoffs Behind HNSW-Based Vector Search
dev.to·14h·
Discuss: DEV
🗂️Vector Databases
Ecma International approves ECMAScript 2025: What’s new?
2ality.com·21h·
Discuss: Hacker News
🎯Gradual Typing
Coccinelle for Rust progress report (Collabora blog)
lwn.net·6h
🦀Rust Borrowing
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·1d
🔗Topological Sorting
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·17h
⚡Incremental Computation