If you wanted to leverage uv's package resolver for a less deliberately silly purpose, note that it's using the pubgrub-rs library under the hood: https://github.com/pubgrub-rs/pubgrub
By accident, at first, I omitted the letter u in my list of letters that I was generating packages for, which caused extremely cryptic and long (500KB of uv painstakingly explaining to me why I was wrong) dependency resolution errors on specific guesses:
by doing this:
import string
LETTERS = string.ascii_lowercase
instead of this:
LETTERS = "abcdefghijklmnopqrstuvwxyz"
It's a few more characters to type, but easier to examine for correctness.
This is off-topic, but I use the Firefox extension Foxy Gestures. When I draw a gesture on the featured website, a pop-up shows the gesture I'm drawing.
I have never seen that before. Is that some JS/CSS trickery? Or a bug in the extension?
So I use the same extension and this piqued my interest. On a standard website, FoxyGestures will pop a status box at the bottom, with the gesture you just drew (UDUDLRLR etc). This is done by appending a div at the end of the html body.
It so happens that the website has a CSS style[0] for the last div in the body with no class and no id (search for `body>div:last-child` in the css) - and use it to indicate "admonition-danger" (maybe to show errors?).
11 comments
[ 2.6 ms ] story [ 32.8 ms ] thread(reference to: https://news.ycombinator.com/item?id=43184291)
Here's the same Sudoku trick from 2008 using Debian packages: https://web.archive.org/web/20080823224640/https://algebraic...
I try to avoid bugs like this:
By accident, at first, I omitted the letter u in my list of letters that I was generating packages for, which caused extremely cryptic and long (500KB of uv painstakingly explaining to me why I was wrong) dependency resolution errors on specific guesses:
by doing this:
instead of this: It's a few more characters to type, but easier to examine for correctness.I have never seen that before. Is that some JS/CSS trickery? Or a bug in the extension?
It so happens that the website has a CSS style[0] for the last div in the body with no class and no id (search for `body>div:last-child` in the css) - and use it to indicate "admonition-danger" (maybe to show errors?).
[0]: https://mildbyte.xyz/main.css