lubutu

16 ms·

121.
by lubutu 15y ago
Steam and the App Store are nothing more than proprietary package management systems.
122.
by lubutu 15y ago
> Without distros, the way to get software is unbearable for Windows converts, where it is just "click, click, done." Sorry, what? On Windows machines, due to the lack of package management, installing software is not a matter of "click
123.
by lubutu 15y ago
On the other hand, being able to install software so easily with package management is a huge benefit of distributions. Perhaps the solution is to create a new package management system for a desktop distribution. A system which ensures tha
124.
by lubutu 15y ago
I think there's a kind of agreement amongst those of us who look up to _why — and we are not all Ruby programmers — that although it is quite easy to discover _why's true identity, we'd rather just think of him as why the lucky stiff. That
125.
by lubutu 15y ago
I think it's great that technology can be put to use to improve our everyday lives. But when it comes to replacing human contact with a touchscreen, I'm going to have to decline. As a programmer I can spend up to 8 hours per day staring at
126.
by lubutu 15y ago
I don't think that's a fair comparison. Here's a toy trie implementation I've just thrown together in Haskell. It may not be perfect, but I think it's more comparable to your Python. http://lubutu.com/media/temp/trie.hs
127.
by lubutu 15y ago
It does come with an overhead for a beginner, to be sure. But because it is a consistent abstraction we can build idioms on top of the concept of a monad, and in doing so it actually becomes easier to reason about. The best things in life h
128.
by lubutu 15y ago
A nice analogy, but I would argue that as monads are at a higher level of abstraction than nullables it's more akin to "but what is this if stuff?" It is the f(v) if v else None which is analogous to GOTO, not the simpler and more direc
129.
by lubutu 15y ago
You wouldn't want to call f directly if it doesn't accept None . pymon is a function meaning f(v) if v else None .
130.
by lubutu 15y ago
And what of Lisp, of which most dialects have mutable state? If a Lisp compiler would convert to genuine λ-calculus it would be as large a step as it would for C.
131.
by lubutu 15y ago
Especially since they aren't. GHC Haskell, for example, is essentially syntactic sugar for System FC , not λ-calculus.
132.
by lubutu 15y ago
Indeed, it was the Curry–Howard correspondence which led to the realisation that software could be proven correct: a function's type can be seen as a proposition, the function itself a proof of that proposition.
133.
by lubutu 15y ago
De Bruijn also invented De Bruijn indices for handling bound variables in lambda calculus without having to deal with renaming. De Bruijn indices are used to implement practically every modern functional programming language. They are als
134.
The Weave(waffle.wootest.net)
1 points by lubutu 15y ago|0 comments
135.
by lubutu 15y ago
May I add, font-size: 7pt ? I genuinely cannot read any of the text on this page. Please just let the user decide the best font size for them.
136.
by lubutu 15y ago
I have this problem with (random alphanumeric) passwords. When I needed to input my password on my phone, I actually had to draw a keyboard on a piece of paper and mime typing it, watching which keys my fingers hit and writing down the char
137.
by lubutu 15y ago
This always happens: we get a cluster of articles which serve as summaries for a central 'canonical' one. I would love a service which, given an article, would link me to the best article on the same subject.
138.
by lubutu 15y ago
I would say a self-taught computer scientist is well-versed in theoretical, or 'purer' forms of computation. That is, I would expect knowledge of λ-calculus, what it means for a language to be regular or context-free, and so on. A software
139.
by lubutu 15y ago
As was Vannevar Bush in 1945, whose paper As We May Think directly influenced both Nelson and Engelbart.
140.
by lubutu 15y ago
Imagine if your sponsorship meant your name was actually engraved (tastefully) on the valve itself. £40 per valve would yield the same total amount. I would donate so fast .
141.
by lubutu 15y ago
I'm curious whether there is more information per byte in UTF-8 hanzi / kanji compared to English, considering each character is about 3 bytes but can represent an entire word. A potential human-readable compression technique! ;)
142.
by lubutu 15y ago
It would be great if the author could actually write a description of how IZ's algorithm works. The C++ source is fairly complex and has no comments whatsoever.
143.
by lubutu 15y ago
Unfortunately 9P2000 tends to perform badly over high latency connections. There was talk of writing a new version that would allow clients to group certain messages, but nothing ever came of it. Edit: I just found a very recent paper on I
144.
by lubutu 15y ago
If the creator wants to distribute it for free that's fine, but one cannot argue that when it comes to something like data it's okay to choose how much you want to pay because "you wouldn't buy it for more than that." You can't have your ca
145.
by lubutu 15y ago
The truth is many pirates download the work and never actually pay for it, clearly feeling no real appreciation for the author. Maybe I'm a cynic, but the problem has never been those of us who will, discovering an artist we love, buy all t
146.
by lubutu 15y ago
The words in the article aren't particularly difficult for a native English speaker — certainly not 'sediment' — with the exception of 'palimpsest', for which he linked to the Wikipedia entry. With respect, I don't think it odd at all.
147.
by lubutu 15y ago
Indeed, /usr was already in place in UNIX version 1, according to the 1971 UNIX Programmer's Manual.
148.
Guarded Continuations(fexpr.blogspot.com)
2 points by lubutu 15y ago|0 comments
149.
by lubutu 15y ago
I'm not convinced this is possible for anything but a small subset of programs. Such a compiler reasoning about a Turing-complete program would certainly be 'AI-hard', as it would have to essentially be a programmer itself. What I'm interes
150.
by lubutu 15y ago
Unfortunately this includes substrings which aren't at all phonetic, like "qo". It would be nice to see a generator for actual pronounceable 'words', with consonant clusters, etc.

More ›