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.

Yeah; I also tried subbing in case that kicks off federation and searched a few titles to see if they ended up in random incorrectly as well (stuff like that happens sometimes with kbin). The magazine has seen a few microblogs mentioning the channel, and it clearly picked up the avatar/icon, description, etc. somehow, but doesn’t seem to be getting any videos as threads/posts and I couldn’t find any floating around disconnected either. I think kbin most likely doesn’t understand what PeerTube is publishing through AP, but there could always be federation weirdness or something.

Doesn’t seem to work right on kbin, unfortunately, although it does show up as a magazine: https://kbin.social/m/[email protected]

[coreutils-announce] coreutils-8.31 released [stable]

stat now prints file creation time when supported by the file system,
on GNU Linux systems with glibc >= 2.28 and kernel >= 4.11.

https://lists.gnu.org/archive/html/coreutils-announce/2019-03/msg00000.html

(found thanks to this blog post titled “File Creation Time in Linux”)

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…

I think they’re specifically wondering if using @@ mention syntax will result in a notification popping up for the user on Lemmy.

I’ve been wondering that too (in the context of threads though) – and if it does work, are there limitations regarding visibility between instances that people should be aware of. e.g. what happens if I @ someone in a post to a community on a lemmy server that is defederated from their home instance? Or, in a community that no one on their home server has subscribed to? Will they still get a notice?

I guess I don’t really have a good mental model for how @ works on the Fediverse.

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 [email protected]. Prior to the lemmy.ml/ani.social defederation it posted in [email protected] – 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/[email protected] – 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.

most people hate ai

I don’t think that’s true. There’s a lot of concern about it – particularly regarding companies scraping the everloving shit out of the internet and then reselling what they got for free; with it upending the apple cart on difficulty of production (and what that means for various professions); with people using it idiotically in inflexible, unauditable, bureaucratic ways (though they were already doing that “computer says ‘No’” thing even without the new AI techniques; it’s a broader social challenge that involves any computerized processing of people in 2023); etc. – but people are using it as a tool to do really neat things too, and a lot of the results from that are just fun.

Here’s a few examples of fun AI visual art from threads I’ve seen over the last few weeks:

• What have you DONE?! – https://feddit.de/post/4778843
• (Somewhat disturbing) Elvis performing a circumcision on a sentient hotdog – https://lemmy.ca/post/6735764
• (Mild NSFW) Sexy Anthropomorphic Plane – https://lemmy.ml/post/7072314
• When a Ninja Turtle’s Addiction Has Gone Too Far – https://lemmy.world/post/7522233
• Banana-Whale – https://lemmy.ml/post/7598841
• Storing Linux Commands as Bottled Spells in a Sorcerer’s Library – https://lemmy.world/post/7463201
• Doughy Desert Colossus – https://lemmy.dbzer0.com/post/7336600
• Spiderman providing therapy to Batman – https://lemmy.world/post/7520721
• Hot Spaghetti 3 – https://lemmy.world/post/8035624
• Back to work – https://lemmy.world/post/7539961
• This entire thread is fun if you want more: Your username is the prompt, what did you get?

For some of these, something similar might have been made eventually (the spiderman one, in particular, I could see actually existing), but for most of them? Nah. Without AI gen they probably just never would’ve been made, and that’d be a shame!

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.

Wow, that’s a heck of a lot cheaper than I expected. I mean, it’s still more than I’m willing to pay for it on my own, but it’s not the “haha no way could I ever buy one” level of impossible I was expecting. My boss probably wouldn’t bat an eye if I asked for one to stick in a workstation… Hmm.