Recent submissions

Comment · 4 years ago
This argument can't persuade those who never have any views of their own and always adopt the currently acceptable ones.
Comment · 6 years ago
Comment · 6 years ago
Comment · 6 years ago
Most command-line interfaces use the readline library. To switch them to vi bindings put the following in ~/.inputrc:

  set editing-mode vi
Comment · 6 years ago
Comment · 6 years ago
Comment · 7 years ago
Comment · 7 years ago
Comment · 8 years ago
Comment · 8 years ago
"...study actively. Don't just read it: fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case? What about the degenerate cases? Where does the proof use the hypothesis?...it is not a good idea to open a book on page 1 and read it, working all the problems in order, till you come to the last page. It's a bad idea. The material is arranged in the book so that its linear reading is logically defensible, to be sure, but we readers are human, all different from one another and from the author, and each of us is likely to find something difficult that is easy for someone else. My advice is to read till you come to a definition new to you, and then stop and try to think of examples and non-examples, or till you come to a theorem new to you, and then stop and try to understand it and prove it for yourself --- and, most important, when you come to an obstacle, a mysterious passage, an unsolvable problem, just skip it. Jump ahead, try the next problem, turn the page, go to the next chapter, or even abandon the book and start another one. Books may be linearly ordered, but our minds are not."

(P.R. Halmos)

Comment · 8 years ago
mruby (http://mruby.org/, https://github.com/mruby/mruby) is the official attempt to do just that. Depending on what you count it's around 30-60kLOC. It has a standalone bytecode compiler, so the parser (which is "only" 6kLOC) doesn't have to be a part of the runtime.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton