I write code and play games and stuff. My old username from reddit and HN was already taken and I couldn’t think of anything else I wanted to be called so I just picked some random characters like this:

>>> import random
>>> ''.join([random.choice("abcdefghijklmnopqrstuvwxyz0123456789") for x in range(5)])
'e0qdk'

My avatar is a quick doodle made in KolourPaint. I might replace it later. Maybe.

日本語が少し分かるけど、下手です。

Alt: e0qdk@reddthat.com

  • 37 Posts
  • 116 Comments
Joined 1 year ago
cake
Cake day: September 22nd, 2023

help-circle




    • Sora wa Takaku Kaze wa Utau from Fate/Zero (2nd cour) – it’s a powerful song, and I think I listened to this one all the way through in every episode. Definitely one of my all time favorites.
    • Taiyou - Denpa-Teki na Kanojo. (This OVA is pretty obscure, I think.) Another powerful song. No visuals for most of the ending (just text credits scrolling) – although 神戸守 (Mamoru Kanbe) listed as the director (監督) jumped out at me! No Klimt this time, but funny that I’m talking about something he worked on again already. Maybe I should go track down his other works more systematically…
    • Kesenai Tsumi - FMA 2003 – I have a lot of nostalgia for this song and listened to it way too much as a teenager after my friends started introducing me to anime. The version on animethemes is a bit different from what I remember visually but the song is the same.
    • Wareta Ringo - Shin Sekai Yori – I was actually thinking about posting an animepic clipped from this the other day since it popped back into my mind…
    • Hibari - Lord El-Melloi II Sei no Jikenbo: Rail Zeppelin Grace Note (the Fate/Zero spin-off series) – I like both the song and the visuals (with the seasons changing)
    • My Pace – Bleach ED6; I didn’t much care for the filler seasons of Bleach, but the synth from this ED and the dancing characters got stuck in my head for a while.
    • X Jigen e Youkoso - Space Dandy. This one is memorable to me both for the “Hey, Everett…”/「ねぇ、エヴェレット」bit specifically and the general subject of the song.
    • Zzz - Nichijou – both the art and song are great. There’s a couple versions, but I like this first one the best.

    Edit: corrected the link to the Space Dandy ED


  • Have you tried Resonance? It’s a mystery adventure game set in modern times where you play as four different characters whose stories interconnect. It’s been a while since I played it (a decade or so?) but I remember that it had an interesting game mechanic that let you use memories like items in various interactions, as well as a number of puzzles that I rather liked the design of.



  • Sorry if addressed in the link (I’m not willing to visit Twitter) – but, like, actually McDonald’s themed? Or are they just sponsoring a show (like P&G, etc. have done for ages)?

    If the former, I guess there’s some precedence with the KFC visual novel and Isekai Izakaya and such, but that still sounds pretty weird…

    Edit: I went back and checked and it looks like McDonald’s was also a sponsor on the show I remember P&G from (i.e. season 1 of Bleach), so there’s precedence for them sponsoring Studio Pierrot’s shows too – I just don’t usually pay that much attention to it, I guess.



  • It’s not a GUI library, but Jupyter was pretty much made for the kind of mathematical/scientific exploratory programming you’re interested in doing. It’s not the right tool for making finished products, but is intended for creating lab notebooks that contain executable code snippets, formatted text, and visual output together. Given your background experience and the libraries you like, it seems like it’d be right up your alley.


  • I mentioned in a past comment a while back that I made a catalog of my anime. One of the observations I found while making it is that everything except for one movie had an entry on the English language Wikipedia already. That movie is Gundress from 1999. According to my personal journal, I watched this once back in 2014, apparently, but I remembered nothing about it, so I loaded it up recently and rewatched it.

    The movie has that “sort of hard to follow if you don’t already know the source material” kind of feel – although I think this is the original work? I checked the Japanese Wikipedia entry about it after watching it. Sticking the article through a translator, there’s a description of a seriously screwed up initial showing and mismanagement of production with the film being finished after it aired in theaters initially. The version I have is finished, of course; if half the movie wasn’t colored in I’d definitely have remembered that!

    The DVD menu prominently credits it as “Masamune Shirow’s Gundress”, but I’m not sure what his role in the production actually was. He’s listed in the opening credits for 設定協力 which got translated to English as “Characters Designed by” – but different people are credited with character and mech design in the end credits. A literal translation is something like “setting cooperation”.

    There’s definitely a number of familiar elements with some buildings reminiscent of Dominion Tank Police, mech suits that reminded me of designs in GitS:SAC, as well as thermoptic camouflage, cable-based cyborg communication (jacked into the neck), cyberdiving, etc. coming up during the story.

    Unusually, this anime features a Little Arabia enclave within the Japanese “Bayside City” the story is set in and one of the main characters is Muslim. I think this may be the only time I’ve seen Arabic script in anime – although I don’t know what it says.

    I clipped some screenshots and stacked them up so you can see what it looks like, if you’re curious: https://files.catbox.moe/qtsa0d.png (~8MB)






  • Can Z3 account for lost bits? Did it come up with just one solution?

    It gave me just one solution the way I asked for it. With additional constraints added to exclude the original solution, it also gives me a second solution – but the solution it produces is peculiar to my implementation and does not match your implementation. If you implemented exactly how the bits are supposed to end up in the result, you could probably find any other solutions that exist correctly, but I just did it in a quick and dirty way.

    This is (with a little clean up) what my code looked like:

    solver code
    #!/usr/bin/env python3
    
    import z3
    
    rand1 = 0.38203435111790895
    rand2 = 0.5012949781958014
    rand3 = 0.5278898433316499
    rand4 = 0.5114834443666041
    
    def xoshiro128ss(a,b,c,d):
        t = 0xFFFFFFFF & (b << 9)
        r = 0xFFFFFFFF & (b * 5)
        r = 0xFFFFFFFF & ((r << 7 | r >> 25) * 9)
        c = 0xFFFFFFFF & (c ^ a)
        d = 0xFFFFFFFF & (d ^ b)
        b = 0xFFFFFFFF & (b ^ c)
        a = 0xFFFFFFFF & (a ^ d)
        c = 0xFFFFFFFF & (c ^ t)
        d = 0xFFFFFFFF & (d << 11 | d >> 21)
        return r, (a, b, c, d)
    
    a,b,c,d = z3.BitVecs("a b c d", 64)
    nodiv_rand1, state = xoshiro128ss(a,b,c,d)
    nodiv_rand2, state = xoshiro128ss(*state)
    nodiv_rand3, state = xoshiro128ss(*state)
    nodiv_rand4, state = xoshiro128ss(*state)
    
    z3.solve(a >= 0, b >= 0, c >= 0, d >= 0,
      nodiv_rand1 == int(rand1*4294967296),
      nodiv_rand2 == int(rand2*4294967296),
      nodiv_rand3 == int(rand3*4294967296),
      nodiv_rand4 == int(rand4*4294967296)
      )
    
    

    I never heard about Z3

    If you’re not familiar with SMT solvers, they are a useful tool to have in your toolbox. Here are some links that may be of interest:

    Edit: Trying to fix formatting differences between kbin and lemmy
    Edit 2: Spoiler tags and code blocks don’t seem to play well together. I’ve got it mostly working on Lemmy (where I’m guessing most people will see the comment), but I don’t think I can fix it on kbin.



  • If I understand the problem correctly, this is the solution:

    solution

    a = 2299200278
    b = 2929959606
    c = 2585800174
    d = 3584110397

    I solved it with Z3. Took less than a second of computer time, and about an hour of my time – mostly spent trying to remember how the heck to use Z3 and then a little time debugging my initial program.


  • What I’d do is set up a simple website that uses a little JavaScript to rewrite the date and time into the page and periodically refresh an image under/next to it. Size the image to fit the remaining free space of however you set up the iPad, and then you can stick anything you want there (pictures/reminder text/whatever) with your favorite image editor. Upload a new image to the server when you want to change the note. The idea with an image is that it’s just really easy to do and keeps the amount of effort to redo layout to a minimum – just drag stuff around in your image editor and you’ll know it’ll all fit as expected as long as you don’t change the resolution (instead of needing to muck around with CSS and maybe breaking something if you can’t see the device to check that it displays correctly).

    There’s a couple issues to watch out for – e.g. what happens if the internet connection/server goes down, screen burn-in, keeping the browser from being closed/switched to another page, keeping it powered, etc. that might or might not matter depending on your particular circumstances. If you need to fix all that for your circumstances, it might be more trouble than just buying something purpose built… but getting a first pass DIY version working is trivial if you’re comfortable hosting a website.

    Edit: If some sample code that you can use as a starting point would be helpful, let me know.


  • My guess is that if browsers as we know them weren’t invented, HyperCard would’ve become the first browser eventually. No idea where things would progress from there or if it’d have been better or worse than the current clusterfuck. Maybe we’d all be talking about our “web stacks” instead of websites, and have various punny tools like “pile” and “chimney” and “staplr”. Perhaps PowerPoint would’ve turned into a browser to compete with it.

    If browsers were invented but JavaScript specifically was not, we’d probably all be programming sites in some VB variant like VBScript (although it might be called something different).


  • I had somewhat limited time this past week, but wanted to keep working through my backlog of unfinished shows, so I pulled up the short (6 episode) series Looking Up At The Half-Moon and watched that. I think I dropped this after episode 2 the first time I tried it, but finished it this time.

    The show is a hospital drama + romance, which seems unusual for anime. I don’t think I’ve watched any other anime set almost entirely in a hospital before – scenes, yes, but not the whole show. I’m not generally into medical drama so I haven’t really gone looking though; this is one I went into blind originally.

    Guess which novel shows up again! Yup, it’s Night on the Galactic Railroad. I feel like I’m seeing this book everywhere now, and this show quotes from it directly; one of the characters has pretty much memorized it. Something I noticed from the quotes is that one of the characters (in the novel) is named Campanella – which should ring bells for anyone who’s played the Trails series… No idea if there’s actually a connection there, but I thought it was interesting.

    The show strained my suspension of disbelief with how a number of characters acted, but did some things I found interesting as well. The doctor’s characterization did not go in quite the direction I expected, and there were a number of other surprises throughout. Episode 5 in particularly really went somewhere I wasn’t expecting. I kind of feel like I should write more about that… but it would all be spoilers.