Top New Best Ask Show Jobs

g0xA52A2A

14,336 karma · joined May 15, 2016

submissions comments

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

queue.acm.org·4 pts·g0xA52A2A·

Pwn2Own Automotive: Popping the Charx SEC-3100

blog.ret2.io·1 pts·g0xA52A2A·

Optics for UI 1: Deconstructing React with Parametrised Lenses

cybercat.institute·2 pts·g0xA52A2A·

A Practical Interpretation of Linear Logic

protovision.github.io·3 pts·g0xA52A2A·

Into CPS, Never to Return

bernsteinbear.com·137 pts·g0xA52A2A·

Well-Typed Substructural Languages

zanzix.github.io·4 pts·g0xA52A2A·

Hacking physics from the back of a napkin (2020)

hapax.github.io·122 pts·g0xA52A2A·

Dependent Types and the Art of HTTP Headers

github.com·2 pts·g0xA52A2A·

The Rise of Bluesky

cacm.acm.org·46 pts·g0xA52A2A·

Scientific computing with confidence using typed dimensions

laurentrdc.xyz·97 pts·g0xA52A2A·

Reliable Immutable Transfer Protocol

paper.wf·2 pts·g0xA52A2A·

OpenVMM – A New VMM for Windows and Linux, Written in Rust

github.com·171 pts·g0xA52A2A·

Linearity in Query Processing

buttondown.com·1 pts·g0xA52A2A·

Hytradboi 2025

scattered-thoughts.net·1 pts·g0xA52A2A·

OpenBSD crond / crontab set_range() heap underflow (CVE-2024-43688)

supernetworks.org·3 pts·g0xA52A2A·

Behind the Scenes on Type Directed Search for Unison Share

unison-lang.org·3 pts·g0xA52A2A·

Abstract Interpretation in the Toy Optimizer

bernsteinbear.com·3 pts·g0xA52A2A·

No More Tears, No More Knots: Arena-Allocated Trees in Rust

deciduously.com·3 pts·g0xA52A2A·

EGraphs as Ground Completion Talk and Egraphs 2024 Notes

philipzucker.com·2 pts·g0xA52A2A·

Sans I/O when rubber meets the road

fractalideas.com·1 pts·g0xA52A2A·

Identifying Leap Years (2020)

davecturner.github.io·28 pts·g0xA52A2A·

What does GCD have in common with leap years?

palaiologos.rocks·1 pts·g0xA52A2A·

The FastLanes Compression Layout: Decoding >100B Integers per Second [pdf]

vldb.org·2 pts·g0xA52A2A·

Spending too much time optimizing for loops

octavelarose.github.io·2 pts·g0xA52A2A·

Inline caching in our AST interpreter

octavelarose.github.io·1 pts·g0xA52A2A·

Knot-based Key Exchange protocol [pdf]

eprint.iacr.org·1 pts·g0xA52A2A·

lsb2s – Ludicrous speed binary to source converter

gitlab.com·1 pts·g0xA52A2A·

Overflow in consistent hashing (2018)

rmarcus.info·81 pts·g0xA52A2A·

Union vs. Sum Types

viralinstruction.com·1 pts·g0xA52A2A·

Building a Better Hashtable on an FPGA

adamwalker.github.io·2 pts·g0xA52A2A·

← PreviousPage 5 of 15Next →