g0xA52A2A

9 ms·

151.
Knot-based Key Exchange protocol [pdf](eprint.iacr.org)
1 points by g0xA52A2A 2y ago|0 comments
152.
lsb2s – Ludicrous speed binary to source converter(gitlab.com)
1 points by g0xA52A2A 2y ago|0 comments
153.
Overflow in consistent hashing (2018)(rmarcus.info)
81 points by g0xA52A2A 2y ago|15 comments
154.
Union vs. Sum Types(viralinstruction.com)
1 points by g0xA52A2A 2y ago|0 comments
155.
Building a Better Hashtable on an FPGA(adamwalker.github.io)
2 points by g0xA52A2A 2y ago|0 comments
156.
Notes on Implementing Algebraic Subtyping(semantic.org)
3 points by g0xA52A2A 2y ago|0 comments
157.
A small template engine for C(omarpolo.com)
3 points by g0xA52A2A 2y ago|0 comments
158.
Modular Error Reporting with Dependent Lenses(cybercat.institute)
1 points by g0xA52A2A 2y ago|0 comments
159.
Decoding UTF8 with parallel extract(nrk.neocities.org)
111 points by g0xA52A2A 2y ago|20 comments
160.
Not all graphs are trees(buttondown.email)
117 points by g0xA52A2A 2y ago|50 comments
161.
Heartbeat Scheduling: Provable efficiency for nested parallelism(andrew.cmu.edu)
2 points by g0xA52A2A 2y ago|0 comments
162.
Lolita: A tagless, dependently typed, self-aware programming language(hirrolot.github.io)
32 points by g0xA52A2A 2y ago|45 comments
163.
Unanimous 2PC: Fault-Tolerant Distributed Transactions Can Be Fast and Simple(dl.acm.org)
2 points by g0xA52A2A 2y ago|0 comments
164.
Knuth–Morris–Pratt illustrated(cambridge.org)
189 points by g0xA52A2A 3y ago|46 comments
165.
Why is there no realloc that takes the number of bytes to copy?(shift.click)
1 points by g0xA52A2A 3y ago|2 comments
166.
Open-source XYZ nanopositioner for precision analytical applications(pubmed.ncbi.nlm.nih.gov)
1 points by g0xA52A2A 3y ago|0 comments
167.
Rendering string diagrams recursively [pdf](arxiv.org)
29 points by g0xA52A2A 3y ago|4 comments
168.
Gentle Intro to Type-Level Recursion in Rust: From Zero to HList Sculpting(beachape.com)
2 points by g0xA52A2A 3y ago|0 comments
169.
Agave Font(b.agaric.net)
2 points by g0xA52A2A 3y ago|0 comments
170.
Linear Algebra of Types (2019)(philipzucker.com)
115 points by g0xA52A2A 3y ago|8 comments
171.
In Search of the Perfect Fold(thunderseethe.dev)
3 points by g0xA52A2A 3y ago|0 comments
172.
Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec(github.com)
135 points by g0xA52A2A 3y ago|13 comments
173.
Understanding the Phases Applicative(gist.github.com)
2 points by g0xA52A2A 3y ago|0 comments
174.
Faster and Fewer Page Faults(kernel-recipes.org)
2 points by g0xA52A2A 3y ago|0 comments
175.
What's in a GIF?(ionathan.ch)
2 points by g0xA52A2A 3y ago|0 comments
176.
Why Is Defunctionalization Good?(michaelpj.com)
2 points by g0xA52A2A 3y ago|0 comments
177.
Evaluating the Claims of "SAT Requires Exhaustive Search"(arxiv.org)
2 points by g0xA52A2A 3y ago|0 comments
178.
A compact relocation format for ELF(maskray.me)
4 points by g0xA52A2A 3y ago|0 comments
179.
QuePaxa: Escaping the Tyranny of Timeouts in Consensus(bford.info)
1 points by g0xA52A2A 3y ago|0 comments
180.
SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)(paulgazzillo.com)
95 points by g0xA52A2A 3y ago|14 comments

More ›