jmct

5 ms·

1.
by jmct 4y ago
Looks like you found them, and yes. :D They weren't made with the thought of being generally consumed, but I do plan on making videos for the wider CS/programming community in the future.
2.
by jmct 4y ago
Apologies for causing a spike in your impostor syndrome! 330 is 'required' in the sense that you're not allowed to take 430 at UMD without having taken 330. Perhaps a better way of phrasing it would have been to list the thin
3.
by jmct 4y ago
Wonderful bit of history! I'm one of the faculty that teach the current version of this course. Would you mind getting in contact with us? We would love to learn more about PL/UM. It would mean a lot: {jmct|dvanhorn}@umd.edu
4.
by jmct 4y ago
Those are my videos!
5.
Measuring the Privacy of Computations(galois.com)
3 points by jmct 6y ago|0 comments
6.
What about the Natural Numbers? [video](youtube.com)
2 points by jmct 7y ago|0 comments
7.
by jmct 8y ago
That's true in one direction, but not the other. The other angle is that concurrent programs are still concurrent on a uni-processor. Parallel programs are not.
8.
by jmct 8y ago
Just to add on to this: The languages people use at Galois lean towards functional programming languages: Haskell, Coq, etc. and systems languages: C, Rust (increasingly).
9.
by jmct 8y ago
The reason GHC won't infer the definition of Applicative is because there can be multiple valid `Applicative` instances for a type (unlike `Functor` where there is a unique (non-trivial) instance). The canonical example of this is list
10.
by jmct 8y ago
The problem of getting Homomorphic Encryption in the hands of data scientists is what the RAMPARTS project we're working on at Galois is about ( https://galois.com/project/ramparts/ ). We presented some prelimi
11.
by jmct 8y ago
It's a funny story, but it's also not true. You don't want pencils in space (not because they don't work, but because you don't want graphite dust everywhere). A source: https://www.scientificamerican.com
12.
by jmct 9y ago
Galois does not work on financial products. It is a research services company (i.e. R&D for hire) that focuses on high-assurance software.
13.
by jmct 11y ago
Haskell does not do this. Haskell is lazy (computed results are shared), but Haskell does not memoize by default. To illustrate: func y = let z = y + y in (add 1 z) * (add 1 z) in `func` the result of computing `y + y`
14.
by jmct 11y ago
Do you live in a big (or bigger than average) city? I live in the UK in a small town and can not imagine having kids but no car. Most of my friends find having a car is essential even without kids (though I prefer to not have a car unless 1
15.
by jmct 12y ago
It makes me wonder, what does the White House consider a suitable forum for holding appointed officials to account? Or more appropriately, holding the appointers to account.
16.
by jmct 12y ago
While your point is also good, I really wanted to know the case where the a generic equivalent isn't even available (despite being more effective). The OP's anecdote seems to imply that there are situations where only inferior pro
17.
by jmct 12y ago
Would you mind naming the generic drug? It seems like this is a powerful argument against having (only) for-profit healthcare. I'd like to be able to point to a specific case of what you're describing.
18.
by jmct 12y ago
I'm glad that Michael Devine has the courage to turn down the settlement. I think it helps that there seems to be clear evidence of wrongdoing. Also, maybe I am misunderstanding something, but does the plaintiff have to ask for the s
19.
by jmct 13y ago
I think you have good points, I do think you're introducing a false dichotomy though. I'd prefer if there were no censorship on TV and there was guaranteed freedom of speech. I can definitely understand where you're coming
20.
by jmct 13y ago
Yes, we get it. 'Europe' and countries within Europe are not the same thing. You are missing the point. Yes, this article only talks about the UK, but Europe generally has a problem with free speech. The following countries have
21.
by jmct 13y ago
Programming is still heavily influenced by research. Modern type systems, concurrent algorithms, compiler frameworks like LLVM, and lots of other great things have come straight out of academic research. I don't understand why the Hack
22.
by jmct 13y ago
You can use pandoc without needing to write any Haskell. This article is about pandoc (the library), but you can also get pandoc (the command line tool) and convert between common document formats. In fact, I'm quite comfortable with H
23.
by jmct 13y ago
If this style of programming interests you check out Elm [1], a functional language made for the web that uses this FRP style. The creator was recently hired by Prezi to work on Elm full time [2]. [1]: http://elm-lang.org/
24.
by jmct 13y ago
Pandoc does almost exactly what you want. Much of my academic writing is written in markdown and then pandoc converts that to LaTeX. For conference papers it doesn't work as well (due to the conferences having specific style requiremen
25.
by jmct 13y ago
There is a great Stackoverflow answer about this very thing: http://stackoverflow.com/questions/6398996/good-haskell-sour... Personally, I learned a lot from reading a lot of the Functional Pearls that are publish