oprypin
Re:Generate pip requirements.txt file based on imports of any project
on Monday September 30, 2024 @02:21PM (#41700319)
uv pip compile --exclude-newer=2019-12-02
Re:"Useless Ruby sugar": Endless (one-line) methods
on Friday December 01, 2023 @03:15PM (#38491700)
I think the commenter meant that it can produce such an inconsistent result if the identifier names add up to approximately the line length, but the example didn't actually make it so; the identifiers are much shorter than that.
Re:How many floating-point numbers are in the interval [0,1]? (2017)
on Saturday April 15, 2023 @12:19PM (#35582020)
https://fabiensanglard.net/floating_point_visually_explained...
Not a graph, but gets much closer to answering this.
Re:Technical documentation that just works
on Thursday May 27, 2021 @05:30AM (#27300920)
MkDocs has a good plugin system, and it's definitely possible to add a plugin to check each code block according to some rules. I know because I made one :)
https://oprypin.github.io/mkdocs-code-validator/ https://github.com/crystal-lang/crystal-book/pull/503
Re:Technical documentation that just works
on Thursday May 27, 2021 @04:30AM (#27300617)
That would be https://mkdocstrings.github.io/ except it currently doesn't have implementations for any of those languages.
Re:Ask HN: Is anyone using ArchLinux for server production environments?
on Thursday December 10, 2020 @05:00AM (#25371909)
Same. But for me there has been one particular recurring kind of breakage. Python version upgrades (most recently 3.8 -> 3.9) invalidate all manually installed packages and virtualenvs. Mitigated by using Arch packages for Python packages instead...
Re:Google Play Music, Music Play Store and Music Manager are going away
on Friday October 23, 2020 @04:47PM (#24873957)
You can download the mp3s.
Or get them ported to YTM, but as far as I can tell, that's equivalent to downloading and then uploading the files there.
Re:Google Play Music, Music Play Store and Music Manager are going away
on Friday October 23, 2020 @04:45PM (#24873932)
Probably because Google Play Music is actually being shut down now? That's the case for me, anyway.
Re:Facebook Container for Firefox
on Wednesday October 21, 2020 @06:01PM (#24852716)
Just enable "Default container" in its settings to isolate everything. (For advanced usage, also see the help button)
Re:Twitter kills off SMS notifications and posting in most countries
on Monday April 27, 2020 @04:15PM (#22999543)
A video by Tom Scott exploring that sentiment https://youtu.be/BxV14h0kFs0
Re:Unicode 13.0
on Wednesday March 11, 2020 @08:23AM (#22545166)
This is about capital ẞ. Small ß must've been in Unicode from the start.