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 reverse-engineering an elegant solution to the problem. Fantastic resource.
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 imagine an automatic translation of a nontrivial program would be infeasible to work with, but curious if there is active research or progress in this field.
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 not nearly as cool as buredoranna's animated gifs showing filesystem changes over time.
It can be helpful to plot these sorts of pixel arrangements on a Hilbert curve, rather than plotting pixels line by line. I learned this trick from a Ghidra plugin called cantordust [2]. 3blue1brown offers some mathematical intuition for the effectiveness of a Hilbert curve pixel arrangement [3].
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 the FTC legal library and the regulations.gov website. Apologies if I've missed an obvious link from the press release.
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]).
Bay Area here. Kid’s bike was stolen from driveway (lock clipped) and I found it online a few hours later. I called police non-emergency line and told them I had already set up a meeting to “buy it”; they offered to assist if an officer was available, and I brought a “tough” buddy in case not. Thief had a much bigger buddy hanging out ~50’ away (cop recognized them immediately). In the end: officer showed up, perp got arrested, and my kid got their bike back.
In LA county you aren't going to want your bike back. It's going to be spraypainted, missing components, thrown in the street, and perhaps made into a load bearing wall of someones ramshackle roadside home. Just insure your bike so you can write it off and get a new one without too much trouble or stress.
Yeah, Karim got raided a few years back but they couldn't make anything stick. Most people don't even record serial numbers on their bikes, much less register them with any type of organization that police can check for stolen bikes.
I pass by a very large cache of bikes every day on the way to work. The quantity ebbs and flows. Perhaps they're all procured legitimately, but somehow I doubt it. No one seems to be interested in investigating it because it's been going on for quite some time now.
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 (finite state automaton) into a context-free expression (pushdown automaton)?
Definitely reminds me a lot of not needing parentheses on an RPN calculator, and the isomorphism between Lisp expressions and Forth expressions.
And about your question I will say that I didn't know that it was impossible (Chomsky & Co) to parse s-expressions with regular expressions and, thanks to StevenLevithan, I built one. And definitely, at least for me, the standard way using an AST doesn't fit my needs, as you could see here http://lambdaway.free.fr/lambdawalks/?view=lambdacode.
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 usage and stumbled upon diskonaut, which is exactly that.
I think the images are static, so presumably pre-rendered server-side. The editing & rendering on the individual example pages seems to making an API call to a server, which I think is running this [1].
