OpenDylan sheds some parentheses in 2025.1 update
theregister.com·6h
🧠Lisp Dialects
Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·21h
⚔️Lean Tactics
7 AI Agent Frameworks for Machine Learning Workflows in 2025
machinelearningmastery.com·4h
⚡Proof Automation
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
meroxa.com·7h·
Discuss: Hacker News, r/golang
💧Liquid Types
The Guide to the Foundation Models Framework
azamsharp.com·1d·
Discuss: Hacker News
λLambda Formalization
Using OpenTelemetry to Diagnose a Critical Memory Leak
hackernoon.com·1d
👁️System Observability
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
"Why is the Rust compiler so slow?"
sharnoff.io·5h·
Discuss: Lobsters
🦀Rust Macros
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
reddit.com·7h·
Discuss: r/golang
🔗Concatenative Programming
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·2d
🎯Gradual Typing
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·12h
💻Local LLMs
Just a Baby in Coding (That's Okay)
dev.to·51m·
Discuss: DEV
λLambda Formalization
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·1d
📋Protocol Buffers
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·22h·
Discuss: DEV
🌊Stream Processing
Ecma International approves ECMAScript 2025: What’s new?
2ality.com·16h·
Discuss: Hacker News
🎯Gradual Typing
The Engineering Tradeoffs Behind HNSW-Based Vector Search
dev.to·10h·
Discuss: DEV
🗂️Vector Databases
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