willtim

133 ms·

751.
by willtim 9y ago
Plain text is an extremely simple, open and universal format, a local optimum in the design space. It has been with us in various forms for over 100 years ever since the first telegram systems. Ascii has existed since the early 60's an
752.
by willtim 9y ago
https://www.consul.io/api/catalog.html
753.
by willtim 9y ago
HCL is not used in the rest API though. So we have to integrate our apps using both HCL and JSON. It's also schemaless, which means we have to guess the API using various "samples".
754.
by willtim 9y ago
I don't understand why you have been downvoted. Many of these tools are very imperative and make assumptions about the starting state before they replay their updates. For a fully declarative solution, NixOS is the best I have seen.
755.
by willtim 9y ago
There were many many bugs, but this one had a significant effect on battery life: https://issuetracker.google.com/issues/37038331 For end users, it was a big regression from android 4, even if you personally found it &
756.
by willtim 9y ago
Off the top of my head: Knox secure folder, better split screen options (app pairs), app suspension, power saving modes, file manager, better camera app, many more configuration options.
757.
by willtim 9y ago
My android experience has been tarnished more by Google bugs than Samsung ones. Android 5 was a very buggy release, so much infrastructural change with little user benefit. IMHO Samsung should have skipped it entirely. I guess they bowed do
758.
by willtim 9y ago
TouchWiz is better than stock android now. It has lots of additional useful features, especially in the areas of split screen and power saving.
759.
by willtim 9y ago
I don't see how passing in a logger object explicitly is the same, this is what OO DI frameworks try to avoid, otherwise you'd also have to pass it down to other functions used inside. The example above works just like a Reader Mo
760.
by willtim 9y ago
I guess passing parameters down manually through all the constructors gets too painful. The language is not expressive enough for a Reader monad! :) Java's static initialiser blocks are too dangerous whenever one has threads.
761.
by willtim 9y ago
Mainstream developers forget just how much time they invest in learning the latest fad frameworks with new ad-hoc concepts and terminology. I guess "Hardcore FP developers" are fed up with this state of affairs and are looking tow
762.
by willtim 9y ago
Just like async/await, LINQ (and even enumerators) are tied to special syntax in the C# language. HKTs allow Haskell to provide very general resuable syntax, such as do notation. What I meant by "polymorphic programs" as an a
763.
by willtim 9y ago
As a counterexample, C# needed expensive language extensions to accommodate both LINQ and Async/await. Both can be implemented in Haskell purely as a library, thanks to HKTs. Both Java and C# tend to rely heavily on frameworks such as
764.
by willtim 9y ago
Glad to hear it!
765.
by willtim 9y ago
I'd argue that any schema is a type system of sorts.
766.
by willtim 9y ago
Yes it's true that retrofitting better type systems into existing languages may not be low-hanging fruit. But developers have shown a willingness to adopt new languages when they see clear benefits.
767.
by willtim 9y ago
In retrospect, HKTs are arguably Haskells greatest innovation, enabling extremely general abstractions and huge amounts of code reuse.
768.
by willtim 9y ago
Our industry has not yet even scratched the surface of what types can offer: Types for enforcing architectures and controlling effects, types for checking correct use/free of scarce resources, types for verifying protocol implementatio
769.
by willtim 9y ago
Github repo link here: https://github.com/arximboldi/ewig ICFP 2017 paper: https://public.sinusoid.es/misc/immer/immer-icfp17-preprint-...
770.
by willtim 9y ago
I mostly use mine on the train during the commute. I'm one of many. At home and work I use desktops. Mozilla will also want to target their engine at tablets and phones at some point. This is presumably why Samsung committed funding to
771.
by willtim 9y ago
Thank you and keep up the excellent work! I look forward to trying it out (and at some point switching).
772.
by willtim 9y ago
Perhaps that now they are using Rust instead of C++, leaks and memory corruption should be much less of an issue.
773.
by willtim 9y ago
Are there any plans to have Firefox throttle background tabs? This is one feature from Chrome that is currently stopping me from switching. It's very useful for laptops with lots of open tabs. The current rate of progress is definitely
774.
by willtim 9y ago
It seemed more like a marketing stunt to me. The issue was about a single iPhone with a warrant to search it. Apple made it a very public debate about all iPhones.
775.
by willtim 9y ago
And the postgres maximum table size is 32T.
776.
by willtim 9y ago
So strings are mutable? I'm not sure that's a reason to celebrate.
777.
by willtim 9y ago
They've gone to all the trouble of building an app using web technologies, but don't offer a Linux version? I develop on Linux because I deploy on Linux. I don't need a virtual assistant or animated emojis. I would quite like
778.
by willtim 9y ago
Very little travel is my definition of terrible. Without travel, there is nothing to dampen my key presses, meaning my joints and fingers would get more fatigued over time. Apple have shortened the key travel to make their machines thinner,
779.
by willtim 9y ago
Most rich desktop APIs are very imperative and the Haskell bindings are often just a thin veneer on top. For an example of a really nice Haskell UI API, see threepenny-gui: https://github.com/HeinrichApfelmus/threepenny
780.
by willtim 9y ago
Less of the insults please, I've spent most of my career trying to escape the 'wider field'. The way we choose to model the world is clearly very different.

More ›