mietek

28 ms·

271.
by mietek 11y ago
Wow. If there’s anyone deserving the title of a hacker, it’s the author of this page.
272.
by mietek 11y ago
Kudos. I wish this point of view was as commonly accepted as you present it.
273.
by mietek 11y ago
Here’s another one: http://bellard.org/jslinux/ https://github.com/levskaya/jslinux-deobfuscated
274.
by mietek 11y ago
> After a further six months of nagging doubts about the proprietary “window mask” technology I had designed, I decided to take the plunge and do what Jörn had suggested might lead to a considerable increase in rendering speed: namely,
275.
by mietek 11y ago
Perhaps check out PragmataPro. It’s a true work of art. http://www.fsd.it/fonts/pragmatapro.htm
276.
by mietek 11y ago
Want to learn Coq? Take a look at “Certified programming with dependent types”, by Adam Chlipala: http://adam.chlipala.net/cpdt/
277.
by mietek 11y ago
If you’re interested in learning Agda, you might want to check out Conor McBride’s courses, given at the University of Cambridge: “Introduction to dependently typed programming using Agda”, 2011: http://www.cl.cam.ac.uk/~ok2
278.
by mietek 11y ago
PDF version: https://github.com/mietek/software-foundations
279.
by mietek 11y ago
I should be able to help you locate some of the lost fonts, and I’d be interested in learning your conversion technique. Please do get in touch. My contact information is in my profile.
280.
by mietek 11y ago
Halcyon author here. Here’s a couple of my thoughts: http://www.reddit.com/r/haskell/comments/3957e1/announcing_f...
281.
by mietek 11y ago
Apparently, it’s not permitted: > In North-American zoning, zones clearly specify which use is allowed on it. In general, zones allow only one or two uses. For example, a residential single-family detached home zone tolerates only singl
282.
by mietek 11y ago
5 years ago, Paul Phillips was still a core contributor to Scala. Anyone seriously considering Scala should listen to his talk, titled “We’re doing it all wrong”, and take a look at Policy, his fork of the Scala compiler. https:/&#x2
283.
by mietek 11y ago
If you like this, you may find bashmenot useful. Among other things, it includes GNU bash functions to work with S3. Documentation: https://bashmenot.mietek.io/reference Source: https://github.com/miete
284.
by mietek 12y ago
> by switching to a language which has explicit/native features as part of its design to help address concurrency issues …such as Haskell or Erlang.
285.
by mietek 12y ago
I’m pretty sure most free software authors would be interested in being paid for it, if this wasn’t an unsolved problem. Here’s one attempt at a solution: https://snowdrift.coop
286.
by mietek 12y ago
> When formulated using Bayesian networks, two standard decision algorithms (Evidential Decision Theory and Causal Decision Theory) can be shown to fail systematically when faced with aspects of the prisoner’s dilemma and so-called “New
287.
by mietek 12y ago
Artefacts of a future past…
288.
by mietek 12y ago
So that’s how we arrived at “Caution: Slippery When Wet”…
289.
by mietek 12y ago
If you mean Erlang, please note it’s been released in 1986, and made open-source in 1998. The underlying actor model was introduced by Carl Hewitt et al in 1973. http://worrydream.com/refs/Hewitt-ActorModel.pdf
290.
by mietek 12y ago
Is there any documentation available for the Symbolics instruction set and/or machine architecture?
291.
by mietek 12y ago
Thanks. I’ve been looking for this for a while. Why would anyone release their work into the public domain, and at the same time, disallow their site from being included in the Internet Archive? http://eelis.net/robots.txt
292.
by mietek 12y ago
And yet, both C# and Swift somehow manage to do it… http://www.matt.digital/comparing-c-nullable-types-and-swift... https://developer.apple.com/swift/blog/?id=25
293.
by mietek 12y ago
It’s an example of the “New Jersey approach” to programming language design. > Simplicity-the design must be simple, both in implementation and interface. It is more important for the implementation to be simple than the interface. Simp
294.
by mietek 12y ago
For one, both Dart and Go repeat Hoare’s Billion Dollar Mistake, by admitting null references instead of implementing option types. In a previous HN discussion, I wrote to one of the Go designers: > I disagree with you on the relative
295.
by mietek 12y ago
Fortunately, there are other large organisations employing decision-makers which understand the business value of type systems. Apple: https://developer.apple.com/swift Facebook: http://flowtype.org + http:&#x2
296.
by mietek 12y ago
Unfortunately, the words “strong” and “weak” often don’t mean anything more than: > Strong typing: A type system that I like and feel comfortable with > Weak typing: A type system that worries me, or makes me feel uncomfortable h
297.
by mietek 12y ago
> I'd also like to turn off the Macbook display when plugged into an external monitor. sudo nvram boot-args=niog=1 http://apple.stackexchange.com/questions/152203/turn-off-mac...
298.
by mietek 12y ago
It looks like the FAA has decided “pilot experience in other aircraft types cannot be used to comply with MU-2 operational requirements.” http://en.wikipedia.org/wiki/Mitsubishi_MU-2#Safety_Concerns
299.
by mietek 12y ago
I fully agree. Have you seen the 1994 Hudak study[1]? “A simplified version of real-world problem was chosen by the Naval Surface Warfare Center (NSWC). This problem, a geometric region server (geo-server) is one component of a much larger
300.
by mietek 12y ago
The deciding factor, as always, is the ability to manage complexity. There are many ways to improve this ability, and process is certainly one of them, however, the choice of programming language is, to my mind, the most important one. Xen

More ›