Recent content in Posts on Peter Villano's Website
I think there will soon come a day when computers have superhuman proof-writing ability. In other words, for a given theorem, a computer could write a formalized proof in less time than a human. Capable automated theorem provers would drastically change the way software is written. In this future, the enforcement of correctness is not limited to running checks at runtime or restricting allowed…
Introducing words.saej.in , a site for filtering lists of words. It’s useful for solving crosswords and other puzzles. The algorithms are very interesting. I’ll make them public and linked once there is sufficient interest.
A list of lists of categories of categories used in the New York Times game Connections. synonyms of a word direct synonyms slang for a word examples of a category works by a creative works in a genre kinds of a thing nouns that are also proper nouns, e.g. car models, sport teams words from a language Sharing a property a spelling or pronunciation property celebrities with a trait or award things…
Here are all the strategies you need to beat that one queens puzzle on LinkedIn. If a region, row, or column has one available square, there’s a queen there. If a region has only a few squares, it’s likely some squares around it cannot contain queens without blocking the entire region. Equivalently, if a region has only a few squares, the superposition of every placement of a queen…
Introduction This year’s Advent of Code was a good year for me. I scored in the top 100 twice, on days 11 and 12. I never used my auto-submitter, but I did use my input fetcher and testing methods. Every year I start having forgotten what these functions do, and by the end I’ve made them more complex than they were the previous year. extract_ints() proved to be very useful this year.
When the final tower is completed, time will overflow.
I recommend starting with the following settings as a baseline, and increasing $fs if the GUI becomes slow. $fa=.01; $fs=.3; Background Three variables determine the faceted-ness of your model. $fa is the minimum angle for a fragment. It creates a size-independent upper bound for number of facets in a circle. This bound is exactly ceil(360/$fa) $fs sets the minimum facet size in millimeters. $fn…
I added a <details/> (I haven’t added any styles yet) tag to my hugo theme Edit: and in December 2025, Hugo added a native details shortcode.
Last Advent of Code I took to putting assert statements for every invariant in my code. Most of my time was spent debugging, not the first write or running code. Adding so many asserts provided a number of benefits: Assert statements are a compact form of documenting invariants, both expected and produced, making code easier to reason about. Each assert serves as a concise unit test with exactly…
Have you ever tried to connect to a public Wi-Fi network, but can’t get the Terms of Service page to show up? Here’s how to fix that! Connect to the Wi-Fi network. open http://neverssl.com . Your browser will redirect you to a captive portal. Accept terms of service and continue to the internet. Why this works At home, when you try to load a web page, your device sends a request over…
Sometimes you find yourself in a legacy project with a single requirements.txt file containing pinned dependencies. A CVE is released, and you update the relevant package to the latest version, but now there are incompatibilities. This is a way to manage dependencies in such a python project. Create a requirements.txt file with the packages you need but not their dependencies. The following script…
Hello World! I’ve got a blog now! This site is built with Hugo and love.