A->B|...|Z looks suspiciously like a dual-Horn clause
!A | B | ... | Z (although I don’t know what to make of
A->!B, other than just
!A | !B). but it’s defnitely no accident that your algorithm is pretty much DPLL, given that your input is already basically in CNF
maybe this is a good time for CDCL?
btw (commenting here because i’m not logging into my reddit account any time soon after the API debacle), it seems like the issue you linked in https://old.reddit.com/r/tuxedocomputers/comments/14noz4v/infinity_book_pro_14_gen8_cannot_find_disable/jqqd2nv/ is not publicly accessible. i assume this should land in the next firmware update anyways?
Happy Enshittification Day! 💥
July 1, 2023: Reddit cuts off API access, Twitter requires login, Youtube may ban ad-blockers, Meta & Google block news in Canada...
A half-year since Cory Doctorow's seminal thesis on #enshittification, how corporate platforms die (https://pluralistic.net/2023/01/21/potemkin-ai/#hey-guys), and every corporate site seems hell bend on its own destruction.
Celebrate #EnshittificationDay by going to [instance address]/about, find the donations link, and make your contribution to open social media!
this doesn’t support adding V0 streams for songs i bought, but i don’t really need that. all songs i bought are downloaded in flac anyways. however, listening to 128k previews before i buy stuff bandcamp friday come is comfy
second student so far in the exam i’m correcting who claims that graph isomorphism is NP-complete
either they know something i don’t or they prepared for the exam… poorly
@Techmeme company named after fruit allegedly more strongly represented by a depiction of fruit than the actual fruit – truly a hyperreal nightmare
bandcamp won their union! bandcamp won their union!!
i'm so fucking happy for them, and also for the possible knock-on effects of some of epic game's holdings unionizing
once more for the backrow hecklers
nvidia _choose_ to not support the wayland stack. or well more generally, the new linux kms+egl gpu stack, since there's a lot other cool things you can built on top of it that aren't wayland
nvidia _choose_ to implement crypto locked down fw in a way that blocks open drivers (even apple got this right!). and no one else can fix it, because it's actual real crypto
nvidia _choose_ to not fix any of this
don't buy nvidia if you don't like this
realizing I need Emacs for playing around with Agda, I spent a good chunk of today declaring Emacs bankruptcy and setting up a new
I have a much more lightweight but functional Emacs config now
I still don’t know Agda
⁉ 𝕐𝕠𝕦𝕣 𝕙𝕖𝕝𝕡 𝕚𝕤 𝕨𝕒𝕟𝕥𝕖𝕕: ⁉
The InfinityBook Pro 14 with #ANSI #keyboard - we would like to find out with this #survey how big the interest really is.
Thank you very much for your help! No personal data will be stored!
maybe if I couldn’t get a nice laptop with an ANSI keyboard, I should get one with an ISO layout but with blank keycaps instead and remap \ <-> enter
- weirdly shaped \ key
- enter key close to the home position
- extra big \ for LaTeX
glances mildly disapprovingly at @tuxedocomputers for not including an ANSI option yet again in an otherwise perfect laptop