gnuvince

20 ms·

151.
by gnuvince 9y ago
This is akin to suggesting that learning Java could be simplified by making its type system optional. Also, if one could turn off safety features, why would they ever switch them back on? They learned a different language, one where those
152.
by gnuvince 9y ago
I used literate programming to write ~25 programs last year, and I found that the coolest thing about the technique was crafting a narrative for understanding the problem and appreciating the solution. One difficulty when reading somebody e
153.
by gnuvince 9y ago
What's a good reference to get started with LLVM? I've been wanting to write an Oberon-2 compiler, but I don't know what LLVM provides, nor how I might use it from Rust.
154.
by gnuvince 9y ago
I've been recommending this to co-workers who want to learn how to write their own language. I had ideas on how I would write a book on compilers and Bob had all the same idea, but he actually went ahead and acted on them. 1. Avoid lo
155.
by gnuvince 9y ago
I tried to use nom for one of my projects, but I found that it had two major problems. First, the macro syntax was hard to use, hard to learn, and hard to debug. Sometimes you had to put an expression in parentheses, even if it seems that
156.
by gnuvince 9y ago
I was T.A. for COMP-520, Compiler Design, at McGill University for two years, and it was the best job I've ever had. The compiler project had not been updated in 10-12 years; my adviser trusted me to make a new, interesting project.
157.
by gnuvince 9y ago
I love Iosevka Term! My only issue with it is that there seems to be a problem in Emacs 25 that makes the screen flicker once in a while when I use it. For Emacs, I like to use Fantasque Sans Mono, another amazing font.
158.
by gnuvince 9y ago
> Either all of the significant contributors to Magit must sign papers with the FSF (with code from the holdouts being replaced), or an entirely new Emacs interface to Git must be written. False dichotomy: GNU Emacs can simply not ship w
159.
by gnuvince 9y ago
I hope that the documentation for ShareLaTeX stays online; of all the resources on LaTeX available, their documention stands above the rest in terms of clarity. The other day, I wanted to know how to do a proper quote, made a quick Google
160.
by gnuvince 9y ago
As I understand it, it's not lack of trust, but rather that if a legal dispute occurs, it's easier if only one party is the copyright holder rather than having to find hundreds of developers scattered around the world.
161.
by gnuvince 9y ago
Mini story: I got interested by Linux around 1999 when I was 15-16. I tried to install Slackware 3.4 and Red Hat 5.0 on my machine at home, but I did not know enough about computers and I did not understand English well enough to follow th
162.
by gnuvince 9y ago
I started using Emacs's mu4e package for my email at work. It's mostly mail from Github about pull requests, so no fancy HTML or images in there. I also integrated a small shell script I wrote to fetch a patch from a private rep
163.
by gnuvince 9y ago
Cool trick!
164.
by gnuvince 9y ago
My browser never recovered, had to `kill(1)` it.
165.
Text Editor Performance Comparison(github.com)
330 points by gnuvince 10y ago|247 comments
166.
by gnuvince 10y ago
Very cool Bob! I'm a big fan of your writing and Jasic was a nice and small project that really helped me understand compilers better. I look forward to my lunch hour when I can go over this chapter. I'm actually going through a
167.
by gnuvince 10y ago
It's code, but most of it is simply (use-package ivy ...) or (setq tab-width 3.14), where's the value in chunks? The typical Emacs configuration doesn't contain data structure definitions, algorithm implementations, or error
168.
by gnuvince 10y ago
> In literal (sic) programming, the order of the explanation dictates the flow of text. Conversely, well documented source code follows the order of the program. org-mode supports noweb-like chunks, so you can do "real, Knuth-like&q
169.
by gnuvince 10y ago
Window Maker was one of the reason why I decided to start using Linux back in 1999. I was running Windows 98 back then, and I was so taken by the style of the different window managers available for Linux. I marveled at how flexible Enlig
170.
by gnuvince 10y ago
What do you mean by "reverse engineering TeX"? Since TeX: The Program [1] is freely available with full source code and complete explanations of the the source code, I don't think one could characterize understanding how T
171.
by gnuvince 10y ago
Rust does have automatic memory management; unlike language implementations that have a GC, Rust's compiler can do all that work at compile-time, rather than at run-time. Of course, this requires that the usage be analysable statica
172.
by gnuvince 10y ago
When not using tmux/screen, the complete invocation is C-a a M-x roll-eyes RET Backspace.
173.
by gnuvince 10y ago
I consider myself a power Emacs user, I have a sizeable Emacs configuration, but when I connect to servers, I just use vi. Simpler, faster, less fuss.
174.
by gnuvince 10y ago
When I first learned OCaml (knowing only Python), I swore a lot at the type checker for refusing to compile code that I knew would work at run-time (e.g., a variable having multiple types, but on strictly disjoint execution paths). It seem
175.
by gnuvince 10y ago
I prefer using a Trackpad, however the Thinkpads have a middle button, which I use all the time in Linux.
176.
by gnuvince 10y ago
I've started doing literate programming these past two months, and I have to say that I believe this statement less and less.
177.
by gnuvince 10y ago
I've been doing literate programming for my own projects lately, and I'd really like if more programs were written in this way: creating a complete narrative for a reader to understand the problem and the solution is certainly bet
178.
by gnuvince 10y ago
Nice article! It take a subject that is scary for many and does a great explaining a little bit very clearly using good visual aids. I look forward to the next articles!
179.
by gnuvince 10y ago
Thank you!
180.
by gnuvince 10y ago
Is it possible to install my own SSD in an XPS 13? The price difference between the default 128 GB drive and the 512 GB is a whooping $1000! I'd love to buy an XPS 13, but this price difference sounds like theft.

More ›