kronos29296

Nice article about type theory.

> Why there’s so much research around types if perfectly applying them to programming languages is impractical?

Somehow Haskell does this perfectly. Whaddya say to that?

Maybe there should be a google translate like thingy for programming languages. Atleast the main keywords get translated. Would make lives easier. (Python would be a great language to have such a feature as it has more verbose identifiers than most other languages like C or C++)

Using a search engine is not cheating. There is nothing wrong in making use of all available resources in assignments and this is just another resource at their disposal. My $0.02

Maybe Discord is a better choice. I mean it almost feels like a forum of sorts. Just that they market for gamers and all kind of redditors use it.

And privacy isn't worth anything. Nobody cares. Because everybody is on Facebook.

How did you do that?

The company got bankrupted and they set up an org to fund its development. (Sagemath moved to Postgresql from RethinkDB after the company got sold. The guy behind sage said it was better in his blog about the switch)

I used to wonder (basically my physics class where they took an entire class about dimensions and verification based on that. Now I know better.)

Always thought why didn't we have some super complex standard for weight when we had one for length and time. Now my thoughts have become reality. Though since I am non sciencey, It makes me ask Why so long?

I don't know about the other things but Even Bjarne Stroustrup calls multiple inheritance the wrong way to go. I don't think I'm better than him. So I disagree on that. The other stuff - Well all languages are imperfect. That's why we have so many of them.

You made my day. Though an explanation would help understanding it. For the commonfolk like me.

IRC as general chatting service is outdated. IRC as communication between developers and for tech support is relevant because it's easier and simpler to set up and use.

IRC is not going anywhere but projects like neovim use gitter primarily while IRC is linked using a bot. They view the IRC chat in gitter.

Dunno if Gitter is better than IRC as I have only used for help and support (for me) but Gitter was far easier to use than IRC. Just Login and start chatting.

I don't think IRC is going anywhere either... We just have alternatives to freenode now in Gitter

This is probably not the case with the sed in Linux.

Maybe something like GNU social. They already use Gitlab CE for the repos. Add gitter and we have replaced IRC.

Like Rust? Rust does most of those things wrt explicit dangerous behaviour.

Try Tor or a proxy I guess. Maybe the website hasn't blocked those. But the article doesn't really talk about much. It's like an introduction to Scihub.

Kinda like BrainF* I see. Turing complete but a readability nightmare. Maybe I should try to write one for FORTH like for BrainF*. Was an interesting exercise especially the loops.

This one is ironic. https://github.com/thepracticaldev/orly-full-res/blob/master...

The other sites don't seem to have this problem as they compare STDOUT. CodeWars should also do something like this.

Is that why nobody uses it anymore? Only thing I know about it is that it used stack like expressions. (kinda like RPN but for everything)

I don't think it is zero but where we have sites like wikipedia, they should be much lesser than the exorbitant prices they charge for subscriptions.

You can't read what you need but what the publishers think you should subscribe which is worse than proprietary software because this is Science - This has become the industry standard for journal publishers.

So it's not full article?

So the Ruby guys have an unfair advantage. As a non-Ruby guy hope they fix this. But it still feels bad. I only found that site a few days ago and it looked all flashy compared to codeforces but now - It raises severe questions about its accuracy. Kinda like Chrome dinosaur high scores.

Most things in life are like Gaussian distribution. After a peak there is long decline. What matters is how long to the peak and how high it is.

HN is usability and speed taken to the extreme. I mean it the personification of Unix philosophy 'do one thing and do it right'. So no bloats.

Very informative. this clears up a lot of doubts I had because I was doing a lot of snippet copying for my plots before.

Now this is either poor marketing or poor taste. They tried with desktop with Amazon applets now /etc/motd for server guys. This is really bad for ubuntu

At a time where there is energy scarcity due to increased consumption, I question the economic viability of such an impractical endeavour being carried out under such government support. (Wow I just used so many new words!!!!)

Still this is not a movie where the aliens are on next moon so even if they picked up the signals it would long after the next few generations die off (Light years away - Man they are damn far off). (living in a developing country would give you a whole new perspective on energy scarcity)

Yeah stop book photocopying by not publishing books is the best way to do it. Then they are no longer book publishers just another website with a premium subscription.