e0qdk
@e0qdk@kbin.social
- Comment on Advice on the Choice of a GUI Library? 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.
- Submitted 9 months ago to animepics@reddthat.com | 0 comments
- Submitted 9 months ago to animepics@reddthat.com | 2 comments
- Comment on A more relaxing way to play text-based games? 9 months ago:
I don't know if there are any existing implementations that work well enough yet for it to actually be relaxing, but it might be possible to set up a hands-free IF experience by hooking up speech-to-text and text-to-speech tools to the game.
- Comment on Who's up for a challenge? 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:
::: spoiler solver code
#!/usr/bin/env python3import 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:
- Comment on Ray tracing made possible on 42-year-old ZX Spectrum: 'reasonably fast, if you consider 17 hours per frame to be reasonably fast' 9 months ago:
Frames Per Stratum
- Comment on Who's up for a challenge? 9 months ago:
If I understand the problem correctly, this is the solution:
::: spoiler 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.
- Comment on How can I prove myself that my brain isn't just creating images so I can experience life? 10 months ago:
You can't really, as others have pointed out, but I like Philip K Dick's definition of reality: "Reality is that which, when you stop believing in it, doesn’t go away."
- Comment on Dark Cloud Over The Lovers (OC: Composite) [Penguindrum] 11 months ago:
This is a composite I stitched together from 12 screenshots taken from episode 5 of Penguindrum. I pretty much completely rewrote the tool I used for my last composite to make this. My old program could only handle solving two images; the new version solves a graph of correspondences one pair at a time to attach as many images as it can to a pinned starting image. I spent all weekend writing this specific editor, and much of my free time over the last couple weeks has gone into my broader art tool project.
I haven't done much in the way of artistically changing the piece. Other than the final cropping (which I did in the GIMP), it's as true to the imagery from episode 5 as I could get it. Notably though, the lower portion of the image and the upper portion of the image (with the reapers) are not from one continuous shot in the episode; part of my motivation for stitching this was that I wanted to see how it all looked when put together. I was surprised to find that the top portion with the reapers was actually scaled differently than the lower portion. I've cropped it for the main post, but if you'd like to see what it looks like without the final crop, you can see that image here.
The "lovers" are clearly a parody of The Kiss by Klimt -- https://en.wikipedia.org/wiki/The_Kiss_(Klimt) -- but I have no idea what the heck is going on with the cherubs in the middle...
- Submitted 11 months ago to animepics@reddthat.com | 1 comment
- Comment on Doesn't each community being local to each instance split the audience? 11 months ago:
I wish communities could be grouped in some way.
You can do that on kbin now. We just got "Collections" that allow you to gather posts from multiple communities/magazines sort of like a multi-reddit. You can either publicly list them for others to explore or just keep them to yourself if you want. We've also had cross-post grouping for a while which helps reduce the annoyance of "posts four times in a row (or more)" a little bit by collapsing the threads into one block with multiple links and vote counters. It's really useful though if you want to come back to the discussion later and find the other thread(s) -- e.g. check out last week's regular anime discussion threads which got 17 comments on ani.social and 5 comments on lemmy.ml. Jumping back and forth is easy. Hopefully lemmy gets something like that too eventually!
- Comment on IBM releases first-ever 1,000-qubit quantum chip 11 months ago:
The attached picture says 133 qubits, so whatever that chip is 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.
- Comment on Physicists May Have Found a Hard Limit on The Performance of Large Quantum Computers 11 months ago:
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
- Comment on Asking ChatGPT to Repeat Words ‘Forever’ Is Now a Terms of Service Violation 11 months ago:
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.
- Submitted 11 months ago to animepics@reddthat.com | 0 comments
- Comment on Japanese chip flavors 11 months ago:
I didn't. I wrote ＆ because it looks like the text actually says ＆ as far as I can tell -- not と.
- Comment on A bride to be discovers a reality bending mistake in Apple's computational photography 11 months ago:
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.
- Comment on Japanese chip flavors 11 months ago:
電気あんま
pressing one's foot on the genitals of a supine person while pulling on their feet (usu. as a prank); electric massage
https://jisho.org/word/%E9%9B%BB%E6%B0%97%E3%81%82%E3%82%93%E3%81%BE復活
- revival (of an old system, custom, fashion, etc.); restoration; return; comeback
- resurrection; rebirth
https://jisho.org/word/%E5%BE%A9%E6%B4%BB
Still WTF, but at least the label matches the picture...
- Comment on What were your top favorite video games as a kid? 11 months ago:
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<Whatever> 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.
- Comment on Blast from the Past! (Lupin the Third: Pilot Film, 1969?) 11 months ago:
I mentioned over on last week's discussion thread over on ani.social that the oldest anime I currently have access to is the Lupin the Third Pilot Film -- and so I dug it out and watched it! This version is from the DVD re-release a few years ago so I'm not sure if it's exactly the same as the one from 1969 or if it has adaptations from when it was shown on TV later -- thus the "?" in the title.
- Submitted 11 months ago to animepics@reddthat.com | 1 comment
- Comment on mememaker 1 year ago:
That's exactly how I wrote the community links in my original post on kbin though. i.e. the literal text I posted for the first sentence is:
I was introduced to the boykisser/girlkisser meme over in !196@lemmy.blahaj.zone recently, and today the power of memes compelled me to make this.I think something is not getting translated correctly when sending the message from kbin to lemmy. Maybe kbin is converting it to a link first and then sending that to lemmy instead of the literal text of my comment?Related to linking, is there a syntax for instance-relative post linking? (Or even just a good recommendation for how to link threads without driving people insane?)
- Comment on mememaker 1 year ago:
CommunityLinkFixerBot replied to my first comment here, but (1) bot messages do not federate to kbin (I checked the post on ani.social manually to make sure it showed up the way I expected and saw an extra comment counted; if I hadn't done that I'd have never seen the message), and (2) I linked with the exclamation_mark-community-atsign-domain syntax as it recommended so I'm not sure what's going wrong or how to fix it. Maybe there's kbin/lemmy interoperability weirdness in how my post was conveyed?
I don't think kbin and lemmy support mutual direct messages, so at-ing you on this post since I'm not sure how else to get in contact with you to see what's going on with the bot.
- Comment on mememaker 1 year ago:
I was introduced to the boykisser/girlkisser meme over in !196 recently, and today the power of memes compelled me to make this.
I've tagged it as OC since I made this meme image for kbin/lemmy specifically -- i.e. it's not a repost from reddit or 4chan or wherever -- but the image is, of course, based on a screenshot from Karakai Jozu no Takagi-san. I asked recently on my "Shinobu Horror Story" post to !animepics about whether or not this is the right idea on how to use the OC flag, but didn't get feedback. (Actually, does that OC flag even get copied over to lemmy or is that just a kbin thing...?) Anyway, let me know if you have opinions on this.
- Submitted 1 year ago to animemes@ani.social | 6 comments
- Comment on balls 1 year ago:
Is this related to the image from the "IT CANT BE" thread?
Edit -- link to thread I'm mentioning (kbin + ani.social; should be equivalent +/- federation weirdness):
https://kbin.social/m/animemes@ani.social/t/628190
https://ani.social/post/998178Meta question: Is there a way to link threads so that users can see the post on their own instance?
- Comment on Shinobu Horror Story 1 year ago:
...and they claim they're full of jelly but it's really pickled plum! 🍙️ ;-)
- Comment on Can we all agree on this one thing, that most people hate ai, but the bots on lemmy are an acception since they bring life to the communities when activities dries up. 1 year ago:
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.
- Comment on Can we all agree on this one thing, that most people hate ai, but the bots on lemmy are an acception since they bring life to the communities when activities dries up. 1 year ago:
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.
- Comment on Can we all agree on this one thing, that most people hate ai, but the bots on lemmy are an acception since they bring life to the communities when activities dries up. 1 year ago:
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!
