Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🔗Parser Combinators
Flag this post
C++ move semantics from scratch (2022)
😴Lazy Evaluation
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·13h
➡️Arrows
Flag this post
Can-t stop till you get enough
🚫Branch-Free Programming
Flag this post
How much disorder is there in a descending run?
➡️Arrows
Flag this post
A Bit Easier
briankoberlein.com·17h
😴Lazy Evaluation
Flag this post
Another way of doing big O notation
alok.github.io·1d
➡️Arrows
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·6h
😴Lazy Evaluation
Flag this post
A high-quality chromosome-level genome assembly of herbaceous bamboo species <i>Lithachne pauciflora</i>
nature.com·2h
🔗Parser Combinators
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·1d
🌲Persistent Data Structures
Flag this post
Dive into Systems
🔬BPF
Flag this post
The “Most Hated” CSS Feature: tan()
css-tricks.com·1h
➡️Arrows
Flag this post
Jordan triple system
ncatlab.org·2d
➡️Arrows
Flag this post
Scala vs. F#
🔵Clojure
Flag this post
Loading...Loading more...