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

  • 0 Posts
  • 25 Comments
Joined 1 year ago
Cake day: September 22nd, 2023
  • e0qdk@kbin.socialtoProgramming@programming.dev•Advice on the Choice of a GUI Library?
    12·
    8 months ago

    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.

  • e0qdk@kbin.socialtoProgramming@programming.dev•Who's up for a challenge?
    4·
    9 months ago

    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.

  • e0qdk@kbin.socialtoProgramming@programming.dev•Who's up for a challenge?
    8·
    9 months ago

    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.

  • e0qdk@kbin.socialtoSelfhosted@lemmy.world•Looking for a self hosted Dementia Clock
    4·
    9 months ago

    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.

  • e0qdk@kbin.socialtoPrivacy Guides@lemmy.one•If you can create a Lemmy instance and federate, you can shovel data about every vote linked to an account
    2·
    1 year ago

    A vote on kbin/lemmy is closer to a retweet than to a vote on reddit in terms of its potential impact on folks. You are publicly saying you support/do not support a post by voting on it (which might be taken as publicly thanking someone with an upvote or publicly saying fuck you with a downvote in some contexts); that can be a workable system, but it’s surprising if you’re coming from reddit where basically no one but the admins (and whoever they told/sold the data to) actually knows what you voted up/down.

    Hell, consider all the drama around “YOU DOWNVOTED ME!!” / “No I didn’t!” BS that was so common even when it was just suspected – now it can be confirmed (again, for better or worse), for kbin users. I was on reddit for a long time and just thinking about that crap makes me feel tired… -.- Downvoting on kbin is potentially picking a fight every time. The end result is that I’ve basically never downvoted anything except some spam bots. I don’t need that shit in my life again – even for some of the posts that I think really should be downvoted, I’m just ignoring now. (Not getting into it further. Don’t ask. I won’t respond.)

    If your IRL identity is associated with your account (or can be figured out eventually…), upvoting something really spicy could also end up causing you the same kind of drama IRL as retweeting or commenting strongly on the post – e.g. job loss, loss of business, targeted harassment/violence campaigns, loss of friends/romantic partners, etc…

    I really don’t need more drama in my life, so I’m a bit more mindful of how I’m voting (for better or worse) and some stuff I probably would’ve voted on before, I am just leaving alone now.

  • e0qdk@kbin.socialtoPrivacy Guides@lemmy.one•If you can create a Lemmy instance and federate, you can shovel data about every vote linked to an account
    5·
    1 year ago

    Yeah, I had a mixed reaction to finding that out a while ago, but I’m kind of just rolling with it for now. Votes are just simply NOT private on here, for better or worse. My feeling right now is that it’s sort of positive from a community feel perspective, but I’m also avoiding interacting with a lot of subjects I consider more controversial.

    Probably we’ll end up developing a culture of either lots of alts used simultaneously, short lived accounts with regular name changes, or both as people become more aware of this. Either that or people will just say “Fuck it. You really want to see all the weird porn I like and my political preferences and what not? Don’t blame me if you regret looking!” :p

  • e0qdk@kbin.socialtoFediverse@lemmy.ml•Kbin.social Login issues
    1·
    1 year ago

    I was getting 404 on /login itself for a while, and then finally got the login page after seeing this thread. Logging in at that point returned a 404 after submitting the login form – but it did actually succeed at logging in, it just didn’t redirect me correctly to the main page.

    After logging in, I’m still seeing tons of 50x errors. e.g. had to reload the “reply” link about a dozen times to get the comment submission form to show up; I think something is timing out when I get that sort of error. Maybe that’s part of what “For the next few hours, there might be issues with communication in the fediverse.” means in ernest’s message?

    I’m also seeing 404 when I go to https://kbin.social/newest?p=2 – which is rather strange since https://kbin.social/newest?p=3 works.

  • e0qdk@kbin.socialtoLinux Gaming@lemmy.ml•Steam focused distros?
    81·
    1 year ago

    If you want minimal effort to get a good Linux setup for Steam, just buy a SteamDeck. Get the dock if you want to use it like a regular computer or console with a wireless gamepad. I did that – hooked it up to my monitor, headphones, plugged in a mouse, keyboard, and my old XBox360 USB wireless dongle and it all just worked. I’ve got a few ideas for fun projects I want to try with it as a handheld and have written some software on it using desktop mode (little Python utility scripts for shuffling data around) but mostly I just use it like a gaming console; it works well for that.

  • e0qdk@kbin.socialtoLinux@lemmy.ml•OpenGL version problem
    2·
    1 year ago
    • GLFW is intended to be built with cmake.
    • After unzipping the source, make a build directory, and configure glfw3
    • ^^ I like using ccmake to do this interactively, but you can also just pass flags to cmake if you know what they are
    • You should build with GLFW_USE_WAYLAND and GLFW_USE_OSMESA turned off to get it to try to build against X11.
    • You will probably also want to turn off GLFW_BUILD_DOCS, GLFW_BUILD_EXAMPLES, GLFW_BUILD_TESTS
    • You can adjust CMAKE_INSTALL_PREFIX if you don’t want to use the /usr/local default install path.
    • After generating a Makefile, run make and make install
    • glfw3 generates a pkg-config compatible .pc file as part of its build process that lists flags needed for compilation and linking against the library. Normally, you’d just call pkg-config --cflags --libs --static glfw3 to get this info as part of your own build process (in a Makefile, for example) or else require glfw3 as part of a cmake-based build, but you can read what’s generated in there if that program is not available to you for some reason. In case it’s helpful for comparison, what I get with a custom build of the static library version of glfw3 installed into /usr/local on a slightly old version of Ubuntu is output like -I/usr/local/include -L/usr/local/lib -lglfw -lrt -lm -ldl -lX11 -lpthread -lxcb -lXau -lXdmcp but you may need something different for your particular configuration.

    Basically, something like this, probably, to do the compilation and get the flags to pass to g++:

    wget 'https://github.com/glfw/glfw/releases/download/3.3.8/glfw-3.3.8.zip'
unzip glfw-3.3.8.zip
mkdir build
cd build
cmake -D GLFW_BUILD_DOCS=OFF -D GLFW_BUILD_EXAMPLES=OFF -D GLFW_BUILD_TESTS=OFF -D GLFW_USE_OSMESA=OFF -D GLFW_USE_WAYLAND=OFF -D GLFW_VULKAN_STATIC=OFF ../glfw-3.3.8
make
make install

pkg-config --cflags --libs --static glfw3

    If you want to just compile a single cpp file after building and install, you can do something like

    g++ main.cpp pkg-config --cflags --libs --static glfw3 -lGL