Managing Asynchronous Work with Celery and Redis
dev.toยท16hยท
Discuss: DEV
๐ŸŒŠApache Kafka
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.orgยท22h
๐Ÿ“Compression Bounds
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.devยท1dยท
Discuss: Hacker News
๐Ÿ”Hash Functions
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.comยท1hยท
Discuss: Hacker News
๐ŸŽงLearned Audio
DRACO: Data Replication and Collection Framework for Enhanced Data Availability and Robustness in IoT Networks
arxiv.orgยท22h
๐Ÿ•ธ๏ธMesh Networking
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.toยท23hยท
Discuss: DEV
๐ŸงฉRISC-V
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
Bidirectional type checking step by step (in Ruby)
luizpvas.github.ioยท4hยท
Discuss: Hacker News
โฌŒBidirectional Typing
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.orgยท1d
๐ŸงฎKolmogorov Complexity
Operable Software
ferd.caยท13hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Let's Write a Macro in Rust
hackeryarn.comยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Preference-aware routing for Claude Code 2.0
archgw.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.orgยท1d
๐Ÿ“œManuscript Algebras
The Linus Method: How we simiplifed RFC reviews
devashish.meยท10hยท
Discuss: Hacker News
โš™๏ธProof Engineering
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.toยท1dยท
Discuss: DEV
โšกCache Theory
Build an Unbreakable EVM Read Stack in Python: Async Web3.py, ABIs, Proxies, and Decimals
dev.toยท7hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.aiยท13hยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs