willtim

35 ms·

391.
by willtim 8y ago
i3/Sway has workspaces and tabs which would still support this workflow and allow it to scale to more apps. It is particularly good with multiple monitors. You don't have to tile the windows!
392.
by willtim 8y ago
Congratulations on the release! I currently use i3 but am looking forward to trying this. Backwards compatibility was a great idea!
393.
by willtim 8y ago
I could equally state that overlapping windows are not a good default for everyone or every device type. It's also worth pointing out that Apples newest UI, iOS, uses a tiling window manager.
394.
by willtim 8y ago
People get upset when the industry fails to make progress and adopt good ideas from academia. Java adopted GC in 1995 and Lambdas in 2014. The rate of progress is frustratingly slow for many. I gave up Java for Haskell 8 years ago and could
395.
by willtim 8y ago
> they're different languages, suited to different tasks. What tasks exactly do you think Java is better suited to than Haskell? The "innovation" of Java was to take the runtime of a high-level language and combine it with
396.
by willtim 8y ago
I would rather hire someone with that mindset. They are more likely to be interested in solving the actual business problems. The junior guy excited about frameworks and fads, is much more likely to create complexity (usually from vast numb
397.
by willtim 8y ago
Well my ThinkPad actually has drainage channels and holes to protect it against liquid spillage. It's also far more repairable and modular. With Apple's obsession with thinness and the corresponding sales, I actually fear for th
398.
by willtim 8y ago
Judging by the number of failed magsafe cables I've seen, I suspect the strain relief was more decoration.
399.
by willtim 8y ago
Can functional programming really be made more accessible by adding curly brackets? I came from C-style languages and now much prefer the syntax of Haskell and OCaml (although Haskell is my favourite). Learning the syntax was trivial compar
400.
by willtim 8y ago
i3 has much better multi monitor support.
401.
by willtim 8y ago
I do not see Go or Dart as being general purpose, we will have to agree to differ.
402.
by willtim 8y ago
Ah, maybe I'm out of date then.
403.
by willtim 8y ago
I can recommend Runbox, it's run from Norway which allows for privacy.
404.
by willtim 8y ago
> It would be equally (perhaps more) red flag if Google permitted this in-house But Google and Facebook have permitted this in-house (Go,Dart,Hack,Reason etc). They have since open-sourced them, but these projects are still run from with
405.
by willtim 8y ago
So if Google or Facebook write themselves a new language (or two), I'm guessing you are ok with that? I have worked at Standard Chartered and their compiler was written by a world renown former CS professor, who also wrote the worlds f
406.
by willtim 8y ago
Nice work! It would be interesting to compare the latency to the new Kinesis Advantage 2 keyboard, which has brand new firmware.
407.
by willtim 8y ago
What's so bad about Turing Completeness? I haven't a decent look at Dhall, but I'm betting I could probably write an exponential Dhall program that won't terminate in the lifetime of the universe. The real reason for giv
408.
by willtim 8y ago
> I am still a customer, even an advocate, because all the competitors produce mostly crap, insecure, poorly-made and/or invade your privacy Not true. There is hardware that is better made and more reliable than Apple (e.g. ThinkPad
409.
by willtim 8y ago
From an environmental and ethical standpoint, I find it quite abhorrent how unrepairable these machines are. As iFixit said, this would be much less of an issue if the display cable could actually be changed.
410.
by willtim 8y ago
What exactly does "Groovy" offer that another JVM based language doesn't? Am genuinely interested.
411.
by willtim 8y ago
Yes it's very good, but still somewhat stratified. Checkout the 1ML project for something even more unified: https://people.mpi-sws.org/~rossberg/1ml/
412.
by willtim 8y ago
The most useful part of OOP when building large systems, is its inherent support for first-class modules. This is the one feature I miss when working in most FP languages.
413.
by willtim 8y ago
It's possibly an embellished number, I cannot remember the actual number but it was significantly larger than 100. I seem to have remembered it as 3000. The project had many frameworks: spring, glassfish, camel among others.
414.
by willtim 8y ago
I once took a close look at a Java Web service application running internally at a large bank. It depended on over 3000 jar files, most of them likely transitive. When I queried the rationale of this, the dev team just shrugged it off as co
415.
by willtim 8y ago
Sure, there's nothing wrong with pure functions that encapsulate mutation, even Haskell supports this, but this isn't how OOP typically works. OOP developers actually use mutation to model the real world, for example a bank balanc
416.
by willtim 8y ago
Sorting (TimSort) was broken for many years in Python. It was good old-fashioned logic and theorem proving, not tests or runtime assertions, that got it fixed. There is merit in proving properties of any critical implementation, no matter h
417.
by willtim 8y ago
> A static type system like Elm doesn't fix logical bugs Static type systems can absolutely catch logical bugs! Proof that a list is non-empty or that a reference is never null are simple examples. > Types do not contain the re
418.
by willtim 8y ago
Tests prove the presence of bugs not their absence. You should be writing more tests if you have no static type system, in order to find the bugs that you would otherwise prove don't exist.
419.
by willtim 8y ago
Missing from your list is arguably the most important difference: programming with mathematical (immutable) values. This allows one to build very high-level abstractions and easily reason about correctness. OOP languages simply were not des
420.
by willtim 8y ago
An apples and oranges comparison. Any difference would surely be made up by all the tests one would have to write to be sure the clojure code was free of basic errors.

More ›