Random samples from a tetrahedron
johndcook.com·12h
🔢Algebraic Datatypes
Cactus Language • Semantics 3
inquiryintoinquiry.com·1d
📋Backus-Naur Form
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
LINQ and Learning to Be Declarative
nickstambaugh.dev·2d·
Discuss: Hacker News
📋Datalog
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to·2d·
Discuss: DEV
🔄Subinterpreters
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·1d·
Discuss: DEV
🪄C Metaprogramming
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·3d
🗺️Region Inference
The Conveyor Belt Protocol: Understanding Iterators
dev.to·20h·
Discuss: DEV
🪢Rope Data Structures
On Limits on the Provable Consequences of Quantum Pseudorandomness
eprint.iacr.org·4d
🧮Combinator Calculus
P-adic numbers and kernels
arxiv.org·1d
🧮Combinator Calculus
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📦Compression Algorithms
Enhanced Parasitic R/L Extraction in Die-Stacked ICs via Adaptive Finite Element Modeling and Bayesian Optimization
dev.to·2h·
Discuss: DEV
⚡JIT Optimizations
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
📋JSON Parsing
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🗺️Region Inference
Distributed robust cooperative optimization of multi-integrated energy systems based on variational inequality-driven non-cooperative game theory
sciencedirect.com·1d
⚡Control Synthesis
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🌲Deforestation
Emergent Coordination in Heterogeneous Multi-Agent Systems Through Differentiable Communication
dev.to·15h·
Discuss: DEV
📡Erlang
CRUD, reps, repeat - My Database Grind
dev.to·5h·
Discuss: DEV
🎓Educational Databases
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🐹Goroutine Scheduling