lou1306

61 ms·

721.
by lou1306 8y ago
It is a lot in computer time as well. The other gem in that thread IMHO is how they marketed Dropbox as a replacement for USB thumb drives (which it also is, but it just goes to show how niche the concept of cloud was 11 years ago).
722.
by lou1306 8y ago
Most algorithms related to computer vision and image processing come to mind. Of course there are efficient libraries written in general-purpose languages, but DSLs could lead to smaller, easily maintainable codebases.
723.
by lou1306 8y ago
Nice idea, but more robust checksums would be better ( especially for archives containing code).
724.
by lou1306 8y ago
Thanks! English is not my mother tongue and I thought "captured" would have sounded a bit too archaic.
725.
by lou1306 8y ago
Irony was a double-edged sword in this case. Sure, the Greek city-states were now subject to Rome. On the other hand, Roman civilization was deeply affected by Greek culture, which was arguably far superior. Horace said it best: Graecia ca
726.
by lou1306 8y ago
This begs the question: What best practices can significantly reduce blunders and are (more or less) portable across languages? In my opinion, a good start is learning to use filter/map/reduce instead of big nasty for loops.
727.
by lou1306 8y ago
Not the parent comment's author, but personally I'm quite content with PlainNotes ( https://github.com/aziz/PlainNotes ). I also rely a lot on ST temporary buffers, and only use said plugin for mid-to-long-term
728.
by lou1306 8y ago
By the way, "opinion formation" is a pretty well-established area of research in theoretical computer science that studies stuff like this. You start with a graph where each node has some opinion that might change based on that of
729.
by lou1306 8y ago
> That's not to say the negative reaction of a small minority wouldn't be vastly increased The main problem I see with this is that both the small minority and the large majority are locked together inside a tin can speeding th
730.
by lou1306 8y ago
Trajan is actually well-known in Italy, thanks to an eponymous column in Rome that depicts his conquers [1]. The popular Trajan typeface [2] comes from the inscription at the base of that column. [1]: https://en.wikipedia.org&#x2
731.
by lou1306 8y ago
> This culture has driven innovation of the last 2 decades. So what? Communism turned feudal Russia into a world superpower in less than 2 decades. Do the ends justify the means?
732.
by lou1306 8y ago
Yes! We do it all the time, even more often than necessary. Like, you could say "Set foo to 0" as "Setta foo a zero" and IT people will understand you, although "settare" is not even a verb (the correct transla
733.
by lou1306 9y ago
Just being nitpicky here, but F# is not "purely" functional (and is not "pure-functional" either). But its OO subset is fairly small indeed.
734.
by lou1306 9y ago
In my opinion, The problem with Eclipse is not that it turned into a plugin framework, but that it ended up being an IDE framework. Too many knobs. All IDEs are customizable to some degree, but they try and maintain a general sense of coher
735.
by lou1306 9y ago
It is also worth noticing that the actor model, which Erlang is based upon, was first presented at a major Artificial Intelligence conference! [1] Really, the ML=AI thing is a very recent trend. [1]C. Hewitt, P. Bishop, and R. Steiger, “A U
736.
by lou1306 9y ago
Yeah, I see no cheating here. IIRC, as soon as you brought a water pipe to the border, you were offered a deal from your neighbors to buy/sell water. Same for electricity, roads... The guy just exploited something that was already ther
737.
by lou1306 9y ago
The neat thing is that PAR and SEQ do not compose mere operations; they compose other CSP processes . This gives CSP a very regular, self-similar structure. (The "basic" processes are just the send/receive of a value over a
738.
by lou1306 9y ago
Not to mention people like Frege, Russel, Gödel, Wittgenstein, Chomsky, and so on and the impact they had on the foundation of mathematics, theory of language and theoretical CS.
739.
by lou1306 9y ago
Your inbox != All your emails. There was this "Inbox Zero" thing/philosophy/cult out there years ago, and some of its tenets are pretty interesting.
740.
by lou1306 9y ago
> Apple's Mail.app can't be beat Uhm, I think there are some great 3rd party apps out there that are much more powerful. But I concur that an actual email client is the way to go, especially as soon as you have more than one a
741.
by lou1306 9y ago
Hardcore bash sure sounds like fun, but when things start getting too big or messy I usually find a Python script with some `subprocess` [0] tricks to be way easier on the eye. [0]: https://docs.python.org/3/library&#x2
742.
by lou1306 9y ago
Even better, replacing for i in range(len(imgid)): and similar lines with: for i, img in enumerate(imgid): would allow one to get rid of all these list accessors.
743.
by lou1306 9y ago
> What is it about original artwork that makes it so important as to need eternal preservation? In David's case, maybe the fact that Michelangelo was able to carve it out of a fragile and partially sculpted block that at least two o
744.
by lou1306 9y ago
High-res scans of sculptures are already a thing [0]. Just send the polygon mesh to a 3d printing and presto, you get your own David by Michelangelo. However, painting would be waay more difficult, especially in cases (such as Van Gogh) whe
745.
by lou1306 9y ago
It doesn't "need" to be a priority. However, some Apple products (the MBP in particular) were big among professional users who now feel a little left behind. Also, This is not limited to the software level. See the new MBP: t
746.
by lou1306 9y ago
After all, Wittgenstein also studied mechanical engineering.
747.
by lou1306 9y ago
> Operating systems have matured and have become relatively stable. The bugs in High Sierra (passwordless root [1], APFS data loss [2], the App Store preferences vulnerability [3]) seem to suggest otherwise. I have a MBP at work which is
748.
by lou1306 9y ago
> Further topics to explore: the BHK interpretation of intuitionistic proof and the univalence axiom in homotopy type theory. Thanks! For the interested, Girard's book focuses on the Curry-Howard isomorphism, another great result li
749.
by lou1306 9y ago
Some more food for thought on the meaning of =, from Girard's "Proofs and Types" [0]: > There is a standard procedure for multiplication, which yields for the inputs 27 and 37 the result 999. What can we say about that? A
750.
by lou1306 9y ago
Optimization and verification have already joined forces: just look at CrellVM [0], which made the rounds on HN some weeks ago. Also, as you mentioned, better type systems could be another nice byproduct. [0] http://sf.snu.ac.kr&

More ›