The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·3d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
HariSekhon/DevOps-Bash-tools
github.com·22h
🐚Shell Automation
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·2h·
Discuss: DEV
🔌Operating system internals
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·1d
🔄Schema Evolution
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·17h
📋Protocol Buffers
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·20h
🔍Type Inference
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·49m·
Discuss: Hacker News
📟Terminal Typography
To Bind and Loose a Reference
thephd.dev·4d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
The collective waste caused by poor documentation
shanrauf.com·22h·
Discuss: Hacker News
📦Deflate
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·20h
🧠Intelligence Compression
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·15h·
Discuss: Hacker News
🌀Brotli Internals
Threaded Code
muforth.dev·13h·
Discuss: Hacker News
🦀Rust Macros
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·20h
🔗Topological Sorting
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·2d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·6h·
Discuss: Hacker News
⚡Proof Automation
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming