Using SAT to Get the World Record on LinkedIn's Queens

Special thanks to @tombh for proofing this blog post! Edit 5/28: added a link to the repo and corrected the solver I used Did you know that LinkedIn has games? I sure as hell didn’t until my Dad showed me that they in fact have 5 (!) different games that you can play. One of them stood out to me as somewhat interesting, Queens: Solved Queens board ...

May 26, 2025 · 9 min · Ryan Berger

Programming at a Cafe at the End of the Universe

Hello! My name is Ryan Berger, I’m a 24-year-old software developer living in Seattle, WA. This is the first real post of my blog, and oh boy is it a doozy! To cut it short: in the coming months, I will be undergoing a bilateral lung transplant at the University of Washington. I have—since I was 13—known this was coming, but my lung function and blood tests show that I am not too far off from respiratory failure. My doctors have determined that I am in good shape and it is now time. ...

May 22, 2025 · 11 min · Ryan Berger