e0qdk

Unless I’m missing something it looks like it doesn’t use Denuvo? (Steam lists a custom EULA but I don’t see Denuvo listed.)

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.

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.

It might be easier to just fire up Wireshark and look for relevant traffic when you trigger the action.

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:

#!/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:

• https://en.wikipedia.org/wiki/Satisfiability_modulo_theories
• https://en.wikipedia.org/wiki/Z3_Theorem_Prover

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.

Frames Per Stratum

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

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.

Any ways to get around the download failing

I did this incredibly stupid procedure with Firefox yesterday as a workaround for a failing Google Takeout download:

• backup the .part file from the failed download
• restart the download (careful – if you didn’t move/back it up, it will be deleted and you will have to download the whole thing again; found this out the hard way on a 50GB+ file… that failed again)
• immediately pause the new download after it starts writing to disk
• replace the new .part file with the old .part file from earlier (or – see [1] below)
• Firefox might not show progress for a long time, but will eventually continue the download (I saw it reading the file back from disk with iotop so I just let it run)
• sanity check that you actually got the whole thing and that it is usable (in my case, I knew a hash for the file)

[1] You can actually replace the new .part file with anything that has the same size in bytes as the old file – I replaced it with a file full of zeros and manually merged the end onto the original .part file with a tiny custom python script since I had already moved the incomplete file to other media before realizing I could try this. (In my case, the incomplete file would still have been useful even with the last ~1MB cut off.)

There are probably better options in most cases – like Thunderbird for mailbox as other people suggested, or rclone for getting stuff from Drive – but if you need to get Takeout to work and the download keeps failing this may be another option to try.

Thanks Ernest!

BTW, I noticed this was posted as RTR#33 and there are two RTR#32 entries; I think this should actually be RTR#34.

The attached picture says 133 qubits, so whatever that chip is (edit: Heron) it’s not this thing.

IBM’s post (that the article links) says:

Breaking the 1,000-qubit barrier with Condor

We have introduced IBM Condor, a 1,121 superconducting qubit quantum processor based on our cross-resonance gate technology. Condor pushes the limits of scale and yield in chip design with a 50% increase in qubit density, advances in qubit fabrication and laminate size, and includes over a mile of high-density cryogenic flex IO wiring within a single dilution refigerator.

So, it sounds like this is actually another fridge sized system.

It looks like this is the pre-print of the paper (“The Impact of Imperfect Timekeeping on Quantum Control”) in the journal the article links: https://arxiv.org/abs/2301.10767

Possibly also relevant from some of the same researchers: Fundamental accuracy-resolution trade-off for timekeeping devices

Interesting. The code format doesn’t work on Kbin.

Indent the lines of the code block with four spaces on each line. The backtick version is for short inline snippets. It’s a Markdown thing that’s not well communicated yet in the editor.

This story may be amusing, but it’s actually a serious issue if Apple is doing this and people are not aware of it because cellphone imagery is used in things like court cases. Relative positions of people in a scene really fucking matter in those kinds of situations. Someone’s photo of a crime could be dismissed or discredited using this exact news story as an example – or worse, someone could be wrongly convicted because the composite produced a misleading representation of the scene.

I don’t have a complete solution, but I do have some ideas:

• Have you tried hooking it up to an external monitor? Sometimes auto-config can help you recover from weird states if you plug in a different display.
• On my Deck, I can reach a terminal by using CTRL-ALT-F4 that is separate from the main desktop mode (CTRL-ALT-F1 switches back). Default user seems to be called “deck”. You may need to set a password to use sudo. I am not sure exactly how the desktop environment is set up on the Deck so I am not sure exactly what you need to change or where the files would be – maybe check under /usr/share/X11/xorg.conf.d to see if anything is set to an insane value there?
• You might try sending Valve a support request
• As a last resort, you could try a factory reset. You’ll nuke everything else on it too though…

Pokemon (1st gen and 2nd gen – plus some of the spin-off stuff from that era to a lesser extent) captivated me in a way no other games have before or since. Honestly, I hope nothing ever grabs me that hard again; it’s kind of scary how obsessed I was in retrospect.

A number of N64 games also made a big impact on me. Majora’s Mask was probably my second favorite game (after Pokemon) for many years. (OoT made an impression too, but I played MM first.) I loved the music in Diddy Kong Racing. I got 120 stars in Mario 64, and when I tried it again as an adult, I really appreciated how short and to the point levels could be (not that I played that way as a kid) – also the camera in that game sucked. Castlevania: Legacy of Darkness kind of disturbed me a bit as a kid, but it’s probably the first game I encountered a sort of “New Game Plus” in, which was neat. (People have since told me that’s the “black sheep” of the series and that it’s really weird that that’s the only one I’ve played significantly.)

