Viewing profile — hfkwer

What do you mean by the "type" of a function? It doesn't sound like you're using any kind of standard definition for the word.

I'm not sure I understand the criticism. You have three functions of type (int, int) -> bool. Where the type system accepts one, it accepts the others. I fail to see the issue here…

It's sad to think that everyone had to work so hard to solve a problem whose solution is 27 years old. One day we'll just be able to run `ip -6 addr show scope global` and get the …

And mp3 persists despite being inferior to any alternative. The reason isn't intrinsic value, it's inertia.

Do you have anything to contribute beyond rehashing memes? I can have a go at it too: better not miss a bracket on line 2000 of your document, otherwise latex will complain about a…

Do any scientific publishers accept it?

Not sure why you're being sarcastic. PDF is terrible for anything other than printing documents.

While what you're saying is true, I get the feeling that you want to say that this is in contrast to LaTeX3, which isn't "plain old LaTeX 2e". Except... that it is. The project to …

The appeal of word isn't the WYSIWYG aspect. It's that... it. just. works. You want a table? There's only one way to make a table, and it works. You want to insert an image? It f*c…

What a weird comment.

I'm a math professor. I've written articles, books, lecture notes, exams, exercise sheets, presentations... with latex. Hell, even a custom class for a journal I participate in. I …

Why would they owe you such detailed explanations? You're asking for a full-on incident report. These take days to write and there's no reason for the public at large to need it.

Easy karma.

Gnu emacs is only 38 years old. And vscode is a fad...?

What wouldn't work about it?

You need an SSH server running and the remote machine to be accessible (through NAT, firewall) to connect there with SSH. With tunnels, it's inverted: the remote machine needs to b…

That's on screen readers developers. And I don't know when that comment you seem to remember dates back to, but I have had several blind students in my math lectures over the past …

I imagine that itronitron's point is that the issue of parking as presented in the article is a typically American feature. Many other countries deal with it differently.

It's just an expression of irritation towards people who contribute nothing of value to the discussion about the content of the article. "oh no I see ads on your site it sucks!" Er…

So if you turn your back on the ceiling light you lose your connection?

That's the goal. This way headlines will read "meta/alphabet fined $X million for selling user data to cartels/illuminati" and nobody will know WTF this is about because they'd nee…

>Use the old protocol by default, write new scripts with a flag requiring the new protocol from the server. Next time, read the whole comment before replying.

Your examples aren't relevant at all and full of hyperbole. Are you replying to what I wrote or showing off your oratory skills to the peanuts gallery? SSH is a protocol. Just have…

So many things could be fixed if we didn't insist on backwards compatibility with ancient systems. Shell command line parsing is just one example.

I'm all for it. Let me pay twice the price for my phone and keep it ten years. It's a better deal for everyone, and firstly for the planet - no need to dig up rare minerals and was…