ibic

Found this hilarious XD..

Yup, I’m still wrapping my head reading these comments, “bizarre” is the word I was looking for.

Same suggestion, purchased during the last Christmas sales period. PS’s price is out of my reach as a non-professional user.

I don't think this is a major concern here, many websites pass username and password in plain text and rely on https for security (Just take a look at HN's log in form). If I'm not wrong, J2EE's login is implemented using plaint text also for password.

Similar thoughts with me - Why can’t Vim just support lua scripts as Neovim’s way? Neovim can then omit the heredoc hack for lua scripting. And plug-in devs and vim users should be happier ass well.

The comments confirmed my doubt - how can this device violates the conservation of energy? It doesn't and is a scam.

Or just once till next restart, Just Close the Lid ™.

I like your sarcastic tone a lot, lol.

Saw this editor names several times before, but never used it. Out of curiosity, how does it compare to Sublime Text?

Agree, just that ML-family languages take quite long for an average mortal like me to grok.

Well, I see the point but I'm not sure how well this will work out - When people shop online, they most likely favor the convenience over physical stores right? So how can this sway that person's mind? Another point is that, introverts may not enjoy that much talking with people and online shopping provided them a way of escape.

The last sentence "There was no importance to what I was doing, but ultimately there was. The diagrams and the whole business that I got the Nobel Prize for came from that piddling around with the wobbling plate." reminds me of Steve Jobs' speech at Stanford - "Of course it was impossible to connect the dots looking forward when I was in college. But it was very, very clear looking backward 10 years later."

I almost agree everything said in the article. "Death with Dignity"

Didn't downvote, but I disagree with your "If you disagree it's not a reason to downvote." Downvote is my liberty, I can downvote for whatever reason I see fit.

Wow, there is this ascii art now. I like the stonk.

Maybe trying to to save the business relationship with Apple?

Turns out in Jan-2020, the password is already googlable:

https://whrl.pl/RfZQfv

HKEX followed suit also.

Similarly, ecosia is now my daily search engine with little search on Google for comparison. It's good enough and (quoting Peppa) "it's for a good cause"

So isn't that a backward-incompatible change for versions prior to 3.7?

Believe people are betting on its future. (Shanghai Mega-Factory seems doing pretty smoothly is probably one of the factor as well)

I found this one quite useful from the aspect of proving (I'm reading it half way): https://coq.inria.fr/tutorial-nahas

At the end of the article, there is a coq source code of the entire article for you to play with in CoqIDE or Proof General: https://mdnahas.github.io/doc/nahas_tutorial.v

I just switched from Notion (and Evernote, Google Keep) to Joplin, and currently I'm quite satisfied with its offering.

Some cons I felt while using Notion: - Mandatory to log in using a Google account is a _very_ big pushback for me - I need it to work all the time offline. - E2EE encryption? I don't think it's there. It's something I strongly desire for privacy reason. - It's a freemium subscription modal, I have nothing against it, but imho, completely free one is of course better - It's not open sourced, but Joplin is.

How does it compare to Rclone? https://rclone.org/

Was searching for it, thank you.

I don't get it - NSA has inserted many backdoors in different devices like routers and even hard disks, I don't recall China has such a record. Why are you so concerned about China but the U.S. ?

Hmm, what's the problem with this guy? After told on the face that his statement is unfounded from a much reliable source, he doesn't correct his statements nor apologize for spreading (seemingly?) false information (If you dissent, please elaborate with more strong evidences, not some holy "Sources"), instead, he continues with what appears to be insinuation that he is more authentic.

Totally NOT COOL.

Isn't that +1 "spam" counter an indicator of how severe the issue is and how much impact it's causing? Do I sense some sort of playing down/covering up?

P.S. The issue has been fixed about 16 min ago according to ceejbot's last reply to the github issue.

Risking heated debates, but I'm still going to say: isn't this patent troll at its finest?

Exactly what I wanted to say.