evmar

45 ms·

451.
by evmar 10y ago
By the way, to solve the specific problem mentioned in the article, see "man 1 rename".
452.
by evmar 10y ago
> This software was written because a disappointing number of websites still does not have an RSS or Atom feed so I could subscribe to their updates, e.g. the KiTTY website. It seems the KiTTY website does have an RSS feed at http:&#x2F
453.
by evmar 10y ago
I read one in the series because of that good reputation. I can confirm that it wasn't good -- formulaic and kind of boring. In retrospect it almost felt like a parody of the genre. (I was reminded of the prolific fantasy author cha
454.
by evmar 10y ago
One counterintuitive observation about introducing stricter type checking into an existing codebase is that it rarely finds bugs. Why? Because the existing codebase typically "already works", in that issues that the type checker
455.
by evmar 10y ago
At my work we migrated our codebase (a few hundred klines at the time, I think) with not too much effort. It helps that enabling the flag makes everything more restrictive, so the compiler only flags the places that you need to go back a
456.
by evmar 10y ago
Here's one that TypeScript gets wrong. It's kind of a canonical example of a program that is difficult to get right in a type system. (It's how I found the Flow example linked upthread.) let x: number[] = []; let
457.
by evmar 10y ago
Sorry for the confusing comment -- I updated it. I was saying that it is strange for the linked post to talk about soundness being important when it's trivial to find an unsound Flow program. (This particular program is properly reje
458.
by evmar 10y ago
I found the comment about soundness in the linked post to be kind of an odd remark. It didn't take me long after reading that to come up with an invalid program that is accepted by Flow's type checker. (The typechecker normally r
459.
Benchmarking build systems for a large C project(kaizou.org)
1 points by evmar 10y ago|0 comments
460.
by evmar 10y ago
I recognize the stories from Zen Flesh, Zen Bones (I have an old paper copy).
461.
by evmar 10y ago
The code reads the file into a big buffer and then does array operations to index into it, which seems like the opposite of what you want for a good decoder. Using iterators etc. will let you read the file incrementally and will avoid arra
462.
by evmar 10y ago
If you're ever in such a situation again, Ninja ( https://ninja-build.org/ ) was designed to have semantics similar to Make but load build files much faster (~seconds even for megabytes of build files).
463.
by evmar 10y ago
You say "a problem in this country", but my point is that even the <=50k that literally half the US households make is itself a lot of money compared to the 25k earned in a "rich" country like Germany, and other count
464.
by evmar 10y ago
300k is nearly 6 times the median US income, and even the median US income is double that of high-quality-of-life places like Germany. Literally most of the planet has happy families with significantly less money than that. It's facil
465.
by evmar 10y ago
Now I'm imagining Fedora building one rpm per crate in servo -- that picture has like 50 of em, heh.
466.
by evmar 10y ago
Computers are good at tracking dependencies. It seems silly particularly in this case because Rust is harder to use than a garbage-collected high-level language exactly because it is trying to squeeze out these last optimizations, and then
467.
by evmar 10y ago
It's too bad that Rust went to all this language design effort to allow inlining (including when passing a closure to a function, which is really impressive!) only to have distros undo it for some policy that ends up harming their user
468.
TypeScript nullable types(neugierig.org)
1 points by evmar 10y ago|0 comments
469.
by evmar 10y ago
Reddit has good discussion of this story: https://www.reddit.com/r/sanfrancisco/comments/4pt2hu/san_fr... To summarize: it sucks for anyone to lose their home, but in this particular case the details are
470.
by evmar 10y ago
It doesn't seem like Kottke's style to plagarize, but it also seems extremely likely he read Graydon's post before writing this one. Even the phrases like "always bet on text" are the same.
471.
by evmar 10y ago
I work with TypeScript fairly closely and was surprised at your example, because I was sure that this already works. It turns out the type narrowing is actually special-cased on only some particular AST. You can see it working here, where
472.
by evmar 10y ago
I use TypeScript from both Emacs and VSCode, depending on my mood. They do both use the same underlying compiler API, but the VSCode support is more pleasant in how it's surfaced in the editor: ctl-click on a variable to jump to its d
473.
by evmar 10y ago
Most of HTML's behaviors are "specced" in the sense that the WHATWG sat down and documented the behaviors of Internet Explorer and Netscape that they witnessed sites out in the wild depending on. On Windows Chrome, your demo
474.
by evmar 10y ago
The other answers given give the high-level view, but one technical detail to add: the semantics of alert() are that it blocks the execution of JavaScript. In old browsers that means across all tabs because that was how they were implement
475.
by evmar 10y ago
It's definitely the sort of paper that would get reviewer feedback if it was submitted to a conference, in that it failed to compare any related work. (But it's unfair to grade it by that metric because it reads like more of a &q
476.
by evmar 10y ago
"You should not track your users. If you need anonymous data, you should ask your users first." Now I'm imagining a website where when when you first visit it, you get a popup like "for capacity planning purposes, this w
477.
by evmar 11y ago
I try my hardest to not be dogmatic, and my answer to the argument about vi having better keybindings while emacs having better extensibility is "why not both?" :) JavaScript is almost an acceptable lisp, too...
478.
by evmar 11y ago
I'm your standard unix greybeard, the sort that uses org-mode to outline-structure their emacs config (that's actually what I do, not even a hypothetical), so I approached VSCode with skepticism. I have actually been really impres
479.
by evmar 11y ago
I worked on the original port of Chrome to Linux. At that time Firefox was much slower than Chrome on Linux. I think one reason was because Firefox relied more on calls into X for drawing (e.g. I believe they used xrender for compositing
480.
by evmar 11y ago
Sorta offtopic, but the logo reminds me of http://ich.deanmcnamee.com/pre3d/ , except that one has the cute behavior when you move the mouse.

More ›