tekknolagi

7 ms·

1.
A quick look at zero-knowledge proofs(bernsteinbear.com)
2 points by tekknolagi 1mo ago|0 comments
2.
A quick look at zero-knowledge proofs(bernsteinbear.com)
4 points by tekknolagi 1mo ago|1 comments
3.
by tekknolagi 3mo ago
Please feel free to open a PR. I'm a bit AFK
4.
Value Numbering(bernsteinbear.com)
2 points by tekknolagi 5mo ago|0 comments
5.
by tekknolagi 5mo ago
See also https://github.com/nedbat/byterun and https://github.com/rocky/x-python
6.
by tekknolagi 5mo ago
Damn. I wish I thought of that.
7.
The acyclic e-graph: Cranelift's mid-end optimizer(cfallin.org)
74 points by tekknolagi 5mo ago|22 comments
8.
Value numbering(bernsteinbear.com)
2 points by tekknolagi 5mo ago|0 comments
9.
ZJIT removes redundant object loads and stores(railsatscale.com)
92 points by tekknolagi 6mo ago|19 comments
10.
by tekknolagi 6mo ago
I will add "compiler" before "optimizer" and link to the toy optimizer series
11.
Two mechanisms for dynamic type checks(wingolog.org)
1 points by tekknolagi 7mo ago|0 comments
12.
by tekknolagi 7mo ago
Oh hi! Thanks for posting. As I wrote this I wasn't sure if it was enough of a post. Let me know if you wanted to hear about anything else that seemed missing.
13.
by tekknolagi 7mo ago
You may enjoy https://github.com/ludocode/onramp
14.
by tekknolagi 8mo ago
As I said on Lobsters as well, this is a superb overview.
15.
by tekknolagi 8mo ago
https://bernsteinbear.com I write about programming languages and compilers
16.
The GDB JIT Interface(bernsteinbear.com)
6 points by tekknolagi 9mo ago|0 comments
17.
by tekknolagi 9mo ago
YJIT and ZJIT don't use method annotations.
18.
by tekknolagi 9mo ago
Yes; see the first ZJIT blog post. https://railsatscale.com/2025-05-14-merge-zjit/
19.
by tekknolagi 9mo ago
In that scenario, what would you hope to get out of the LBBV?
20.
by tekknolagi 9mo ago
If all you're doing is summing small integers---frequently the case---it's much preferable to optimize that to be fast and then skip the very dynamic method lookup (the slower, less common case)
21.
by tekknolagi 9mo ago
YJIT is not deprecated. That word has a specific meaning in Ruby. You can continue to use YJIT. With any luck, this performance in the next year or two will be enough to make it a happy change. "Damn, free money" etc
22.
by tekknolagi 9mo ago
Earnestly: why are you annoyed? I tried to make it clear that you don't have to make any changes. If you want, you can try ZJIT (which should not be anything other than a one character change), but you don't have to.
23.
by tekknolagi 9mo ago
In this case, we used to abort (i.e. abort(); intentionally crash the entire process) but now we jump into the interpreter to handle the dynamic behavior. If someone writes dynamic ruby code to add two objects, it should succeed in both int
24.
by tekknolagi 9mo ago
It's a "teach people how to teach themselves to fish" class
25.
by tekknolagi 9mo ago
You'll never guess what we talk about later on in the unit. Spoiler: exactly that! It notionally focuses on make but the concepts apply much more broadly than the one specific tool
26.
by tekknolagi 9mo ago
The schedule is generated from a Python script, but doesn't involve YAML
27.
by tekknolagi 9mo ago
If you're interested, see also https://bernsteinbear.com/isdt/ by me and Tom
28.
by tekknolagi 9mo ago
This kind of compiler/runtime feedback about source code is really interesting and (imo) under-studied. Especially when you take into account something like PGO data.
29.
Adding Iongraph Support to ZJIT(railsatscale.com)
8 points by tekknolagi 10mo ago|1 comments
30.
by tekknolagi 10mo ago
No, HM is unification based and requires no annotations at all.

More ›