HNHacker News
TopNewBestAskShowJobs

tekknolagi

1,872 karma · joined October 6, 2011

[ my public key: https://keybase.io/tekknolagi; my proof: https://keybase.io/tekknolagi/sigs/3yeAq3H_gbqDnK8_Il6wEe8ncwrDEkYiZc0ld5NxGIE ]

https://bernsteinbear.com

email on website

submissionscomments

A quick look at zero-knowledge proofs

bernsteinbear.com·2 pts·tekknolagi·
0

A quick look at zero-knowledge proofs

bernsteinbear.com·4 pts·tekknolagi·
1

Value Numbering

bernsteinbear.com·2 pts·tekknolagi·
0

The acyclic e-graph: Cranelift's mid-end optimizer

cfallin.org·74 pts·tekknolagi·
22

Value numbering

bernsteinbear.com·2 pts·tekknolagi·
0

ZJIT removes redundant object loads and stores

railsatscale.com·92 pts·tekknolagi·
19

Two mechanisms for dynamic type checks

wingolog.org·1 pts·tekknolagi·
0

The GDB JIT Interface

bernsteinbear.com·6 pts·tekknolagi·
0

Adding Iongraph Support to ZJIT

railsatscale.com·8 pts·tekknolagi·
1

Graph Neural Networks for Faster Search

chrisgregory.me·2 pts·tekknolagi·
0

ClassDistribution from S6 JIT is neat

bernsteinbear.com·3 pts·tekknolagi·
0

Zero-overhead checks with fake stack overflows

bernsteinbear.com·1 pts·tekknolagi·
0

Fast Allocations in Ruby 3.5

railsatscale.com·267 pts·tekknolagi·
67

ZJIT has been merged into Ruby

railsatscale.com·50 pts·tekknolagi·
6

And Change

pdubroy.github.io·4 pts·tekknolagi·
2

Doing the Prospero-Challenge in RPython

pypy.org·29 pts·tekknolagi·
2

Nix derivations by hand, without guessing

bernsteinbear.com·3 pts·tekknolagi·
0

The Prospero Challenge

mattkeeter.com·2 pts·tekknolagi·
0

Optimizing Django by not being silly

bernsteinbear.com·2 pts·tekknolagi·
0

Representing Type Lattices Compactly

bernsteinbear.com·87 pts·tekknolagi·
27

Interprocedural sparse conditional type propagation

railsatscale.com·2 pts·tekknolagi·
0

A Compiler IR for Scrapscript

bernsteinbear.com·5 pts·tekknolagi·
0

Weak references and garbage collectors

bernsteinbear.com·3 pts·tekknolagi·
0

Baby's Second Garbage Collector

jennyjams.net·2 pts·tekknolagi·
0

Abstract Interpretation in the Toy Optimizer

bernsteinbear.com·2 pts·tekknolagi·
0

Some Tricks from the Scrapscript Compiler

bernsteinbear.com·2 pts·tekknolagi·
0

Vectorizing ML Models for Fun

bernsteinbear.com·1 pts·tekknolagi·
1

Cado: Python notebook IDE with a focus on reactivity

github.com·4 pts·tekknolagi·
1

A quick look at destination-driven code generation

bernsteinbear.com·60 pts·tekknolagi·
10

Compiling ML models to C for fun

bernsteinbear.com·3 pts·tekknolagi·
0
Page 1 of 3Next →