omaranto

54 ms·

541.
by omaranto 11y ago
Maybe years ago that would have been a plausible definition, but by now many proofs have been verified by computer, including several which probably no-one would feel comfortable calling trivial.
542.
by omaranto 11y ago
Baez didn't mean that as a mathematical statement rather as a statement in the field of history and human psychology: "So far nobody has been able to devise a proof that is widely regarded by people who study it as being trivial (
543.
by omaranto 11y ago
Are you asking for a proof of the "fact" that all proofs of the theorem about cubic surfaces having 27 lines are non-trivial? If so, then no, there is not even a definition of non-trivial proof, let alone a proof that any specif
544.
by omaranto 11y ago
But that's not true, as far as I can tell. Ruby does allow you to write 5.+(8), but as far as I can tell most people prefer 5+8. Ruby also has special syntax for <, == and indexing arrays. What things does Python have special syntax
545.
by omaranto 11y ago
> One of my favorite aspects of Ruby is that everything is an object with methods. Adding global operators/functions like this would only complicate the language. But people love operators, that's why Ruby already includes load
546.
by omaranto 11y ago
"Sun made java fast. Google made javascript pretty fast." And Mike Pall made Lua pretty damn fast.
547.
by omaranto 11y ago
The JVM startup time is very small nowadays (seriously, write a Hello World! class in Java to test it if you don't believe me). The culprit is probably JRuby's startup time (and maybe the Truffle + Graal version of JRuby is even s
548.
by omaranto 11y ago
Ruby counts as mainstream, right? It is expression based.
549.
by omaranto 11y ago
Just try using the Elm compiler to translate an ES2015 program to ES5 and you'll quickly figure out why it's not on the list.
550.
by omaranto 11y ago
I'm not sure compiling through C is really slower than using LLVM. For example, I haven't used Rust or Nim very recently, but a few months ago when I tried them on some toy programs, Nim compiled significantly faster than Rust. Th
551.
by omaranto 11y ago
Emacs has what you called the hit-one-key-and-access-code-anywhere mentality, and I think part of the reason Emacs users tend to use it for much more than just editing text is exactly the appeal of an OS with that mentality.
552.
by omaranto 11y ago
How far in advance do you believe you notified your users?
553.
by omaranto 11y ago
Don't those reasons also soy to browsers? My tiling window manager is perfectly capable of tiling browser windows. Browsers like Firefox and Chrome can be controlled fully by keyboard, even very comfortably with the right extension.
554.
by omaranto 11y ago
Right, but Jupyter lets you evaluate the code, which is much cooler than just editing it. On the other hand, Quive may have better search functionality.
555.
by omaranto 11y ago
No, but it supports LaTeX math mode commands, such as \frac, that are not in plain TeX (in plain TeX $1 + \frac{a+b}{c+d}$ is written $1 + {{a+b} \over {c+d}}$ --but you might be able to omit one set of braces). I don't see any reason
556.
by omaranto 11y ago
I don't know if I could install Vim on my father's Chromebook (probably yes), but I do know it came preinstalled ! That makes it a computer too, right?
557.
by omaranto 11y ago
> atom, which presents an extremely similar text editing experience compared to the experience the text area already provided Well, that's just rude. Atom is a customizable, programmable, featureful text editor. You can certainly
558.
by omaranto 11y ago
The Textadept editor uses PEGs for its language modes. I haven't tested them but that sounds like it has a chance of being pretty good.
559.
by omaranto 11y ago
As ufo said, Lua could also support the 1/x syntax since it does have operator overloading. Additionally, there is nothing hacky about having an apply method taking a function.
560.
by omaranto 11y ago
When you mentioned some desktop programs with less frustrating UIs you forgot to include Wolfram Mathematica. :)
561.
by omaranto 11y ago
People believe some languages are "higher level" than others and call a tool that translates programs written in A to programs written in B a compiler if A is clearly higher level than B and a transpiler if B is of a level higher
562.
by omaranto 11y ago
Does he actually say anything wrong about Swift's type inference? I only found a spot where he mentions you need to declare types, which I thought was true at least in some spots.
563.
by omaranto 11y ago
I think he's saying that most OOP languages have single dispatch, while multiple dispatch is more like the real world. https://en.wikipedia.org/wiki/Multiple_dispatch
564.
by omaranto 11y ago
From the perspective of a hobbyist programmer, the compiler seems very "enterprisey": it doesn't look like you can just stick a program in a file and run it or put some functions in a file and load them into a REPL. Instead i
565.
by omaranto 11y ago
You're definitely right that concatenation is less composable, and I agree that parser combinators are more powerful. I was just pointing out there are somethings you can do in regexes to make things more readable. And about captures i
566.
by omaranto 11y ago
> anything where you a) name the things you're capturing b) can easily combine several small parsers to make a bigger parser will have a huge readability, testability and maintainability advantage over regexes I think many regex lib
567.
by omaranto 11y ago
When comparing with scripting languages, I think it's fair to talk about how Haskell increases correctness, but I don't think you'll convince people coming from those languages it reduces a lot of boilerplate. (On the other h
568.
by omaranto 11y ago
> `print >>fileobj, ...` always looked like syntax from another language Yes, AWK specifically.
569.
by omaranto 11y ago
Do you mean "static_if I Had a Hammer" [1]? [1] https://channel9.msdn.com/Events/GoingNative/GoingNative-201...
570.
by omaranto 11y ago
I'm not sure I agree that that there is clear winner in expressivity between Perl and Python. In Perl dealing with nested data structures feels really awkward. And Python's list and dictionary comprehensions and generator expressi

More ›