fzltrp

10 ms·

31.
by fzltrp 12y ago
> Sure, building an IR from scratch is fun. But making it truly cross-platform and ready for many usages is really hard. It's not that hard, as long it remains as close as possible to the source language (ie. GLSL). Iow, as the OP i
32.
by fzltrp 12y ago
The technology employed aboard ships is still tightly coupled with the processes used to maintain it (ie. Human ad-hoc intervention). If you want to automate the process, the first thing you'll think about is how to change that technol
33.
by fzltrp 12y ago
Compare that with clippy on Windows. It's a matter of perspective: some enjoy manual clutches, and others want fully automatic, both may be (in)convenient at times. Interestingly, MS has been trying to give more CLI power to their user
34.
by fzltrp 12y ago
> [FreeBSD]'s still guilty of every single criticism in this article s/'s/ was/ I don't think that _every_ criticism in this book is still valid, far from it. Besides, Linux and *BSD ecosystems share a lot,
35.
by fzltrp 12y ago
...With the exception that everyone can read every emails (or is there a private tweet feature with twitter?).
36.
by fzltrp 12y ago
At first, it seems that the needed data is already there: karma points are associated with tags, so it should be possible to set answering, voting, modding threshold based on the questions tags, though one would have to decide which tags ar
37.
by fzltrp 12y ago
You said viable, so I guess you mean production ready, which excludes still experimental or "in gestation" languages like rust or ATS, but they are indeed worth a look (note that ATS in its 1st incarnation targets C). I'd lik
38.
by fzltrp 12y ago
I don't think that the OCaml debugger let you do the things demonstrated by Bret Victor in his talks, and implemented there. As explained elsewhere in this thread, these features let you replay a conputation sequence in a loop, and bin
39.
by fzltrp 13y ago
Personnally, I would not be speaking about Apple hardware, I don't know it well enough. But in general, hardware is relevant to security, simply because most of them nowadays contain firmwares. In some cases, that firmware can even be
40.
by fzltrp 13y ago
> you'd like to add a progress bar to a computation. It's trivial in imperative languages, but much harder in functional style. That depends a lot on how you code your program. You'll havr as much difficulties in imperativ
41.
by fzltrp 13y ago
If you know what enums are, think of algebraic data types as enums on steroid. You define an enum type as a set of unique values. ADT let you do the same, but let you also parameterize the enum values, and even use the enum type itself as a
42.
by fzltrp 13y ago
I recently stumbled on something called "view", a concept implemented in the Hope language. For those not familiar with it, it let you define bijections between 2 different datatypes, so that one may pattern match a piece of data
43.
by fzltrp 13y ago
I am not explaining how, I am merely pointing out that there is a "how to compute" question, and that lambda calculus and type theory help address that question formally. That point tries to address the following question by OP: &
44.
by fzltrp 13y ago
Everyone will wait the last second to get their data back (and complain about the cramped service) anyway. And it's not like an OS upgrade which could potentially break your apps or lose your data. It's just a mattee of pushing th
45.
by fzltrp 13y ago
How would you write a program which compute the speed of the ball in your example, and how would you ensure or prove that your program is correct? That's what lambda calculus and all its derived works give you. Others have described it
46.
by fzltrp 13y ago
If you hang out a lot on reddit, this particular site is written in python, so there might be a bias. Python is also often chosen for entry courses in CS, while PHP is probably more picked up by people who need to know it for work, so it is
47.
by fzltrp 13y ago
To be honest, it is possible to configure windows (starting from XP) with a minimal set of enabled capabilities. The system policies mechanism is quite featurefull, and you lock a system down to minimal rights. It is also possible to deploy
48.
by fzltrp 13y ago
Isn't there also the global decline of english quality because of it being broadly used on internet by non native speakers? Many people (including me) get influenced by what they read on the net, to the point of accepting some of the s
49.
by fzltrp 13y ago
+1 Interesting. There's probably a parallel to make between moderation systems and Russel's paradox[1]. [1]: http://en.wikipedia.org/wiki/Russell's_paradox
50.
by fzltrp 13y ago
> There is no Linux distribution outside RHEL and probably SLES that provides such long support cycles. The article talks about an indian, debian based distribution called BOSS[1]. No doubt the company providing it will be more than happ
51.
by fzltrp 13y ago
Thank you! You brought an interesting point with the example you gave, it is one of the things I was thinking about. Thank you for your work, and for making it available!
52.
by fzltrp 13y ago
Thanks! I was mostly thinking about point 2, and I understand your motivations in going in a different direction after trying it. Very good and enlightening answer!
53.
by fzltrp 13y ago
Great work! A question about the type inference mechanism: in PHP, while it is possible to define object interfaces which classes may be defined against, by the dynamic nature of the language, functions don't necessarily need that inte
54.
by fzltrp 13y ago
If you look at the original C syntax for function types, it is also a bit weird: part of the type (the return type) is placed before, and part (the parameters) after. That syntax in hack seems more "functional" to me. That said, I
55.
by fzltrp 13y ago
Car metaphors don't always match well with the situations they try to illustrate. Obviously if you had the chance to be offered either one of these two cars, you'd probably try them out and pick the one you feel the most comfortab
56.
by fzltrp 13y ago
Software engineers often use the word "update" for operations of that kind on databases, as part of the so called "crud" operations (Create Read Update Delete), which represent the fundamental operations one could apply.
57.
by fzltrp 13y ago
Classic functional programming doesn't cover oop: there's no subclassing, thus no issue with using a list to keep your players. Furthermore, pure functional code doesn't mutate, so invariants can't really be broken, unle
58.
by fzltrp 13y ago
Strictly speaking you're probably correct. But the problem is that OP is giving as an example a team, without strictly defining the expected behaviour of that class, so everyone starts to imagine his own set of behaviour ovverides, inv
59.
by fzltrp 13y ago
Curiously, I use that variation as well. I tried to look it up to find out where I could have picked it up, but couldn't get any interesting results. Does anyone else uses that?
60.
by fzltrp 13y ago
Well, I don't know. The "No polymorphism" section is misleading (though polymorphism doesn't carry the same meaning from one language to the next): There's this comment on higher order functions not being supported

More ›