dumpulse

Well, the fool might be the guy who's been posting articles claiming covid is a hoax, hydroxychloroquine and ivermectin cure covid, China secretly has an out-of-control covid epidemic, and wearing face masks is deadly: https://news.ycombinator.com/submitted?id=giardini Or it might be the guy who wrote http://canonical.org/%7Ekragen/sw/dev3/paperalgo, http://canonical.org/%7Ekragen/sw/urscheme/, http://canonical.org/~kragen/bytebeat/, https://github.com/kragen/dumpulse, https://news.ycombinator.com/item?id=2933619, https://gitlab.com/kragen/bubbleos/blob/master/yeso, https://github.com/kragen/stoneknifeforth, and https://news.ycombinator.com/item?id=695981 in the past, and within the last three months wrote https://news.ycombinator.com/item?id=27171597, https://news.ycombinator.com/item?id=26930408, https://news.ycombinator.com/item?id=268

You can put the group of nodes in a subgraph and apply the uniform style to the subgraph. In https://gitlab.com/kragen/bubbleos/-/tree/master/yeso#callin... I did that for example as follows in https://gitlab.com/kragen/bubbleos/-/blob/master/yeso/api-ty...: subgraph types { node [shape=square]; subgraph ints { node [label=int]; int bool fd u32in die stride; } long int s32 u8 u32 -> ypix ywin; ... Its expressivity is limited, since it depends on a hierarchical classification of your nodes and arcs that doesn't always eliminate all duplication, but it's usually enough to manually style the nodes the way I want without too much hassle. Because "types" and "ints" aren't "clusters", they don't affect the l

A couple of important tips that the article omits: 1. For manual editing, dot -Tx11 foo.dot displays the graph in a window and updates it automatically whenever you save. So you can have an editor window open and the dot window and see the results of every tweak. For automatically generated graphs, this provides you with a window that you can update by overwriting a file with a new graph description. 2. Although HTML nodes are more versatile, shape=record is much easier, and sufficient for a pretty wide range of diagrams. For doing quick stuff by hand if you don't have Graphviz installed, or if you're stuck on a Mac without X-Windows, there's https://graphviz.christine.website/. I like Graphviz a lot; as other people point out, TikZ is capable of a wider range of graphics, and also you can write programs to generate graphs in TikZ. Bu

I haven't tried afl-fuzz myself, although it sounds like world-class awesome software, but I'm a real believer in testing things with David MacIver's Hypothesis, which invokes your functions with random inputs, and then does similar canonicalization and minimization kinds of things. I like Hypothesis so much that when I wrote Dumpulse http://github.com/kragen/dumpulse I added a Python interface to it purely so I could test it with Hypothesis. Which found bugs, of course, even though Dumpulse is around 100 instructions when compiled.

My only real effort in this direction was a 64-byte MS-DOS .COM file that draws colored circles on the screen: http://canonical.org/~kragen/sw/dev3/morecircles.s 00000000: b013 cd10 c42f 89e8 f72e 0000 89c5 31c6 ...../........1. 00000010: 31d2 89c1 31db 88f7 89df c1fb 0201 df89 1...1........... 00000020: c3c1 fb08 01df 01f7 5b26 883d 4353 89c3 ........[&.=CS.. 00000030: c1fb 0401 da89 d3c1 fb04 29d8 e2d6 ebc6 ..........)..... There's a lot to learn from tiny demos like the ones (I didn't write) dissected in http://canonical.org/~kragen/demo. Oh, I also wrote a Linux HTTP server in assembly with an executable under 2000 bytes: http://canonical.org/~kragen/sw/dev3/server.s with some explanation in http://canonical.org/~kragen/sw/dev3/httpdito-readme. I use it occasionally for testing stuff, since it's slightly less has