joek1301

6 ms·

1.
How fast is C++26's std::hive?(lemire.me)
1 points by joek1301 1mo ago|0 comments
2.
by joek1301 9mo 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.
3.
by joek1301 9mo ago
I would think hyperscalers stand to benefit the most from optimizing wear!
4.
by joek1301 10mo ago
I know they aren't the point of the article, but the photos are absolutely breathtaking.
5.
by joek1301 1y 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 someon
6.
by joek1301 1y 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."
7.
by joek1301 1y 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
8.
by joek1301 1y ago
Related: https://brooker.co.za/blog/2024/06/04/scale.html
9.
Solving NYT Pips with SMT(kerrigan.dev)
1 points by joek1301 1y ago|0 comments
10.
When 'When' Went Wonky(kerrigan.dev)
1 points by joek1301 1y ago|0 comments
11.
Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities(openreview.net)
1 points by joek1301 1y ago|0 comments
12.
by joek1301 1y 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.
13.
A website anyone can update by calling in and describing their changes to an LLM(7159997483.com)
4 points by joek1301 1y ago|1 comments
14.
by joek1301 1y ago
https://archive.is/Qyx7j
15.
Netflix and Meta's Carbon Credits Snared in Dispute with Maasai Herders(wsj.com)
3 points by joek1301 1y ago|1 comments
16.
by joek1301 3y ago
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!
17.
by joek1301 3y ago
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 written using a prefix operator like `ITerm`'s other data con
18.
by joek1301 3y ago
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.)
19.
by joek1301 4y ago
See "The Global Chubby Planned Outage" on this page: https://sre.google/sre-book/service-level-objectives/
20.
Google Images search for “desk ornament” yields Nazi imagery(twitter.com)
6 points by joek1301 4y ago|2 comments
21.
by joek1301 4y ago
The FAQ suggests a MacOS port is “underway:” https://www.steadymouse.com/faq/
22.
by joek1301 4y ago
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://engineering.atspotify.com/2014/02/h
23.
by joek1301 4y ago
Could you elaborate / share resources on "downfall of the Java sandbox as a security boundary"? Sounds interesting.
24.
Ask HN: Introductory reading on philosophy of mathematics/formal logic?
3 points by joek1301 4y ago|2 comments
25.
by joek1301 4y ago
One more down the dev-to-woodworking pipeline [1]. [1]: https://github.com/docker/cli/issues/267#issuecomment-695149...
26.
by joek1301 5y ago
Also, in many cases, implementation details like cache locality mean that asymptotically inferior algorithms can in practice outperform those with a lower theoretical runtime complexity.
27.
by joek1301 5y ago
The original WORDLE also used minified JavaScript, but there are some resources on reverse engineering it, if all you're interested is learning how the words are picked [1]. [1]: https://reichel.dev/blog/reverse-en
28.
by joek1301 5y ago
I guess I was kind of asking for this, but I just spoiled the next two days of Wordle for myself clicking on your link. Oh, the woes of being a trigger happy link follower
29.
by joek1301 5y ago
As an aside, there was an interesting recent episode of the AWS FM podcast where a guest was rendering dynamic HTML from Lambda functions and seemed incredibly satisfied with the results. (Unfortunately the recent episodes lack transcript
30.
by joek1301 5y ago
Thanks for the positive feedback! Out of curiosity: what do you use minimax for?

More ›