Viewing profile — Cieplak

I had a very similar experience—discovering Stirling numbers of the second kind by solving a computer science problem through brute force, then plugging the results into OEIS, then…

Converting from Python to TLA+ could be considered a form of denotational semantics. It's a ton of work to model the denotational semantics of even simple computer programs. I imag…

Looks like quarto. The LaTex you saw may have been MathJax. $ curl -s https://manifestai.com/blogposts/faster-after-all/ | grep generator

There's a command-line utility called pixd [1] that generates similar data visualizations on the command line. That said, it only shows static representations of binary data and is…

Is there a link to the actual legal text of the omnibus resolution? Are FTC resolutions publicly available? I wasn't able to locate the referenced document after briefly searching …

I assume the effectiveness of the tracking dart depends on the suspect not knowing it has been affixed to their vehicle. If they knew, wouldn’t they just pry it off?

If one's bike is stolen in the San Francisco Bay Area, there's a small but significant chance you can find it for sale at the Laney College Flea Market (e.g. [1]). [1] https://www.…

Super interesting! My first reaction is, doesn't the while loop, combined with the conditional predicate of the string comparison, essentially promote the regular expression (finit…

Have been using ncdu for more than a decade, and recently started using diskonaut for similar purposes. Was looking for a terminal-based treemap visualization for analyzing disk us…