Cieplak
Joined 15 years ago
Karma
6,168
Submissions
1,036
Member since
Sep 30
λ𝑓.(λ𝑥.𝑓(𝑥 𝑥))(λ𝑥.𝑓(𝑥 𝑥))
View on Hacker NewsRecent submissions
Comment · 2 years ago
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.
Comment · 2 years ago
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.
Comment · 2 years ago
Looks like quarto. The LaTex you saw may have been MathJax.
$ curl -s https://manifestai.com/blogposts/faster-after-all/ | grep generator
<meta name="generator" content="quarto-1.3.450">Comment · 2 years ago
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].
[1] https://github.com/FireyFly/pixd
[2] https://inside.battelle.org/blog-details/battelle-publishes-...
Comment · 2 years ago
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.