travv0

12 ms·

61.
by travv0 6y ago
* (merge-pathnames nil) debugger invoked on a TYPE-ERROR in thread #<THREAD "main thread" RUNNING {10010B0523}>: The value NIL is not of type (OR (VECTOR CHARACTER) (VECTOR NIL) BASE-S
62.
by travv0 6y ago
You didn't post CL's stacktrace.
63.
by travv0 6y ago
I use evil-mode as well.
64.
by travv0 6y ago
I care that the editor I use has good support for the language I’m writing, so, like I explained in my post, I use Emacs since that’s where the language’s community puts their effort. Also, to address your first sentence, the things I don’t
65.
by travv0 6y ago
> "a great operating system, lacking only a decent editor" That joke seems to imply a perfect understanding that it's more than a text editor. It is, however, referred to as "The Emacs Editor" in its documentatio
66.
by travv0 6y ago
I’m not sure what point you’re trying to make with that quote. The languages that F* can be compiled to and the ones it’s written in aren’t relevant to what was being discussed.
67.
by travv0 6y ago
That's weird, because I just checked their home page and found this list of features: pattern matching, lambda calculus consistency, macros for defining domain specific languages, optional lazy evaluat
68.
by travv0 6y ago
> You can look at some lisp code and have no idea of what it does if you don't expand a few layers of macros first. I've not once expanded a macro in order to see what it does. The only reason I can think of that one would do t
69.
by travv0 6y ago
Isn't that how you end up with echo chambers? I think something obviously needs to change, but giving the majority a button to hide posts they don't like from everybody on the site won't lead to more meaningful discussion.
70.
by travv0 6y ago
> All generics do is bring back the lack of typesafety and all the manual typechecking that comes with muddying generalizing the parameter typeset. I'm not sure if I'm misunderstanding you here, but generics are type safe. The
71.
by travv0 6y ago
If we're talking origins of lisp, the original description of lisp[1] spends much of its time describing cons cells, something that clojure lacks completely. [1] http://www-formal.stanford.edu/jmc/recursive/no
72.
by travv0 7y ago
I just finished a month of carnivore and have stopped doing it, as my life had become a living hell from my frequent and urgent trips to the bathroom. Other than that, it was good for my waistline.
73.
by travv0 7y ago
> Having seen how Japanese work I know that the work ethic, reliability and efficiency can not be matched by anybody else on the globe. You certainly haven't worked in a Japanese office then. It's also strange that you attribu
74.
by travv0 8y ago
Your DDG link is now the second result in the Google results for me. (One spot higher up than your reply.)
75.
by travv0 8y ago
> Snapping windows on the sides is something that have existed for a really long time on other systems. You can do a side-by-side split of two windows by long-pressing the full-screen button, but it would be nice to have something with a
76.
by travv0 8y ago
> But it won't work for all languages, or for all project set ups. Unlike GDB, right?
77.
by travv0 8y ago
I'm pretty sure the point is that you are likely picking up the phone to use it, so during that time it's not charging.
78.
by travv0 9y ago
> That being said memorization apps can be useful, such as for vocabulary, but I’ve yet to find an app that markets itself as that. What about Anki?
79.
by travv0 9y ago
Who built a GC?
80.
by travv0 9y ago
I've been aware of this for a while but haven't done anything about it, but since you mentioned it I might as well ask: Is there an easy way to block this beacon? Is it something an adblocker would block by default?
81.
by travv0 10y ago
Thanks, not sure how that slipped my mind.
82.
by travv0 10y ago
Serious question: Is there a way to scroll without using the arrow keys, scroll by pages without PgUp/PgDn, etc? I didn't see anything in the links you provided, and those buttons aren't very convenient on most keyboards I&#
83.
by travv0 10y ago
What problem did you have that the easiest way to solve it was by rewriting grep?
84.
by travv0 10y ago
> I often use ripgrep on a copy of the rust repo locally to find answers I mean, that works, but it's a workaround and not a solution.
85.
by travv0 10y ago
Are you referring to the trackpad with the haptic feedback? That was on last year's models as well.
86.
by travv0 10y ago
Look down at your functions keys. Surely you can read them just fine without being directly over them?
87.
by travv0 10y ago
Thanks, I stand corrected.
88.
by travv0 10y ago
Fair enough. In regards to the first point, though, you'd already have to carry the cable which I find to be more cumbersome than the plug itself. I wish he would've elaborated a little more on battery life, as there's a big
89.
by travv0 10y ago
I'm the same way. I wouldn't want to go home and do what I do at work, but I love programming things that I choose to program.
90.
by travv0 10y ago
"The Pixel needs charging once a day, which is a little bit of a disappointment, but it charges really quickly." I'm not sure I understand this negative. I'd think any problems caused by this would be easily remedied by

More ›