Tehnix

34 ms·

301.
by Tehnix 9y ago
I just can’t put my finger on it, but in VSCode I very frequently end up in a weird vim state where I just have to hit escape until it resets to normal mode. There just seems to be a lot of corner cases or something that I end up hitting fr
302.
by Tehnix 9y ago
> As someone who really likes Haskell, I've found the response to the talk from Haskellers, like in that thread, really disappointing. The common refrains indicating that Rich doesn't understand Haskell, types, etc. are patroni
303.
by Tehnix 9y ago
I feel like this thread[0] in the discussion sorta delves into that. It's certainly an area with differing opinions and I can see why some might prefer having it simply be strings the whole way down, but at some point you are going to
304.
by Tehnix 9y ago
I can certainly see how that would bring frustrations, especially if you come from a dynamically-typed language (heck, even if you start out in Haskell it'll annoy you). It's worth noting though, that row polymorphism/structu
305.
by Tehnix 9y ago
I'm fairly certain the comment you are replying to isn't talking about "generics" but "Generics" with a capital _G_. This bit, > while a sum type implementing functor with a record data constructor that cont
306.
by Tehnix 9y ago
> All computers ask is for semantic precision and you don't need a static type verification to get precision. So clearly static type verification is unnecessary for producing programs that work That's a bit contrived. No matter
307.
by Tehnix 9y ago
> Up to a certain point of course. As I pass about 1000 lines of code I start feeling a bit uncomfortable about the lack of static type checking to catch my changes. This is indeed where statically typed languages come in to shine - refa
308.
by Tehnix 9y ago
I found the discussion on /r/haskell to be much pleasant and a good take on the points Hickey make https://www.reddit.com/r/haskell/comments/792nl4/clojure_vs_... (it's actually a discussi
309.
by Tehnix 9y ago
The type system of something like C++ and Java are so far removed from the type systems of Haskell or Idris, that it is silly to compare these two.
310.
by Tehnix 9y ago
>Tired of people bringing up that "article" and the sensationalist media headlines. All that articles shows is that the CPU, given 100% utilization, does the same result as it did on iOS 10 But that is LITERALLY what people wer
311.
by Tehnix 9y ago
> What is debunked? I'll help you a bit. > > [...] Apple had liberally sprinkled wait() into the iOS 11 code base so that I'd feel like my ole A9 CPU just wasn't cutting it any more From the article > Are older iP
312.
by Tehnix 9y ago
It is, but it does feel a bit speedier. Interestingly I’ve had Reduce Motions on for quite some time and just turned it off. Feels kinda newish now, but I guess I sometimes just like change for changes sake.
313.
by Tehnix 9y ago
You can disable animations in Accessibility settings (called Reduce Motion), but I still notice a slight delay on pressing my Home button and it actually doing the action for it :(
314.
by Tehnix 9y ago
You can disable animations in Accessibility settings along with other things. Check it out! EDIT: Should probably mention it's called Reduce Motion.
315.
by Tehnix 9y ago
> My immediate thought was that Apple had liberally sprinkled wait() into the iOS 11 code base so that I'd feel like my ole A9 CPU just wasn't cutting it any more and I'd realize, as they do, it's time to upgrade. Tha
316.
by Tehnix 9y ago
> So it probably was a reduction in carbs No, it was a reduction in calories, quite simply. If anything, butter is very heavy on fats and low on carbs...
317.
by Tehnix 9y ago
Man I was annoyed with that when I was in Japan. It's horrible, you either stay out until 5 in the morning when they start again or take an insanely expensive taxi. In contrast, in Copenhagen there are always night busses that leave at
318.
by Tehnix 9y ago
Point 3. and 5. really ruin the rest of your list...
319.
by Tehnix 9y ago
Anyone know if they used any specific tools for the graphs/figures? They remind me of XKCD style graphs, really like those for technical yet informal explanations!
320.
by Tehnix 9y ago
Personally, whenever I long for a second monitor, I'll use my iPad and hook it up via duet, which is usually only for web-dev where I need the browser to be a minimum size, with live reload. Else I heavily use spaces (macOS Mission C
321.
by Tehnix 9y ago
> People who believe correctness is important, and people who think continuous deployment I don't see why these exclude each other? You can easily have both, through e.g. powerful type systems (a la Haskell) and still use continuous
322.
by Tehnix 9y ago
Well written! I’ve always cringed when I’ve read anything that Uncle Bob writes. It almost seems like his entire existence depends on the acceptance of unit testing, and the unjustified dismissal of tools, especially type systems, seems to
323.
by Tehnix 9y ago
Great suggestion! I'm gonna see if I can get a template set up to use :)
324.
by Tehnix 9y ago
> > Have they solved the "I want to charge my phone but also listen to music" problem yet? Or does it still require ridiculous amounts of daisy-chaining? > I guess with wireless charging you can now do so. Guess that sett
325.
by Tehnix 9y ago
Luckily they don’t :) My Bsc thesis I did in a template another student had made years ago, which swims around, but honestly LaTeX is quite tedious and time wasting to write in for most non math heavy content, which is why I’d prefer someth
326.
by Tehnix 9y ago
Yup, which is pretty neat. Before you'd have to wait for the little Finder window to show up, calculate time remaining and then do the job. Now it's instant when copy-pasting files around :)
327.
by Tehnix 9y ago
Hmm, is there a cheatsheet or crash course for it? Not particularly interested in reading a book just to get my editing game on. Just throw me in the deep water with the basics, and then I'll jump around to what I need. Would consider
328.
by Tehnix 9y ago
You should be more than good to go then! Git and vim/neovim/macvim runs like normal. This has been one of the least dev burdensome updates in a while.
329.
by Tehnix 9y ago
You can try some tricks from here https://appletoolbox.com/2016/11/macos-app-store-updates-not... . Namely, try going to System Preferences -> App Store and press Check Now.
330.
by Tehnix 9y ago
It doesn't, it only touches the drive you perform it on (meaning your Mac HD). I literally did a fresh install yesterday with an existing bootcamp partition, and no problems. One thing though, if you relied on some thing like Paragon o

More ›