Viewing profile — krukah

Easiest mnemonic to remember precedence is simply ordering by the length of their names. FnOnce FnMut Fn

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

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

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

Monads are really undefeated. This particular application feels to me akin to wavefunction evolution? Density matrices as probability monads over Hilbert space, with unitary evolut…

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

Yesterday was Pigeons As Hard Drives, today is Peacocks As Lasers. I look forward to what tomorrow brings.

https://archive.ph/ZVQvK

You know what I like this much better...rule of thumb updated.

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

unit sphere != unit ball The former is the boundary, the latter is the interior + boundary. One of the great arbitrary naming conventions of math.

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

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 …

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 …

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…

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

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

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

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

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

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

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