I was today years old when I discovered that The Presidents Of The United States (the band) covered "Video Killed The Radio Star" https://www.youtube.com/watch?v=wAiGd9nTGmM
=> More informations about this toot | View the thread
I am getting a bunch of new follows lately so I think it's time for another round of this public service announcement:
If you're new to the Fediverse, please, please, fill out your profile and make at least a few posts like what you plan on your "usual" posting being like, before you follow anyone. This is how you show that you are a real person, not a spambot.
=> More informations about this toot | View the thread
hey @GrapheneOS i would like to suggest an additional application containment feature:
some configurable number of hours after the user stopped interacting with an app, kill it and all its background processes, and do not allow it to run at all until the next time it is opened
i think this would make a nice complement to the existing "withdraw privileges from apps not used in a long time" mechanism
=> More informations about this toot | View the thread
Thank you everyone for your input; the tea shop is in fact open on Mondays but I wound up cleaning the dryer vent anyway
Or I tried to, anyway. Turns out I can't get at the part of the ductwork where the dust bunnies are most likely to be growing, without taking the dryer apart a lot further than I trust myself to be able to put it back together again :-(
=> More informations about this toot | View the thread
I am not smart enough to debug my own code today. What should I do instead?
=> More informations about this toot | View the thread
this is an example of a general principle relevant to all kinds of debugging: the longer you have spent hunting the bug, the more likely it is to turn out to be caused by a tiny, tiny mistake and/or a part of the code you're not looking at.
this is for the same reason that it's easy to not notice typos in natural language text: if you're reading at full speed, your brain is liable to substitute what ought to be there for what is there before that chunk of text reaches your conscious attention.
so don't beat yourself up when this happens to you, ok?
=> More informations about this toot | View the thread
of course it was a two-character editing mistake in a part of the code that I wasn't paying any attention to
=> More informations about this toot | View the thread
result of a solid week of hacking on $sideproject: I now know that one particular bug is definitely not in one particular file
=> More informations about this toot | View the thread
https://archiveofourown.org/works/62430364
we all love the nuclear waste warning message in this little corner, don't we?
=> More informations about this toot | View the thread
neko case really said 'i'm gonna put half an hour of crickets chirping at the end of this album and you're gonna like it'
=> More informations about this toot | View the thread
Also I cannot figure out when it is optimal to go after wall tiles.
(I think it is only possible to clear the board with 100% perfect play, hence these concerns. Clearing the board is not necessary for a win, though.)
=> More informations about this toot | View the thread
Optimal play seems to involve repeatedly solving the Knapsack Problem, as well as a somewhat more difficult version of the usual minesweeper logic. Not sure if I like that or not.
=> More informations about this toot | View the thread
Andrew Plotkin says that any game can be given additional depth by adding Stuff. For example, take Pong and add Stuff and you get Arkanoid. For a more recent example, Poker plus Stuff produces Balatro. And of course adding Stuff to Capture the Flag produces that venerable CMU tradition, Capture the Flag with Stuff (originally developed by Plotkin himself, along with several other people).
So here's Minesweeper with Stuff: https://danielben.itch.io/dragonsweeper
=> More informations about this toot | View the thread
I am still stuck thinking about this and the problem isn't the definition of material implication. It can't be, explosion can be described without using implications at all. Rather, the problem is that the standard presentation of the principle of explosion makes it look silly. Or trivially fallacious, if you prefer.
The standard presentation goes like this:
So, to the casual observer, it seems ridiculous for logicians to have been arguing about this since the days of Aristotle.
The reason it's not ridiculous is, what logicians are actually worried about is different. Nobody starts off with "assume both P and not-P." But we start off with "assume both P and Q" all the time, and what if it's possible to prove not-P from Q (alone)? Then we might execute step 3 of the above without realizing we have done this!
And Gödel proved that whenever our initial set of assumptions is sufficient to do arithmetic, we cannot be sure none of them allows us to prove the negation of another, so we can't rule out the mistake in step 1.
[#]logic #mathematics #proof
=> More informations about this toot | View the thread
(essay would not be saying anything particularly new, see e.g. https://en.wikipedia.org/wiki/Relevance_logic and https://en.wikipedia.org/wiki/Connexive_logic )
=> More informations about this toot | View the thread
be me
see pointless internet argument about the principle of explosion
shrug, close tab
background thread in my brain going "well actually the problem with the principle of explosion is that the definition of → in classical logic fails to align with the natural language meaning of 'if A then B', in this essay I will..." for the next several hours
=> More informations about this toot | View the thread
Anyone who replies attempting to argue that climate change isn't real will be mauled to death and eaten by coyotes imported from Southern California (which is currently ON FIRE, in JANUARY) for this purpose
=> More informations about this toot | View the thread
I've lived in #Pittsburgh since 2012 and I do not remember a previous winter when it stayed below freezing for this long. Winters where we got this much snow, yes, but usually it wouldn't stick around for more than a few days and then we'd get a thaw
=> More informations about this toot | View the thread
and the unnecessary downloading of build dependencies for substitutable derivations
=> More informations about this toot | View the thread
unattended upgrades not working goes particularly badly with the incredible slowness of manual upgrades and the lack of a useful progress bar on said manual upgrades
=> More informations about this toot | View the thread
=> This profile with reblog | Go to zwol@hackers.town account This content has been proxied by September (3851b).Proxy Information
text/gemini