joek1301
Joined 5 years ago
Karma
79
Submissions
40
Member since
Jan 3
www: https://kerrigan.dev
View on Hacker NewsRecent submissions
Comment · 1 month ago
k-anonymity [1] by hand!
Comment · 10 months ago
> Let’s say for moral reasons you choose to link none of LLVM’s libraries (thanks for caring about your users!)
For what moral reasons would I avoid linking LLVM? I’m not familiar.
Comment · 10 months ago
I would think hyperscalers stand to benefit the most from optimizing wear!
Comment · 11 months ago
I know they aren't the point of the article, but the photos are absolutely breathtaking.
Comment · 1 year ago
> One hypothetical approach I could imagine, is that a dependency major-version release of a package can ship with AST-rewriting-algorithm code migrations
Jane Street has something similar called a "tree smash" [1]. When someone makes a breaking change to their internal dialect of OCaml, they also push a commit updating the entire company monorepo.
It's not explicitly stated whether such migrations happen via AST rewrites, but one can imagine leveraging the existing compiler infrastructure to do that.
[1]: https://signalsandthreads.com/future-of-programming/#3535
Comment · 1 year ago
I actually wasn't aware of this either.
Z3 is fine with it--its job is to find any satisfying model. The possible outcomes are "the puzzle is solvable and here's a solution" or "the puzzle isn't solvable."
Comment · 1 year ago
I also was inspired to play around with Z3 after reading a Hillel Wayne article.
I used it to solve the new NYT game, Pips: https://kerrigan.dev/blog/nyt-pips
Comment · 1 year ago
Comment · 1 year ago
Normally this kind of thing would be absolutely ripe for abuse, but with the guardrails in place for the mainstream SOTA models, it might actually be okay. Maybe I'll be proven wrong.
Comment · 1 year ago