bm3719

17 ms·

151.
by bm3719 4y ago
The Messenger of Allah may have also been doing the same when he entered 9 year old Aisha's tent to consummate their marriage.
152.
by bm3719 4y ago
J# is one that comes to mind. Spent some time learning this only to have it dropped the next year.
153.
by bm3719 4y ago
They also have a history of randomly deciding to dump a technology (including full languages) too, leaving those invested in it holding the bag. I like F# too, but I'll stick with one of it's non-MS controlled alternatives.
154.
by bm3719 4y ago
I wonder if it's social interaction that human cognitive health is predicated upon, or just the ability to externalize one's thoughts along with a feedback mechanism. I've done a few lengthy stints of social isolation, and w
155.
by bm3719 4y ago
This is not going to be a popular opinion among any group of randomly selected humans, since the majority of them will necessarily be willing participants in those same activities. However, it's hard to argue against this point withou
156.
by bm3719 4y ago
Finally, a way to filter out all the Java and .Net programmers from my dating lineup! Like most Lisp programmers, I'm only compatible with women who also program Lisp (unless they only know Emacs Lisp, of course).
157.
by bm3719 4y ago
Interesting. I use w3m inside Emacs for most of my web-browsing, and am posting from it now. I do hate having to switch to Brave for so many sites these days (though it's been a good motivator to avoid those sites). I'll defini
158.
Pit of Despair(en.wikipedia.org)
3 points by bm3719 4y ago|0 comments
159.
by bm3719 4y ago
Homotopy type theory is a type theory (of the Martin-Löf variety) that combines higher inductive types and has deep connections with the univalence axiom. That's probably the main reason. Then there's also cubical type theory, w
160.
by bm3719 4y ago
If you ever wondered whether the tobacco industry still has plenty of politicians in their pockets, now you know.
161.
by bm3719 5y ago
Vegan here. I intentionally don't donate to anything related to veganism. The reason is that the dollar spent on a purchasing decision has unquestionable impact, all throughout the affected market. Charities, on the other hand, are
162.
by bm3719 5y ago
I used a plain text file for about 5-6 years before finding org-mode in 2009. Of course, I technically still use a plain text file since that's what Org uses, just with some extra features that make organizing things specific to produ
163.
by bm3719 5y ago
Wikipedia defines a vaccine as "a biological preparation that provides active acquired immunity to a particular infectious disease." It's not currently possible to be vaccinated, and calling our current treatment a "vacc
164.
by bm3719 5y ago
I'd say Motif, and my favorite, Xaw3d, are two of the nicer UI toolkits out there. At least, that's true from the perspective of a user, having never programmed against their APIs. There's a lot to be said for distinctive, b
165.
by bm3719 5y ago
Another option is wiby, which filters out anything with JS in it. I go there when I want to pretend it's still 1999. https://wiby.me/
166.
by bm3719 5y ago
I suspect the commenter is borrowing from AI terminology to describe a real life ecology of ideas and solutions to problems. Also this is an incorrect generalization of 4chan. While rare enough that I don't bother going there, thought
167.
by bm3719 5y ago
Having lived around the Amish, I've taken some inspiration from them in various aspects of life. I feel they have a lot to teach us in regards to living a content life. Being here now, I obviously don't subscribe to their philos
168.
by bm3719 5y ago
Great empires always die from internal rot. As we fritter away our opportunity, others will fill the void. Perhaps ironically in this case, we'll eventually find ourselves with new masters that don't care about things like divers
169.
by bm3719 5y ago
I did pay $120 for this refurb Thinkpad x230. The software on it right now, however, is all FOSS. Next time, I may try scrounging up completely free used hardware when/if this one breaks. I'll say that if you're having a gr
170.
by bm3719 5y ago
I'm not trying to convince anyone with my post. It was more in solidarity to another person that seemed to feel the same. However, my life is inarguably better (for me) this way, and for anyone interested, I'd recommend at least
171.
by bm3719 5y ago
I'm not sure the degree to which I want to support professional entertainers as they currently exist in most cases. As I said in another reply, I'd rather it worked more like FOSS does. Do FOSS advocates want to support the profe
172.
by bm3719 5y ago
Reduction of embodying a consumer is another positive from trying one's best to not pay for entertainment. It cuts out a large swath of entertainment outlets that are a net negative to one's life, and often, for the environment a
173.
by bm3719 5y ago
The first statement acknowledges the economic reality of the entertainment industry as-is. In that, I occasionally tolerate the things I dislike about it, and pull out the wallet or reluctantly tolerate an ad. The other statement is my ide
174.
by bm3719 5y ago
Nice to see other people out there with this life philosophy. Thought I was the only one. Paying for entertainment always seemed "wrong" somehow. That includes paying for it with attention, like watching commercials or enduring s
175.
by bm3719 5y ago
The population is on track within a few years to double since I was born, regardless of what happens in Asia and the West. For example, fertility rates in just Africa are up to 6.8 in some countries, with just them producing more new humans
176.
by bm3719 5y ago
Glad to see this. If nothing else, it's worth it if you want to hedge against a certain kind of situation that we see articles about here every week. At this point in the culture war, I'd probably rather work for a small Christia
177.
by bm3719 5y ago
It'd be nice if there were some way to filter out job listings where some heavyweight development methodology was in effect. Some make it obvious in the description text, dropping SCRUM/Agile-related buzzwords. Others sounded aw
178.
by bm3719 5y ago
The internet worked just fine before we decided that free speech as a societal value was an inconvenience. Turns out being the thought police is hard work though, so that's good. Maybe you'll save us all the trouble and stop? Ju
179.
by bm3719 5y ago
I use these exclusively and have the trackpad disabled on my Thinkpad (an old x230). The #1 reason I use it is to not move my hands when I need to do a pointing operation. You can get very precise with it too, but it takes some getting use
180.
by bm3719 5y ago
Not sure how anyone can respond to your assertion that it's silly and absurd. I'm fine with you feeling that way as long as you don't try to restrict my right to own them. I guess one thing I can say is that security needs i

More ›