krukah

6 ms·

1.
by krukah 8mo ago
Easiest mnemonic to remember precedence is simply ordering by the length of their names. FnOnce FnMut Fn
2.
by krukah 9mo ago
Tree Of Life is nothing short of a masterpiece IMO. Influential on me personally as my first exposure to how much editing and structure (or lack thereof) build directorial style. It left an impression on me to feel so much for a film that e
3.
by krukah 10mo ago
I think referencing the well-known cases in cve-rs[1] is quite a bad faith effort. Of course if you try reeeally hard to write unsound code, you can write unsound code. An edge case in the type system downstream of lifetime variance rules i
4.
by krukah 11mo ago
Novig | Multiple Roles | New York | Onsite | Full-time Novig is rebuilding sports betting from first principles as a prediction market exchange. Legacy sportsbooks are extractive middlemen with misaligned incentives, dark patterns, and pred
5.
by krukah 1y ago
Monads are really undefeated. This particular application feels to me akin to wavefunction evolution? Density matrices as probability monads over Hilbert space, with unitary evolution as bind, measurement/collapse as pure/return.
6.
by krukah 1y ago
Maybe the (relative) lack of ecosystem has kept you away, but I really recommend checking out both Dioxus and Leptos. Leptos is incredibly similar to React, but with Rust ergonomics, and it's been a pleasure to learn and use. With an L
7.
by krukah 1y ago
Yesterday was Pigeons As Hard Drives, today is Peacocks As Lasers. I look forward to what tomorrow brings.
8.
by krukah 1y ago
https://archive.ph/ZVQvK
9.
by krukah 1y ago
You know what I like this much better...rule of thumb updated.
10.
by krukah 1y ago
Whenever I explain to someone when or why to use 0-indexing, I like to say: Start from 0 if you are counting boundaries (fenceposts, memory addresses) Start from 1 if you are counting spaces (pages in a book, ordinals) Floors are a case
11.
by krukah 2y ago
unit sphere != unit ball The former is the boundary, the latter is the interior + boundary. One of the great arbitrary naming conventions of math.
12.
by krukah 2y ago
I love the counter-intuition of high-dimensional spaces, seems to be making the rounds on my feeds these days. One of the harder generalizations to develop intuition for is the fact that the measure of a d-sphere tends to 0 as d approaches
13.
by krukah 2y ago
Another great WithoutBoats writeup. Admittedly, this is one of those corners of Rust that I'm glad is abstracted away and buried in async runtime internals. That said, I'm curious if/when/why/how anyone uses Pin<
14.
by krukah 2y ago
One thing I haven't seen anyone mention yet is that Nash equilibria do not actually exist when you move beyond heads-up into multi-way play. There's strong empirical evidence that solving abstracted games using MCCFR and using rea
15.
by krukah 2y ago
If you don't mind sharing, what were some of the first red flags that you noticed in the codebase? Looking at all these jailbreaks and vulnerabilities visible from the outside, I'm sure they only scratch the surface.
16.
by krukah 3y ago
Similar experience. I really only still use Copilot to: - generate short blocks of low-entropy code (save some keystrokes) - get me off the ground when using a new library (save some time combing through documentation)
17.
by krukah 3y ago
100% possible. I'd ~bet~ that 99% of online poker cash games are adversarially against various forms of AI. The future of online play will be catered more toward teaching, solving, and tracking hands, rather than playing competitively
18.
by krukah 3y ago
> Let's assume that the brakes are working at their limit, and as they do so, they are shedding energy at a maximum rate that doesn't change. The cars are identical, so they are both shedding energy at the same rate per unit di
19.
by krukah 3y ago
It's a great question that, as far as I can reason, has no answer. Newtonian vibes that are familiar to us will only take you so far, and intuitive interpretations of physical quantities often break down when you try to relate them to
20.
by krukah 3y ago
I'm always fascinated by how Gödel's incompleteness theorems, Cantor's diagonalization proof, Turing's halting problem, and Russel's paradox all seem to graze the boundaries of logic. There's something almost t
21.
by krukah 3y ago
It "gets to the theorem" without offering a formal proof, but having read both, I find that Hofstadter's short stories and intuitions have done more for my understanding of Gödelian logic than any formal proofs have.
22.
by krukah 3y ago
The theoretical prediction of black holes dates back to 1916, when Karl Schwarzschild proposed a solution to Einstein's field equations that were part of his general theory of relativity. General relativity is arguably the most robust