omaranto

35 ms·

331.
by omaranto 8y ago
Aren't you only thinking of a few expensive "flagship" Android phones? I don't think the vast majority of recent Android phones have followed either of those two innovations.
332.
by omaranto 8y ago
Vimgolf can be played in any editor, of course. I enjoy doing it in Emacs.
333.
by omaranto 8y ago
I'm guessing the code was intended to be equivalent to: lua_newtable(L); lua_pushstring(L, "five"); lua_pushnumber(L, 5); lua_settable(L, -3);
334.
by omaranto 8y ago
You are mostly right. Haskell Functors, when thought of as mathematical functors do go from Hask to Hask and thus are endofunctors. But you also say that "Hask is the only category". That needs some qualification, since the type c
335.
by omaranto 8y ago
This explanation is wrong on several fronts. 1. Your explanation of endofunctor is wrong! You say: "An endofunctor is just a functor (container that you can implement map on) for which the type you start with is exactly the same as the
336.
by omaranto 8y ago
> Most Haskellers write out the types even though they can be inferred. I don't think that's true. Idiomatic Haskell has explicit declarations only for top level functions and uses type inference for everything else.
337.
by omaranto 8y ago
> yeah you can return a new function How?
338.
by omaranto 8y ago
The Scheme and Python versions both return the derivative function. The C version is significantly less cool. I'd want to do something like: func cube_3rd_deriv = NthDeriv(3, &Cube); /* returns a function */ dou
339.
by omaranto 8y ago
I don't think so. A type inferencer figures out types of expressions that don't have a type explicitly declared using information it has about other things that are declared. A compile time type checker is expected to signal error
340.
by omaranto 8y ago
I've never heard of a code formatter called a "syntax beautifier" before. The phrase "syntax beautifier" sounds more like a compiler plug-in that actually changes the language syntax to something more beautiful.
341.
by omaranto 8y ago
These aren't mentioned until the fourth paragraph of this tutorial. :)
342.
by omaranto 8y ago
> ... needing to fill in space with fancy wording and fluff. I doubt there is any academic program at all where you need to do that. There are however tons where you are allowed to do it, and students will opt to do it because that
343.
by omaranto 8y ago
I seriously doubt SBCL "destroys" Luajit. Or maybe it depends on the type of code. I remember a few years ago doing some Project Euler problems in both Common Lisp and Lua, and my recollection is that for that sort of code (nested
344.
by omaranto 8y ago
I agree, and it's not just the appearance, the UX is generally sensible (and little things like keyboard shortcuts for snapping a window to half the screen are very useful). I just wish it weren't so damn buggy. I just had to rein
345.
by omaranto 8y ago
I'd love a little spreadsheet widget for Jupyter that was only for data entry (i.e., a formula-less spreadsheet) and produced a Pandas dataframe.
346.
by omaranto 8y ago
You could use the work profile you create exclusively for gmail and analytics, etc. That is, you could leave that profile pretty plain, not mainting bookmarks and plugins for it.
347.
by omaranto 8y ago
To provide context and pointers to previous literature. Very often it happens that only some of the insights from papers fall into fashion and when you go back and read the original you find other things of value that didn't get picked
348.
by omaranto 8y ago
Lennart Augustsson implemented a JIT for BASIC as an EDSL in Haskell using LLVM. A blog post he wrote about it: http://augustss.blogspot.com/2009/02/more-basic-not-that-any... The JIT itself: https://ha
349.
by omaranto 8y ago
Minor correction: the phrase in vogue now is "use in anger", as in your example, not "use with anger" as you state first.
350.
by omaranto 8y ago
It seems to be a TUI (textual user interface), not a CLI (command line interface). If you want a Slack TUI client, there was already https://github.com/yuya373/emacs-slack (And I think that one can display images, so m
351.
by omaranto 8y ago
> Do people genuinely run into cases where they frequently have to be hitting 3+ keys simultaneously to use Emacs? Or is this just one of those "everybody knows" things that's actually completely false? Search and replace
352.
by omaranto 8y ago
Only barf and slurp are paredit commands, the others you mentioned (the sexp motion and killing commands) are stock Emacs! (Well, by default C-M-u is bound to backward-up-list, either that's what you meant or paredit really defines a s
353.
by omaranto 8y ago
How about instead of something merely like Jupyter you just use precisely Jupyter? I'm sure someone wrote a shell kernel, and if not, use ipython's shell magic.
354.
by omaranto 8y ago
Here in Mexico too.
355.
by omaranto 8y ago
I also like wiskunde for mathematics, I've been told it means something like the study of certainty.
356.
by omaranto 8y ago
> I thought emacs was the only popular environment supporting org files. Pandoc has a pretty decent Org Mode parser and writer.
357.
by omaranto 8y ago
You might enjoy Mike Zamansky's blog post and short video about it: http://cestlaz.github.io/posts/using-emacs-25-tramp/#.W2HhPH... Also, the manual is pretty good. It comes with Emacs, of course, or can be r
358.
by omaranto 8y ago
> Hell, Vim does it too if your line length is long. Or even if it is short if you're using LaTeX with syntax highlighting. This even has its own entry in the manual, called tex-slow ( http://vimdoc.sourceforge.net/ht
359.
by omaranto 8y ago
That's called literate programming. Maybe the most famous example is the source code for TeX, a single ~25,000 line file ( http://tug.org/texlive/devsrc/Build/source/texk/web2c/tex.we... ) t
360.
by omaranto 8y ago
I am not craigsmansion, but I think I know what he or she meant. The lessons in SICP are about fundamental computing concepts and independent of any language. The authors simply chose Scheme because it is easy to learn and let them teach th

More ›