I noticed my posts don’t get submitted when I swear. I also don’t post in this case, because sometimes you need to swear to make a point.
I noticed my posts don’t get submitted when I swear. I also don’t post in this case, because sometimes you need to swear to make a point.
That’s why it’s also called Curry-Howard isomorphism.
Programs are mathematical proofs. If maths cannot be patented, software can’t be, either.
It is a good way to have a fire hazard at home, if you don’t know what you’re doing.
I’ve had some fun about thinking how much overlap you need. And while playing with the thought to maximize it, I came to the conclusion that you can just have two keyboards, for each hand one.
From a private end user point of view yes. But in enterprises Windows and Office is successful. Lots of money is going to Microsoft here.
It’s easy not to talk or not to read content from other people. Why is age relevant here? It does as much as sense to me as to have an option to block other genders, religions or even skin colors.
I don’t feel uncomfortable talking to kids. Why should I start to be?
Kids and juveniles can learn a lot from adults. Conversations with adults make them smart.
I don’t believe this is the right way.
Usually, they can, if there are risk of violence appearing. You’re allowed to protest peacefully, but the current situation suggests the protest would be based on anger and maybe provocation.
What is annoying that they make the clients 18+. I want to avoid WhatsApp and chat with my kids. It would be fine when I could make an exception to the parental controls, but it does not allow me to do that.
Matrix is like WhatsApp. The advantage is that it does not belong to Facebook/Meta.
I don’t care about numbers. I care more about quality of conversations. I can easily chat with competent people who react in real time on Matrix servers. They helped me solve many problems and give useful information. Staying connected with them is nice.
I don’t know what Discord is. I don’t need to chat with gamers. I just play games on Steam and PS5. That’s all I’m interested in.
No one answers the question. I have never used Discord, only Matrix and have the opposite question.
Matrix is a chat protocol. The clients support chat with styling and sending media, post reactions or polls, telephony (voice and video) and can integrate many other features like video conferences. One feature that is also well known are protocol bridges. You can connect to other chat protocols (like IRC) and have one single client.
Most of my text files are from Unix/Linux systems, because I don’t work much on Windows. So Wordpad is more important than Notepad for me, because the latter one does not handle end-of-lines correctly.
I need to go 40km to work. It’s 30min by car. And 90min by public transportation. I don’t want to waste 3 hours a day when I can waste 1 hour.
And the range is a problem, if your time is limited.
No one says the devices are anti consumer, except for some that are intentionally made incompatible with common replacement parts (missing “apple logo”). The walled garden is.
The only case where I’d use a virus scanner is when I’d host a file server for Windows systems.
Btw, ClamAV is slow and generally awful. It has many false positives that you get spammed all the time. There are also cases where it doesn’t really find the virus (false negatives). It’s also buggy and it’s not a good sign for security product.
I’d still recommend Linux, if you want to be safe. Windows has never been designed with security in mind. It’s not even a proper multiuser system.
They just want our straight bananas! Don’t let them in!
Probably not, because it’s a lie.