Developing with Nix
andrestc.com·20h
❄️Nixpkgs
derived set
ncatlab.org·1d
🧮Algebraic Archives
Unlock deeper insights with the new Python client library for Data Commons
developers.googleblog.com·19h
🏷️Metadata Standards
GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·22h·
Discuss: Hacker News
💧Liquid Types
The Whole Code Catalog
futureofcoding.org·21h·
Discuss: Hacker News
🔗Concatenative Programming
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·2d
📝Concrete Syntax
An AI Agent That Interprets Papers So You Don’t Have To: Full Build Guide
hackernoon.com·23h
🔬Academic Search
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·7h
🗜️Graph Compression
From Slow as Snail to Fast as Lightning My Web Framework Performance Optimization Practice Record（1751009131538400）
dev.to·3h·
Discuss: DEV
🎬WebCodecs API
Why I Think Decentralized AI Can Be A Game Changer For The Future Of AI?
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Mastering Go Modules: Create, Publish, Conquer! 🚀
dev.to·10h·
Discuss: DEV
🔄Reproducible Builds
Field Sensitive Escape Analysis in Golang?
reddit.com·2d·
Discuss: r/golang
🧠Lisp Dialects
Small Encoders Can Rival Large Decoders in Detecting Groundedness
arxiv.org·7h
🧮Kolmogorov Complexity
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·21h·
Discuss: DEV
🌊Stream Ciphers
Python Fundamentals: asyncio
dev.to·22h·
Discuss: DEV
🌊Stream Processing
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·3d
📏Code Metrics
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·2d
💻Local LLMs
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·2d
🌀Fractal Compression
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·5d·
Discuss: DEV
🧬Functional Programming