tmtvl

31 ms·

751.
by tmtvl 2y ago
Friendly reminder that Geoffrey Knauth, not RMS, is the president of the FSF.
752.
by tmtvl 2y ago
The FSF is the only entity I'd trust with a CLA. Considering they're the stewards of the GPL, if they went evil everything would be FUBAR anyway. So I'd say yeah, the FSF doing it is fine.
753.
by tmtvl 2y ago
> The disclosure of qualification criteria if requested by an unsuccessful candidate. Ooh, now that's something I'd like to see implemented everywhere. Not just for protected class candidates, but for all applicants for all
754.
by tmtvl 2y ago
My real name is too long to comfortably use (well, at least I'm not Kamehameha III), but my usual username is loosely based on my real name and it's probably really easy to link me to my username. I don't mind people being ab
755.
by tmtvl 2y ago
It's simple: it starts with Scheme being implemented in Prolog and then Kanren gets implemented in the Prolog Scheme. It's much less difficult than a couple of magnets and an air hockey table.
756.
by tmtvl 2y ago
They are commutative. As to whether unification and association are the same thing... yes, kinda. Unifying two terms kinda means associating them with each other in a database. Though I will say that it would have been better to say 'u
757.
by tmtvl 2y ago
There are multiple games stores fo PC. Next to Steam you have, e.g., GOG and Itch. How many app stores are there on iOS? And the phone app stores have every category of application, not only games. I doubt you'll find, say, Borland Tur
758.
by tmtvl 2y ago
Having contributed to RA in the past, I have to say I found the codebase very readable and well-organised. At least the C portion, I'm not smart enough to grok CPP.
759.
by tmtvl 2y ago
Oh no, it would've been better if it was written using the most readable language: Scheme.
760.
by tmtvl 2y ago
Because IBM Plex Sans JP exists I use the IBM Plex fonts. It's a whole lot easier than trying to pick fonts that work well together with a Japanese font. And IBM Plex looks fairly nice, so that helps.
761.
by tmtvl 2y ago
I know it's about copyright 'piracy' instead of actual piracy, but the title being 'Piracy in the UK' makes me chuckle, like we've got buccaneers on Scarborough Mere.
762.
by tmtvl 2y ago
Lem is a nice try, but the default theme is utterly disgusting and because it wasn't designed with themes in mind going with a sane theme is impossible (because some colours are hardcoded so they become impossible to see on a proper li
763.
by tmtvl 2y ago
I dunno, I bought a KeyChron K10 Pro a couple of months ago and I found it pretty easy to look for the things I wanted (2 super keys, 100% layout).
764.
by tmtvl 2y ago
I believe the implied question is: 'what makes Tavi particularly outstanding, or trustworthy, or such when it comes to maintaining a ROM? Which qualifications does this Tavi have?'
765.
by tmtvl 2y ago
Healthy employees do better work than unhealthy ones and happiness is a key component of mental health. Hence efficiency improves when employees have better working conditions.
766.
by tmtvl 2y ago
I've been meaning to fully commit to GNU Guix one of these days, now that Plasma has fully landed. I've tried Fedora Kinoite in the past, but I can't handle Plasma without Oxygen. I know that Kinoite has some kind of a way to
767.
by tmtvl 2y ago
M-\ is delete-horizontal-space, you may mean M-/, dabbrev-expand.
768.
by tmtvl 2y ago
> I go to encapsulate something in quotes and it just tosses a closed quote right next to it, incorrectly. They perpetually make the wrong move. In Emacs I have automatically closing brackets and quotes and such, and if I want to encap
769.
by tmtvl 2y ago
But in Latin Julius starts with an I. (with apologies to The Last Crusade)
770.
by tmtvl 2y ago
Was it Bernard Shaw who wrote something to the effect of 'if I had more time I would have written a shorter letter'? Whoever it was, I think the same holds for software: creating simple software is harder than making complex softw
771.
by tmtvl 2y ago
I thought 'they' is always plural? I, you, he, she, it, we, you, they.
772.
by tmtvl 2y ago
I feel like this came up somewhat recently, but I can't find the context. In any case, I wonder how it compares to Screamer, ACL2, and Kanren. EDIT: found it: https://news.ycombinator.com/item?id=41805702 (6 comments)
773.
by tmtvl 2y ago
Being able to declare types is the reason why I switched from Scheme to Common Lisp. It's just a shame that there's basically no concept of generic types and 'satisfies' isn't quite good enough to make up for it.
774.
by tmtvl 2y ago
In terms of speed, yes. In terms of functionality, hell no. Compare the following in Racket: (define (add-2 x) (+ x 2)) (add-2 z) Where the result is an error without the possibility to provide a value. Compared to in SBCL:
775.
by tmtvl 2y ago
> maybe there's a Guile/Scheme library somewhere out there that Emacs could desperately use. It isn't the reason for Guile Emacs, but there is in fact a library Emacs could quite desperately use: fibers (< https:&#x2F
776.
by tmtvl 2y ago
Yes, but GGP also said that kids commited suicide after talking to a chatbot. I agree that there's no evidence for video games causing violence (rather the opposite), but this double standard that GGP is setting deserves calling out.
777.
by tmtvl 2y ago
Oh, user services? That's nice, that's the number 1 feature that systemd alternatives tend to lack.
778.
by tmtvl 2y ago
Do you mean written down code? I think that deciding whether that's software is debatable. Other than that I can't think of anything that doesn't run on a computer that can be called software. Unless you want to be pedantic a
779.
by tmtvl 2y ago
Oracle has Java certs. That's something MS could also do with CSharp, AdaCore with Ada,... How useful that stuff is/would be in practise, I don't know.
780.
by tmtvl 2y ago
He walked into a bar. ...I'll see myself out.

More ›