Readit News logoReadit News
Cieplak commented on Online Encyclopedia of Integer Sequences   oeis.org/... · Posted by u/hyperific
segfaultbuserr · 2 years ago
OEIS solves real-world problems! One time I needed to optimize accesses to a data structure in my code. By trying out a few examples, I found the optimal order of iterations followed a particular number sequence, but I had no idea on how it could be deduced or calculated analytically. I entered the few examples I had into OEIS and found the solution. The solution involves graduate-level combinatorics and there was no way that I could solve it.

Thanks Neil Sloane and OEIS.

Cieplak · 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.
Cieplak commented on An introduction to temporal logic and how it can be used to analyze concurrency   github.com/Dicklesworthst... · Posted by u/eigenvalue
eigenvalue · 2 years ago
We need automated ways of converting Python and other popular languages to TLA+ with ways of verifying that they were translated correctly. Otherwise it seems like too much work for most purposes.
Cieplak · 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.
Cieplak commented on Linear transformers are faster after all   manifestai.com/blogposts/... · Posted by u/JoelEinbinder
bbertelsen · 2 years ago
What did they use to build this site? I could have sworn I saw what looked like LaTex when it was loading?
Cieplak · 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">

Cieplak commented on Visualizing Ext4   buredoranna.github.io/lin... · Posted by u/giis
Cieplak · 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-...

[3] https://www.youtube.com/watch?v=3s7h2MHQtxc&t=311s

u/Cieplak

KarmaCake day6168September 30, 2011
About
λ𝑓.(λ𝑥.𝑓(𝑥 𝑥))(λ𝑥.𝑓(𝑥 𝑥))
View Original