Building a Rules Engine from First Principles
towardsdatascience.com·2d
⚖️Inference Rules
Flag this post
The Structure of Data
🪢Rope Data Structures
Flag this post
[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
📦Message Serialization
Flag this post
Oops, My UUIDs Collided
🔗Hash Functions
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
🔗Go Generics
Flag this post
Hidden network preserved in Slide-tags data allows reference-free spatial reconstruction
nature.com·1d
🗺️Region Inference
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
✨Gleam
Flag this post
Fungus: The Befunge CPU(2015)
🌳B+ Trees
Flag this post
Linkage
11011110.github.io·21h
🪢Rope Data Structures
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🔗Category Theory
Flag this post
Proving Authenticated Key Exchange via Memory-Efficient Reductions
eprint.iacr.org·3d
📡Binary Protocols
Flag this post
Vectorizing for Fun and Performance
🔀SIMD Programming
Flag this post
Stable Video Infinity: Infinite-Length Video Generation with Error Recycling
🌊Streaming Lexers
Flag this post
De Bruijn Numerals
λLambda Calculus
Flag this post
Loading...Loading more...