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. It left an impression on me to feel so…
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…
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,…
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…
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…
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 counting spaces (pages in a book, ordinals)…
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 fact that the measure of a d-sphere tends…
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<T>…
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…
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.
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)
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…
> 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…
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…
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 terrifying…
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.
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…
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. It left an impression on me to feel so…
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…
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,…
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…
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…
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 counting spaces (pages in a book, ordinals)…
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 fact that the measure of a d-sphere tends…
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<T>…
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…
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.
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)
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…
> 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…
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…
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 terrifying…
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.
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…