Viewing profile — jmct

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 …

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…

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. …

Those are my videos!

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.

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).

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-tr…

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…

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://ww…

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.

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 …

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 e…

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.

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…

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 wh…

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 so…

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…

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 proble…

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 ou…

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 …

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 El…