Compressed data structures for Heegaard splittings
arxiv.org·4h
🕳️Persistent Homology
Janet Feature Demos
github.com·2h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
What are Vectors and Matrices?
dev.to·1d·
Discuss: DEV
📐Linear Algebra
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·15h
🎯Gradual Typing
Parsing Safetensors File Format in C
leetarxiv.substack.com·17h·
Discuss: Substack, r/programming
✅Format Verification
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
2048: iterators and iterables
nedbatchelder.com·21h
🔓Reverse engineering
Billions of Edges per Second with Postgres
onesparse.com·14h·
Discuss: Hacker News
🗜️Graph Compression
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·3h
🔧RISC-V Assembler
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·56m·
Discuss: Hacker News
🌀Brotli Internals
A Rust Shaped Hole
mnvr.in·20h·
Discuss: Hacker News
🦀Rust Macros
How to Optimize Your Python Code Even If You’re a Beginner
kdnuggets.com·1d
🌊Streaming Algorithms
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·4h
🕸️Neo4j
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing