Public posts from @evmar@inuh.net
The spectrum of the Internet: on one end, my friend read my blog post and formalized some of it in Lean to understand it better, https:// github.com/rkirov/dominator_tr ee/blob/main/DominatorTree/Reducible.lean . On the other, a random commenter said “weird approach, I solved it in o(n) and didn’t even need to read a paper”. (It feels to me like the fact that this is an area of continuous research…
Finally (after many years) fixed the thing where monospace fonts on my blog sometimes come out in different sizes on different lines in the same <pre> block, but only on mobile(!). The cause is "font boosting", some browser heuristic that is trying to make text readable on mobile, and it gets thrown off by syntax highlighting creating multiple DOM nodes within the code. The fix is…
New blog post: Computing graph dominators Diving into an algorithm. https:// neugierig.org/software/blog/20 26/08/dominators.html
This post is on a topic I am especially interested in and is quite a good read. But I also want to highlight it because it has some really nice visualization inline as well! About 2/3 down the page (or pick "identifying blocks" from the table of contents) look for a graph with blue edges on it and try clicking. https:// shuklaayu.sh/blog/riscv-recomp iler It has inspired me to try to make a post…
I like imagining there are some parents who are like "I want my boy to grow up to be a Chad, therefore I bestow unto him this name"
It occurs to me that much like the name Karen, the name Chad now has a cultural meaning beyond it just being a name, and any parent naming their kid this name is possibly considering this fact. There are online "graph new baby names" sites but they seem to stop at 2020, so here are some (AI generated) graphs from 2000 onward based on data from the US government.
Bought something off homedepot.com. It arrived damaged. Link in the email to the order doesn't work. Called phone number, they redirected me to the store, store says I have to drive to them to get a refund and that I have to talk to online otherwise, who redirected me back to the store. ...so I disputed with credit card company. I guess this is what I get for not ordering from Amazon? You'd think…
Reposting this here because it is such an obscure find: "The Twin Peaks Visual Soundtrack is like an elaborate music video. The show's entire soundtrack album is played over silent video footage shot by a Japanese TV crew visiting the Snoqualmie, WA locations where the series was shot." https:// archive.org/details/twin-peaks -visual-soundtrack-1992 (I grew up near this area around this time, it's…
In this project I keep having this mental imagery of the old program as like a corpse I have on an operating table with six organs and limbs removed and wires and tubes going in and out of various bits. And the corpse is wheezing out: "Hello ... I am ... Dr. Sbaitso"
Got enough of Dr. Sbaitso going that I was able to call into its "convert text to phonemes" API. input: "hello there, i am dr. sbaitso" output: "hEHl6OWDH7EHr [6AY5AEmd4AAktERsb3EYtsOW" One cool(?) thing I can do is hook directly into the TSR loader, such that once the TSR is loaded I can just call back into it when it attempts to return control. This lets me put off thinking about actual TSR…
Lately I'm pretty deep in real mode / DOS hackery. Addressing is weird. A seg:ofs address refers to absolute memory address (seg<<4)+ofs, which means that e.g. 0823:0011 and 0824:0001 refer to the same address. And at first glance it looks like you get 20 bits of address space, but you actually get a little more because (ffff<<4)+ffff is beyond fffff. What I'm confused by is they could have…
My favorite internet thing of late are some linguistically bonkers Canadians. #1 is Toronto slang for Japanese speakers https://www. youtube.com/@KeidoKindness/sho rts with word mashups like "konnichiwagwan", "bromodachi", "on kamisama". #2, more serious, is this one https://www. tiktok.com/@annabelle095 who fluently mixes a hyper-Minnesota-sounding English with the most Americanized…
New blog post: Jujutsu tutorial I wrote the tutorial I wish I had. https:// neugierig.org/software/blog/20 26/07/jujutsu-tutorial.html
I imagine to a casual observer, juggling 3 balls or 5 both seem like feats of dexterity that surely take some effort to learn but also are not inconceivable. I guess like there's some larger life metaphor in there when I tell you 3 is relatively easy and 5 is relatively impossible.
Back in college I taught myself to juggle. The basic 3 ball pattern is honestly not that hard to learn, even for a klutz like me. I eventually worked my way up to fancy tricks like https:// en.wikipedia.org/wiki/Rubenste in%27s_Revenge . I tried and tried to learn to juggle 5 and never got it. Eventually I gave up. Today I stumbled on this thread https://www. reddit.com/r/juggling/comments…
Took me 30 years to notice, but each line in “Rebirth of Slick” by Digable Planets starts with a different pronoun. From an era before using pronouns themselves would be read as some sort of political statement. (I think I pay more attention to lyrics now as I give the kid a musical exposure upbringing)
Just had a call with a guy who is looking at code review tooling around Jujutsu and learned he hadn't heard of monotone, and I went kinda Pepe Silvia on him talking about all the history. The project is dead, but the site is still live! Check out their FAQ, https:// wiki.monotone.ca/FAQ/ which has multiple questions trying to reassure users that their crazy ideas around using hashes to identify…
With more time to digest it, this seems less weird than it looks at first, with one mental shift: I read for (i = 0; i < len; i++) loop as "for i = 0 to len", where the middle is a way to say the other end a range. But if you instead read it as "for i = 0 stepping by 1, maintaining the invariant that i is within the bounds of the array", then it's obvious why i < len is correct when iterating…
The last time I saw my father I was maybe 15, a sad story I don't wanna go into. But one consequence is that what I know about him are the vague memories of a kid. It turns out MIT libraries has a service where you can just ask them to find information. Within a day they sent me scans from the yearbook, his registration information, even a newspaper reference. There is no reason for them to…
From a random post about unsigned integers, a trick I've never seen for looping downwards. With unsigned ints this never terminates because i underflows: for (i = len - 1; i >= 0; i--) But with wrapping math, this does the right thing, even when len == 0! for (i = len - 1; i < len; i--) It is neat that it is the same loop condition as when iterating forwards, too. (I'm not sure I'd ever write such…