Duke Nukem 3D was the first game I modded, I think (very simple graphical stuff). Definitely wasn’t age appropriate but I played the heck of it anyway. Didn’t really get much into other shooters other than playing through the main game of Perfect Dark on N64 and playing split-screen Golden Eye with friends.

I also played a lot of Sim\ games – particularly SimCity 2000, SimEarth, and SimTower. Also had a bunch of others like SimFarm and even some of the more obscure ones like SimSafari. Streets of SimCity and SimCopter being able to load SC2K maps was really neat though. Played a fair amount of other city builders and simulation games like Caesar III and Roller Coaster Tycoon too. My parents probably hoped I’d become some sort of business manager. :p

I had a lot of creative tools back then as well which I treated as not-that-different from video games. Various Kid Pix programs (one of which had a bunch of odd video clips integrated – including a short documentary about jackalopes of all things), Kid’s Studio, Digital Chisel, some version of HyperCard, etc. Game Maker – which I found around the year 2000 back when it was still on www.cs.uu.nl – ultimately led me to being a professional programmer.

Thanks ernest!

A few more data points:

• posting an image thread from kbin into a Lemmy community works. (example)
• posting a new thread to a kbin magazine with a link to an image off-site (e.g. on catbox) does not show up on Lemmy. (example)
• posting a photo thread directly to a kbin magazine does not show up on Lemmy still (example)
• Comments posted on the latter two threads do not show up in my profile view on various Lemmy instances.
• New threads to the anime_irl@kbin.social magazine are not showing up on fedia.io (link) either, so it’s not just Lemmy.
• If I check my profile on misskey.io, it shows stuff from a week ago and older (and also, somewhat disturbingly, messages I deleted weeks ago – not really a big deal on those particular ones but a bit concerning in general). It’s kind of hard to make sense of what’s going on misskey at the best of times though. :p
• My recent posts to anime_irl don’t seem to be showing up on mastodon.social but my post to animepics@reddthat.com and older posts to animemes@ani.social do show up as well as my earlier comment on this thread in Mastodon’s “Posts and replies” section. Note that directly going to https://mastodon.social/@e0qdk@kbin.social redirects to https://kbin.social/u/e0qdk instead of showing the profile via Mastodon, but searching e0qdk@kbin.social and then selecting my corresponding user gives my profile via Mastodon. (Seeing similar behavior for Lemmy users, so that’s not just a kbin thing. I don’t use Mastodon directly very much, and it confused me a bit so mentioning it here for others.)
• If I go to other mastodon servers like mstdn.ca my profile shows basically nothing except some replies despite claiming I have 182 posts. Adding up threads, comments, microblog posts, and replies for my account gives 185 before posting this, so not far off in number.

I’m not sure what ernest is referring to with that, but something definitely does seem to be up with federation of content from kbin over to lemmy.

e.g. in /m/anime_irl the last three threads posted have not federated out. I commented here with a list of 5 lemmy servers I checked on a 24 hour old post that hasn’t shown up elsewhere (after noticing my own post wasn’t showing up).

There’s also something going on with comments added by lemmy users on threads that have federated not going out to other lemmy instances. e.g. on this thread from 5 days ago only my first comment has federated widely; the other comment chain (starting with the user from lemmy.world) are only visible on kbin.social and lemmy.world, as far as I can tell. Not sure if that’s exactly the same issue or not, but seems plausible for it to be related if something isn’t working correctly with federation right now.

Comments that I’ve made on lemmy threads have gone through today though.

My understanding is that Lemmy bot accounts generally do not federate over to kbin. If you want to see an example of a bot making regular posts, you can check out shinobu@ani.social. Prior to the lemmy.ml/ani.social defederation it posted in anime@lemmy.ml – i.e. go to https://lemmy.ml/c/anime sort by new and look like 10-ish pages back (currently) and you should see a bunch of bot posts (sometimes drowning out posts from real people). You can see it posting to https://ani.social/c/episode_discussion currently as well; there are a lot of bot threads and very few comments. When the bot had an outage a while ago (prior to the defederation) there was a discussion with various opinions on the bot and how/if it should operate. I think I’ve also seen another thread about it as well with more discussion, but I’m having trouble finding it again.

Edit: Just remembered another example. @ITNbot is a kbin bot (on a non kbin.social instance); you can see its behavior here – https://kbin.social/m/ImproveTheNews@fedinews.net – I blocked it a while back since seeing all its threads in new was bugging me at the time.

For what it’s worth, even though I don’t agree with you, I think this is an interesting post and discussion, so I’ve upvoted it. Thank you.