Cieplak (u/Cieplak) - Readit News

Cieplak commented on Online Encyclopedia of Integer Sequences oeis.org/... · Posted by u/hyperific

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