Viewing profile — danvk

Is the video episode for this up somewhere? It can be hard to find old PBS shows, even from just a few years ago.

You might also like webdiff, which does something similar https://github.com/danvk/webdiff (I built this years ago and still use it every day.)

(author here) Just to be clear, none of the photos were ever human-located. The system this replaced was, roughly, regular expression + Google Maps geocoding API. The only photos l…

(Author here) IIUC you're saying that 707133f-a should be at 5th Ave & 9th Street, not 5th Ave & Union Street? Can you say more about why? The text on the back of the first image s…

Yes. You can give pickType a type in TS. Something like pickType (b: B): B extends true ? string : number. I’d love to read a post explaining how TS conditional types are or are no…

It's open source, take a crack at it! Or file an issue requesting it. This analysis doesn't make use of the Boggle dice. It assumes that any cell can be any letter. In practice, al…

Finding the highest-scoring board with a 16- or 17-letter word is a fun, but very different problem. There are few enough "Hamiltonian paths" through the all the letters on a 4x4 B…

There are simpler ways to calculate a bound that don’t involve trees. You can read about the sum and max bounds in the WIP paper: https://github.com/danvk/hybrid-boggle/blob/main/p…

I have been surprised that the Boggle code runs about 4x slower on the GCP machine than on my M2 MacBook. I don’t have enough experience running CPU- and RAM-intensive cloud jobs t…

> “As far as I can tell, I’m the only person who is actually interested in this problem,” Vanderkam said. For context, many people are interested in finding high-scoring Boggle boa…

"Lone coder" here. I reached out to Ollie (the FT reporter) because he'd written a book (Seven Games) about computers and games, so I thought the Boggle story might interest him. I…

Your best bet in that case is to store the dictionary in a Trie or DAWG structure that can be mmapped directly from disk.

Sorry, but this doesn’t pass the smell test. The article mentions 200,000 random 4x4 boards/second on a single core on an M2. That’s a ~4GHz chip. So ~20,000 ops/board. There are 2…

You can see all the wordlists I used here: https://github.com/danvk/hybrid-boggle/tree/main/wordlists The proof used ENABLE2K — repeating it for other wordlists would require anoth…

Great! Feel free to reach out -- my email isn't hard to find.

If you want to give it a try, I'd love to hear if that's the case! It's deleted in the repo now, but here's code to generate a spec for an ILP solver: https://github.com/danvk/hybr…

Annealing is mentioned a few times in the post but not discussed in any detail. I found that hill climbing with an expanded "pool" of boards and exhaustive search of neighbors was …

I actually did try ILP, see https://stackoverflow.com/questions/79422270/why-is-my-z3-an... I tried Z3 and OR Tools. I didn't try Gurobi. But this was enough to make me think ILP w…

We built a visualization along these lines at Sidewalk Labs back in 2017. It's open source if you're interested in playing around with it: https://github.com/sidewalklabs/router I …

I have not, but that's a great idea!

I've had really good luck recently running OCR over a corpus of images using gpt-4o. The most important thing I realized was that non-fancy data prep is still important, even with …

Try webdiff (I’m the author) https://pypi.org/project/webdiff/

Since function parameters are immutable in Zig, is this a difference that you need to care about?

For tuples, not for named fields.