9q9

9 ms·

31.
by 9q9 6y ago
Yes, that's true, if you want to propagate information about the nature of what went wrong locally (e.g. logging) you need to use something richer (e.g. Either).
32.
by 9q9 6y ago
I agree. I've used both heavily, they are both amazing, but Scala nowadays has a much richer ecosystem of libraries (because of the JVM heritage). Nevertheless, they are both in the ML tradition of languages, and once you've maste
33.
by 9q9 6y ago
I agree with your evaluation that parts of the FP community are extremely vocal and extremely smug, and this can and does have a bad effect on a community. This is a problem. Dealing with this problem requires leadership . In particular a
34.
by 9q9 6y ago
avoids the complexities of the scala FP purists. Are you sure? Have a look at Arrow [1] and similar! I am glad that languages offer pure FP frameworks, so I can use them if I think they are the right tool for the job, and can a
35.
by 9q9 6y ago
Everybody has biases. Murray wears his on his sleeve. More interesting: do you have concrete and verifiable information that his reporting of the Philip Cross Affair, that Murray' conjectures about its background, are wrong? Can
36.
by 9q9 6y ago
2-3 most fundamental parallel algorithms Would you be able to list them? I'm asking because I do develop programming languages for parallel hardware. It would be very useful for me to look at your examples and apply them
37.
by 9q9 6y ago
I've never announced my papers before they were accepted by a conference or journal (other than putting them on arXiv). I would certainly not let my university's press office mention my work if it was not fully peer reviewed. I&#x
38.
by 9q9 6y ago
Why didn't you wait with the announcements until after the pre-prints were accepted by reputable journals?
39.
by 9q9 6y ago
There is a lot of random testing in processor design. To what extent you'd call it property-based testing can be argued. Intersting factoid: Koen Claessen, one of QuickCheck's inventors, also co-designed Lava, a circuit designer
40.
by 9q9 6y ago
I've spoken to a lot of processor designers, usually from an EE background, and they prefer Verilog: "we tried more high-level languages in the 1980s ... it was a failure" is something I've heard more often that than I
41.
by 9q9 7y ago
tucked away in a manual With a better eco-system, the (temporal) specification (such as "take 67 cycles to initialize after coming out of reset") such be given formally, so a tool can ensure that it's not forgotten.
42.
by 9q9 7y ago
I work in processor verification and my employer spends a great deal of money on it. Like "thechao" I am not allowed to talk about this, alas. A good place to look at some of what ARM do is: https://alastairreid.gi
43.
by 9q9 7y ago
Native Americans who lived in an ecological balance with wildlife. One of the competing explanations for the disappearance of the woolly mammoth in North America about 10k years ago is that they were hunted to extinction. Other
44.
by 9q9 7y ago
Gates probably at least 1000x-ed his parents wealth. By just about any measure that's being self-made, as the GGP correctly pointed out. If 1000x-ing doesn't count as self-made exactly what meaningful measure of self-madeness and
45.
by 9q9 7y ago
Bill Gates had rich parents So? Lot's of people have rich parents (think, for example about the members of the House of Saud). How many of those raise to Bill Gates' level of excellence? He co-wrote a paper [1] as an un
46.
by 9q9 7y ago
I think the difference is that today nobody is preventing you from forcing GHC or adding features, while back in the early 1990s, Research Software Ltd, the company creating Miranda, would probably have prevented others from forking Miranda
47.
by 9q9 7y ago
Miranda's cost was a big problem, but not the only one. The other core issue that lead to the creation of Haskell was Miranda's license that essentially prohibited using it as a tool for programming language research. For good rea
48.
by 9q9 7y ago
Alternative /additional explanation: Google realise that their business model of selling ads based on 'spying' on users privacy will eventually come to an end because: - users being increasingly aware of the problem, - legisl
49.
by 9q9 7y ago
Not just Europe, have a look at how many top Silicon Valley types went to IITs (Indian Institutes of Technology) [1]. Why would you stay in your home country when you can hop on a plane and 10x your salary (not to mention work at the cuttin
50.
by 9q9 7y ago
For what it's worth, backdoors have been discovered in Ericsson switches, see [1], it's fascinating reading. It's unclear who put them there. Wikipedia [2] alleges that the US embassy in Athens was behind the telephone interc
51.
by 9q9 7y ago
This works for every programming language, but C/C++ is most widely used, and is used in e.g. OS, network stacks, ML/AI. Hence the correctness of C/C++ compilers affects most software.
52.
by 9q9 7y ago
Feynman speaks of "Cargo Cult Science" in 1974: http://calteches.library.caltech.edu/51/2/CargoCult.htm
53.
by 9q9 7y ago
beliefs are held because they're indefensible on the merits I wonder if this phenomenon has a name. If not, it should! (Maybe an analysis using terms of Shannon-style information theory is apt: the less probable an event,
54.
by 9q9 7y ago
Whom have you got in mind? For those unfamiliar with British political discourse, the term "Tankie" is often used in British left-wing circles to refer to supporters of Stalin (including his approach to political change through vi
55.
by 9q9 7y ago
I agree that that's what they mean. What I'm not seeing is how the "requisite variety" that control theory talks about, relates to "diversity" in modern usage (which for practical purposes is coeval with the p
56.
by 9q9 7y ago
Why would "diversity" help modelling the complexity of the environment? Would a chess-playing program get better if it also contained a go-engine, checker-engine, scissor-paper-rocks rules and tiddly-winks?
57.
by 9q9 7y ago
This is my point. Adding dependent types comes with costs that you will always have to pay, even if you don't use the power of dependent types. If you verify with e.g. program logic in the few real-world cases where formal verification
58.
by 9q9 7y ago
This is my point. Adding dependent types comes with costs that you will always have to pay, even if you don't use the power of dependent types. If you verify with e.g. program logic in the few real-world cases where formal verification
59.
by 9q9 7y ago
Aside: Sledgehammering doesn't currently work in Curry-Howard-based provers. (This may change in the future, it's an active research topic.)
60.
by 9q9 7y ago
As far as I understand -- please correct me if I'm wrong -- F* uses dependent types as a foundation of maths (i.e. a logic) and embeds program logic via a HTT (= Hoare Type Theory). This is a very nice division of labour between progra

More ›