Defining Types for a Simple HTTP Server
mmhaskell.comยท1d
๐Type Theory
Flag this post
Inequality and hierarchy are features of all natural systems
mindblog.dericbownds.netยท9h
๐คConsensus Algorithms
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.comยท1d
๐งLinux Kernel
Flag this post
Objects as Random Access Memory
tbr.bearblog.devยท2d
๐๏ธDatabase Internals
Flag this post
Math.random, friend or foe?
#๏ธโฃHash Tables
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
๐พCache Design
Flag this post
xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.comยท1d
๐Query Optimization
Flag this post
The 1337 PNG Hashquine (2022)
#๏ธโฃHash Tables
Flag this post
C++ move semantics from scratch (2022)
๐ฆRust Macros
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
๐Parsing
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.comยท6h
๐ฆRust Macros
Flag this post
Fungus: The Befunge CPU(2015)
โ๏ธSystems Programming
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.orgยท18h
๐Lock-Free Programming
Flag this post
Handbook of Satisfiability (2021)
๐Dynamic Programming
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
๐๏ธDatabase Internals
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.orgยท18h
๐Graph Algorithms
Flag this post
On Designing Low-Latency Systems for High-Traffic Environments
hackernoon.comยท1d
โ๏ธLoad Balancing
Flag this post
Loading...Loading more...