All
5+
10+
25+
50+
100+
< Prev
Next >
3
The best multicore-parallelization refactoring you’ve never heard of∗ (cmu.edu)
10 months ago |
g0xA52A2A
| cmu.edu
|
frontpage
2
Mutex without lock, Queue without push: cancel safety in lilos (cliffle.com)
10 months ago |
g0xA52A2A
| cliffle.com
|
newest
2
FAQ with Answers about the 500-mile email (ibiblio.org)
10 months ago |
g0xA52A2A
| ibiblio.org
|
newest
1
The IL Protocol (cat-v.org)
10 months ago |
g0xA52A2A
| cat-v.org
|
newest
1
Writing a 9P Server from Scratch (aqwari.net)
10 months ago |
g0xA52A2A
| aqwari.net
|
newest
1
Userspace Bypass: Accelerating Syscall-Intensive Applications (usenix.org)
10 months ago |
g0xA52A2A
| usenix.org
|
newest
2
Compiling to Intrinsically Typed Combinators (byorgey.wordpress.com)
10 months ago |
g0xA52A2A
| wordpress.com
|
newest
2
Half&Half: Demystifying Intel’s Directional Branch Predictors [video] (youtube.com)
10 months ago |
g0xA52A2A
| youtube.com
|
newest
8
Large Multiplication (numberworld.org)
10 months ago |
g0xA52A2A
| numberworld.org
|
frontpage
0
Distributed Transactions at Scale in Amazon DynamoDB (usenix.org)
10 months ago |
g0xA52A2A
| usenix.org
|
newest
10
Intel VT-rp – Part 1. remapping attack and HLAT (tandasat.github.io)
10 months ago |
g0xA52A2A
| github.io
|
frontpage
5
Simulation Testing for Liveness (tigerbeetle.com)
10 months ago |
g0xA52A2A
| tigerbeetle.com
|
frontpage
2
Large Poisson polynomials: Computation, results and analysis [pdf] (davidhbailey.com)
10 months ago |
g0xA52A2A
| davidhbailey.com
|
newest
1
A persistent task queue in Rust (jmmv.dev)
10 months ago |
g0xA52A2A
| jmmv.dev
|
newest
1
Demystifying Pratt Parsers (janiczek.cz)
10 months ago |
g0xA52A2A
| janiczek.cz
|
newest
3
Propagating bounds through bitwise operations (bitmath.blogspot.com)
10 months ago |
g0xA52A2A
| blogspot.com
|
newest
3
Working Ternary ALU (2019) (louis-dr.github.io)
10 months ago |
g0xA52A2A
| github.io
|
frontpage
1
The Centrality of AffineTraversal (typeclasses.substack.com)
11 months ago |
g0xA52A2A
| substack.com
|
newest
1
Chyp: An interactive theorem prover for string diagrams (github.com/akissinger)
11 months ago |
g0xA52A2A
| github.com
|
newest
1
ICFP Pearl preprint on rec-def (joachim-breitner.de)
11 months ago |
g0xA52A2A
| joachim-breitner.de
|
newest
2
TIL: Don’t forget your Web Manifest file (goodenough.us)
11 months ago |
g0xA52A2A
| goodenough.us
|
frontpage
16
Dynamic programming in Haskell: automatic memoization (byorgey.wordpress.com)
11 months ago |
g0xA52A2A
| wordpress.com
|
best
34
Go: Execution Tracer Overhaul (googlesource.com)
11 months ago |
g0xA52A2A
| googlesource.com
|
best
1
Explainer: Dominion Vulns Reported by Halderman (cybersect.substack.com)
11 months ago |
g0xA52A2A
| substack.com
|
newest
133
Update: U+237C ⍼ &Angzarr; (ionathan.ch)
11 months ago |
g0xA52A2A
| ionathan.ch
|
best
1
Versity open-sources S3 gateway with no poison pill (blocksandfiles.com)
11 months ago |
g0xA52A2A
| blocksandfiles.com
|
newest
1
Anonymous Sums from Scratch (jship.github.io)
11 months ago |
g0xA52A2A
| github.io
|
newest
3
yyjson: A high performance C JSON library (ibireme.github.io)
11 months ago |
g0xA52A2A
| github.io
|
newest
3
What is Lattice-based Cryptography? (thelatticeclub.com)
11 months ago |
g0xA52A2A
| thelatticeclub.com
|
newest
62
Cuneicode, and the Future of Text in C (thephd.dev)
11 months ago |
g0xA52A2A
| thephd.dev
|
best
14
Compress-a-Palooza: Unpacking 5B Varints in Only 4B CPU Cycles (bazhenov.me)
11 months ago |
g0xA52A2A
| bazhenov.me
|
frontpage
1
Tree Borrows – A new aliasing model for Rust (crans.org)
11 months ago |
g0xA52A2A
| crans.org
|
newest
1
Parsing Diff Output in Haskell (prborges.com)
12 months ago |
g0xA52A2A
| prborges.com
|
newest
1
Deco – Delimiter Collision Free Format (github.com/enhex)
12 months ago |
g0xA52A2A
| github.com
|
newest
29
Typical: Data interchange with algebraic data types (github.com/stepchowfun)
12 months ago |
g0xA52A2A
| github.com
|
best
1
Implementing complex numbers and FFT with just datatypes (no floats) (gist.github.com)
12 months ago |
g0xA52A2A
| github.com
|
newest
1
Bound by a Free-Monad-Like Structure (functor.tokyo)
a year ago |
g0xA52A2A
| functor.tokyo
|
newest
1
Hardening Allocators with ADI (lazytyped.blogspot.com)
a year ago |
g0xA52A2A
| blogspot.com
|
newest
3
How Capabilities Work in Austral (borretti.me)
a year ago |
g0xA52A2A
| borretti.me
|
newest
2
Programming in Style: From Pattern Matching to Point Free (dragonwasrobot.com)
a year ago |
g0xA52A2A
| dragonwasrobot.com
|
newest
3
Merkle Tree Certificates for TLS (ietf.org)
a year ago |
g0xA52A2A
| ietf.org
|
newest
1
Ultimate SLH: Taking Speculative Load Hardening to the Next Level (iacr.org)
a year ago |
g0xA52A2A
| iacr.org
|
newest
4
Reversing the AMD Secure Processor (PSP) – Part 1: Design and Overview (dayzerosec.com)
a year ago |
g0xA52A2A
| dayzerosec.com
|
newest
2
Vulkan Shader Resource binding in 2023 (kittycad.io)
a year ago |
g0xA52A2A
| kittycad.io
|
frontpage
5
Purely Functional AVL Trees in Common Lisp (2018) (two-wrongs.com)
a year ago |
g0xA52A2A
| two-wrongs.com
|
frontpage
2
Destroy All Values: Designing Deinitialization in Programming Languages (faultlore.com)
a year ago |
g0xA52A2A
| faultlore.com
|
newest
41
Nibbles of Rust – Restructuring Patterns (catmonad.xyz)
a year ago |
g0xA52A2A
| catmonad.xyz
|
best
168
Effective Spaced Repetition (borretti.me)
a year ago |
g0xA52A2A
| borretti.me
|
best
3
An example run of a matrix-based causal unicast protocol (decomposition.al)
a year ago |
g0xA52A2A
| decomposition.al
|
newest
4
Column-Oriented Row Reduction (bitmath.blogspot.com)
a year ago |
g0xA52A2A
| blogspot.com
|
frontpage
1
The Scoped Task Trilemma (without.boats)
a year ago |
g0xA52A2A
| without.boats
|
newest
18
How to avoid correctness space leaks on a lazy setting in Haskell (epicandmonicisnotiso.blogspot.com)
a year ago |
g0xA52A2A
| blogspot.com
|
frontpage
41
Custom Allocators in Rust (nical.github.io)
a year ago |
g0xA52A2A
| github.io
|
best
53
Calling Purgatory from Heaven: Binding to Rust in Haskell (well-typed.com)
a year ago |
g0xA52A2A
| well-typed.com
|
best
2
Ergonomic newtypes for Haskell strings and numbers (haskellforall.com)
a year ago |
g0xA52A2A
| haskellforall.com
|
newest
32
Comprehensive Keyboard Handling in Terminals (kovidgoyal.net)
a year ago |
g0xA52A2A
| kovidgoyal.net
|
best
2
How to Avoid the ACropalypse (trailofbits.com)
a year ago |
g0xA52A2A
| trailofbits.com
|
newest
34
Decreasing the number of memory accesses (johnnysswlab.com)
a year ago |
g0xA52A2A
| johnnysswlab.com
|
best
1
Ada URL Parser v2.0 (yagiz.co)
a year ago |
g0xA52A2A
| yagiz.co
|
newest
1
Roc Compiles Closures (rwx.com)
a year ago |
g0xA52A2A
| rwx.com
|
newest
1
It’s a shape Jim, but not as we know it (hedraweb.wordpress.com)
a year ago |
g0xA52A2A
| wordpress.com
|
newest
2
Bytedelta: Enhance Your Compression Toolset (blosc.org)
a year ago |
g0xA52A2A
| blosc.org
|
newest
2
EVE: Ephemeral Vector Engines [pdf] (cornell.edu)
a year ago |
g0xA52A2A
| cornell.edu
|
newest
3
Algebraic Path Finding (iagoleal.com)
a year ago |
g0xA52A2A
| iagoleal.com
|
frontpage
41
Fundamentally Understanding and Solving RowHammer (arxiv.org)
a year ago |
g0xA52A2A
| arxiv.org
|
best
2
An Apologia of Lazy Evaluation (epicandmonicisnotiso.blogspot.com)
a year ago |
g0xA52A2A
| blogspot.com
|
newest
3
Defer Blocks and Async Drop (ncameron.org)
a year ago |
g0xA52A2A
| ncameron.org
|
newest
3
An Elegant DB Schema for Double-Entry Accounting (journalize.io)
a year ago |
g0xA52A2A
| journalize.io
|
newest
1
RT-DBSCAN: Accelerating DBSCAN Using Ray Tracing Hardware [pdf] (arxiv.org)
a year ago |
g0xA52A2A
| arxiv.org
|
newest
2
Speeding up Rust semver-checking by over 2000x (predr.ag)
a year ago |
g0xA52A2A
| predr.ag
|
newest
1
Responsibly Reckless Matrix Algorithms for HPC Scientific Applications (computer.org)
a year ago |
g0xA52A2A
| computer.org
|
newest
1
Finding and Understanding Bugs in C Compilers [pdf] (utah.edu)
a year ago |
g0xA52A2A
| utah.edu
|
newest
2
Branching on a GPU (medium.com/jasonbooth_86226)
a year ago |
g0xA52A2A
| medium.com
|
frontpage
11
SWAR: Find any byte from set (0x80.pl)
a year ago |
g0xA52A2A
| 0x80.pl
|
frontpage
1
Lightweight, Predictable Async Send Bounds (theincredibleholk.org)
a year ago |
g0xA52A2A
| theincredibleholk.org
|
newest
1
Why Be Pure? (rachel.cafe)
a year ago |
g0xA52A2A
| rachel.cafe
|
newest
1
FMA Woes (kdab.com)
a year ago |
g0xA52A2A
| kdab.com
|
newest
1
Another take on the binary to text encoding (volution.ro)
a year ago |
g0xA52A2A
| volution.ro
|
newest
1
Intrinsically Typed ASTs (6d03.info)
a year ago |
g0xA52A2A
| 6d03.info
|
newest
1
Re: Double-free vulnerability in OpenSSH server 9.1 (CVE-2023-25136) (seclists.org)
a year ago |
g0xA52A2A
| seclists.org
|
newest
20
The fundamental thermodynamic costs of communication (arxiv.org)
a year ago |
g0xA52A2A
| arxiv.org
|
best
1
Everything you never wanted to know about Applicative laws and more (github.com/alexfmpe)
a year ago |
g0xA52A2A
| github.com
|
newest
2
On the art of giving the same name to different things [pdf] (emilyriehl.github.io)
a year ago |
g0xA52A2A
| github.io
|
newest
5
FlexiRaft: Flexible Quorums with Raft [pdf] (cidrdb.org)
a year ago |
g0xA52A2A
| cidrdb.org
|
frontpage
1
Parsing Zone Files Fast (fosdem.org)
a year ago |
g0xA52A2A
| fosdem.org
|
newest
17
Fast and dynamic encoding of Protocol Buffers in Go (bernat.ch)
a year ago |
g0xA52A2A
| bernat.ch
|
best
21
Reimagining Matrices (2012) (conal.net)
a year ago |
g0xA52A2A
| conal.net
|
frontpage
2
MD5 Optimisation Tricks: Beating OpenSSL’s Hand-Tuned Assembly (github.com/animetosho)
a year ago |
g0xA52A2A
| github.com
|
newest
1
RocksDB microbenchmarks: compilers, Arm and x86 (smalldatum.blogspot.com)
a year ago |
g0xA52A2A
| blogspot.com
|
newest
1
Critical Edge Splitting (nickdesaulniers.github.io)
a year ago |
g0xA52A2A
| github.io
|
newest
1
Monoids in the Category of… (jackkelly.name)
a year ago |
g0xA52A2A
| jackkelly.name
|
newest
2
OpenBSD – xonly status (marc.info)
a year ago |
g0xA52A2A
| marc.info
|
frontpage
2
Fast Polymorphic Record Access (osa1.net)
a year ago |
g0xA52A2A
| osa1.net
|
newest
1
Early Adventures in ZIO Land (bbdimitriu.github.io)
a year ago |
g0xA52A2A
| github.io
|
newest
2
Conformal Geometric Algebra (conformalgeometricalgebra.org)
a year ago |
g0xA52A2A
| conformalgeometricalgebra.org
|
newest
2
A Simpler and Faster NIC Driver Model for Network Functions (usenix.org)
a year ago |
g0xA52A2A
| usenix.org
|
newest
3
R/Haskell – Blow my mind, in one line (reddit.com)
a year ago |
g0xA52A2A
| reddit.com
|
frontpage
258
NRC Certifies First U.S. Small Modular Reactor Design (energy.gov)
a year ago |
g0xA52A2A
| energy.gov
|
best
77
Subverting the software interview (2021) (nliu.net)
a year ago |
g0xA52A2A
| nliu.net
|
best
2
A Solid State of Progress – Fairchild Camera and Instrument Corporation (1979) (archive.org)
a year ago |
g0xA52A2A
| archive.org
|
frontpage
< Prev
Next >