News for hackers. Stuff that matters.

Cieplak

Cieplak on Hacker News

Re:Online Encyclopedia of Integer Sequences on Thursday April 04, 2024 @12:33PM (#39932658)
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.
Re:An Introduction to Temporal Logic (With Applications to Concurrency... on Wednesday January 24, 2024 @09:27PM (#39125541)
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.
Re:Linear transformers are faster after all on Wednesday January 17, 2024 @10:39PM (#39037471)
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">
Re:Visualizing Ext4 on Monday January 08, 2024 @05:05AM (#38910060)
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

Re:FTC authorizes compulsory process for AI-related products and services on Tuesday November 21, 2023 @09:27PM (#38373876)
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.

Re:Police say GPS tag darts can eliminate need for dangerous high-spee... on Monday February 20, 2023 @12:38AM (#34865276)
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?
Re:Where do stolen bikes go? on Thursday February 16, 2023 @01:18PM (#34822982)
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.reddit.com/r/BAbike/comments/8mmrne/stolen_bike_...

Re:RegEx match open tags except XHTML self-contained tags (2009) on Wednesday December 07, 2022 @03:56PM (#33900110)
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.

Re:Ncdu – NCurses Disk Usage on Wednesday December 07, 2022 @09:54AM (#33894967)
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.

https://github.com/imsnif/diskonaut

Re:Tikz.net: Graphics with TikZ in LaTeX on Wednesday November 30, 2022 @04:28AM (#33798633)
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].

[1] https://github.com/davidcarlisle/latexcgi

Re:Tikz.net: Graphics with TikZ in LaTeX on Wednesday November 30, 2022 @04:16AM (#33798550)
Seems like they updated the site recently, so figured folks might enjoy some of the new content. It's been a while since I've visited; been using Figma for a lot of what I previously used TikZ for. However, I returned today because I wanted to generate some diagrams from a fairly large spreadsheet, which seemed like a perfect task for TikZ. And to my surprise, there's a ton of new prior art on the site to learn from :)

Older »