willtim

43 ms·

421.
by willtim 8y ago
Time machine is really a consumer gadget, I'd be surprised if IT departments were deploying it within organisations. Crashplan would be more appropriate, but I'm not sure how smooth the restore would be. IMHO not having a swappabl
422.
by willtim 8y ago
For our VPN details, I would have to get my IT dept involved. My point is that machines often need a lot of additional software and configuration. If the world ran NixOS then perhaps a loan machine with "backups" would be almost a
423.
by willtim 8y ago
A loaned machine would be useless to me if they cannot swap the SSD. I wouldn't even be able to connect it to our company network.
424.
by willtim 8y ago
If you buy a business-class machine like a ThinkPad, you will get a modular and repairable machine with typically 3 years on-site support as standard, in most countries. This is not true with Apple. Apple machines are essentially unrepairab
425.
by willtim 8y ago
Well, in my office, we have both OSX and Linux users and it's only the Linux users who can daisy chain our monitors using displayport MST!
426.
by willtim 8y ago
We have the T480 running Ubuntu 18.04 LTS. Perhaps it is an issue related to our configuration. Not impressed though.
427.
by willtim 8y ago
We have Thinkpad Linux laptops running with NVidia at work. The proprietary driver has quality issues, the biggest of which for us is power management and poor battery life. Nouveau performs much better in this regard, even though they had
428.
by willtim 8y ago
Does anyone know if the audio samples are still available somewhere?
429.
by willtim 8y ago
The lack of "generics" (parametric polymorphism) in Go has certainly made the incidental complexity in Kubenetes much higher: https://medium.com/@arschles/go-experience-report-generics-i... Go and Haskell are
430.
by willtim 8y ago
Genode also (genode.org), which uses a verified microkernel and sandboxes. The focus in this day and age really needs to be on security.
431.
by willtim 8y ago
My point was that often one has to structure code across classes to get efficient branching. Any details regarding optimisation for virtual dispatch doesn't change this fact.
432.
by willtim 8y ago
Not sure that really makes up for the lack of sum types! Supporting a switch on static final references would be a good first step.
433.
by willtim 8y ago
I am "getting these things" from over a decade of working with Java. There are many good things about Java, especially when compared to C++. But the bad things will never get fixed if we pretend everything is perfect. I did say vt
434.
by willtim 8y ago
Getting good performance out of Java is not always easy. One often has to structure code imperfectly to get efficient branching (Java offers only vtable dispatch or switch on integers/enums). It also boxes nearly all values leading to
435.
by willtim 8y ago
Make sure that Kubuntu is giving you a stable version of KDE. My issue with Ubuntu in the past has been that it too often takes unstable snapshots of upstream software in order to accommodate it's own self-imposed release schedule.
436.
by willtim 8y ago
I use it because my window manager manages windows better than any browser manages tabs.
437.
by willtim 8y ago
Google Chrome is probably talking HTTP3 to its own sites, so not sure that's a fair test.
438.
by willtim 8y ago
I think the parent point was that there is currently insufficient bandwidth to even make 576p look good for many channels. Given even a high bandwidth slot, 4K with low compression might look better than 8K with high compression. Specifying
439.
by willtim 8y ago
To be fair, most software is full of bugs, Mojave especially.
440.
by willtim 8y ago
Yes because duplicate labels are not allowed within the scope of a single record (you can specify which one overrides the other, but perhaps we also need a convenient rename syntax). This point was that different records can happily contain
441.
by willtim 8y ago
I must say I am tempted by Qubes OS as a way to get this level of isolation between apps. However I'd likely need a new laptop, as RAM requirements are much higher.
442.
by willtim 8y ago
I have considered using pattern bindings to easily create "field pun" bindings. For example, one can already introduce all the fields of a record as local bindings, e.g. let {..} = import "List.x" or just a subset using,
443.
by willtim 8y ago
Labels in Expresso are just type-level symbols. Label names can be re-used over and over again in different records and variants. This works fine because a name is not tired to any particular nominal type (like a constructor in Haskell or J
444.
by willtim 8y ago
Hi, author here, yes your paper was a huge inspiration and I really should add a references section in the readme. The row types in Expresso use very simple lacks constraints, similar to the old Hugs TREX system, and don't permit dupli
445.
by willtim 8y ago
Mechanical keyboards should provide much less fatigue if you avoid "bottoming out", which is much easier to do when a key has lots of travel and a dampening force curve. Most people suffer fatigue from these very low travel Apple
446.
by willtim 8y ago
> In terms of programming, a functor is container with an associated function A functor could also be a computation whose output can be mapped. So although these concepts can be explained by examples from programming, one has to keep in
447.
by willtim 8y ago
Yes I'm sure it was done on purpose, just like over-saturated colours on TVs and cameras.
448.
by willtim 8y ago
Your generalisation is unfair. Most Audiophiles just want to listen to music the way the artists intended. This is not easy in a industry where colouring the sound is even celebrated, e.g. 'Beats by Dre'. I recently tried the late
449.
by willtim 8y ago
Null checks are also opt-in, that's why Tony Hoare calls null his "Billion Dollar Mistake". Explicit runtime checks are in no way "similar" to static typing! Static typing is a machine-checked proof of correctness f
450.
by willtim 8y ago
Explicit runtime checks that must be manually added are not a substitute for static typing! You should follow your own advice and try out a statically typed language with good inference! Every tool has a sweet spot and large code bases an

More ›