Viewing profile — joek1301

> 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.…

I would think hyperscalers stand to benefit the most from optimizing wear!

I know they aren't the point of the article, but the photos are absolutely breathtaking.

> 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…

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 "th…

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

Related: https://brooker.co.za/blog/2024/06/04/scale.html

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 wro…

https://archive.is/Qyx7j

I clicked your link, saw DP, and tabbed away to try and solve it myself first. (I also forgot to sample without replacement and wound up with $2.86.) Delightful read!

It defines a new infix data constructor. So if `it` and `ct` are values of type `ITerm` and `CTerm` respectively, `it :@: ct` is a value of type `ITerm`. (It could have been writte…

Does the distinction between sharing VA mappings and copying buffers to/from kernel matter from a security perspective? (I assume it does, but I don't know why.)

See "The Global Chubby Planned Outage" on this page: https://sre.google/sre-book/service-level-objectives/

The FAQ suggests a MacOS port is “underway:” https://www.steadymouse.com/faq/

Spotify shuffle is indeed not (uniformly) random, as confirmed by this blog post[1]. The post is eight years old, so it is highly possible the algorithm has changed. [1]: https://e…

Could you elaborate / share resources on "downfall of the Java sandbox as a security boundary"? Sounds interesting.

Hey all, I'm an undergraduate studying mathematics and computer science, and I've recently taken an interest in formal logic and the philosophy of mathematics. Previous courses hav…

One more down the dev-to-woodworking pipeline [1]. [1]: https://github.com/docker/cli/issues/267#issuecomment-695149...