Viewing profile — the_benno

The best source is usually authors' websites. You can find a free copy of just about any modern CS paper by googling its title in quotes with "filetype:pdf".

None of them -- Isabelle is developed at University of Cambridge and TU Munich by academics. The parent commenter seems to have some mistaken notions and assumptions about formal m…

You can argue that it's growing and/or promising, but there is absolutely no way that the actual research funding coming out of blockchain-land can hold a candle to the big formal …

Anders Moeller and Michael Schwartzbach's book [1] on static program analysis is a fantastic resource, with (I think) a great balance of theory and practice. If you want to get rea…

No, I wouldn't say that category theory is a prerequisite for domain theory in general. I'm most familiar with domain theory from Winskel's "Formal Semantics of Programming Languag…

My "wisdom" is that microeconomics is complicated... Hardly a controversial statement. I was being serious about a microecon text, but wikipedia would work just fine too. I'm not o…

Sure: literally everything past the first chapter of any microeconomics textbook. Come on, your position is "it just seems obvious", so I'll just say that it _is_ obvious that econ…

Your meaning was indeed clear but I find your reasoning flawed and the cargo-cult intellectualism... silly and pretentious. The main flaw, to me, is the 1:1 correspondence you draw…

What is this gobbledygook? These technical terms have meanings that you clearly either (a) do not understand or (b) are abusing to trick less-educated folks into thinking your poli…

Though it is internally-built, Hack is already open source at https://github.com/facebook/hhvm/ . FB uses a pretty wide array of languages internally -- I don't know if they releas…

This is not how unions work. (source: am union member) Your claims and arguments are against some imagined shitty union-like thing that does not much resemble an actual union.

because it's not a zero sum game? those union busting talking points keep you focused on your less-fortunate colleagues and and not the obscenely wealthy guy screwing the both of y…

For what it's worth, here are also [1] the Framework community forum thread about Arch and [2] the Arch wiki page about Framework in case you're interested. I'm still waiting for m…

Oh, thanks for the correction and apologies for the inadvertent misinfo. Your comment sent me reading the HOPL paper about SML -- I think I (based on folklore knowledge/informal co…

F# is an ML-family language, and ML stands for meta-language -- it was designed for language tools and compilers! Andrew Appel's Modern Compiler Implementation in ML is a great res…

They actually dropped support for diffing and incremental parsing a few months back, when they changed up some internal structures to what they call "precise AST datatypes" (which …

The short answer is that it's unsolved in general and just done ad-hoc in practice. I'm working on incremental & demand-driven analysis techniques for my PhD research and currently…

adding some context: used most often in discussion of sports in my experience, e.g. Michael Jordan in Basketball, Wayne Gretzky in Hockey, Babe Ruth in Baseball, etc. Carries conno…

"should not be published" is very different from "are not published"

I worked on a research project in undergrad that used Reed-Solomon -- we showed a series of images to users, who would later pick those images out of a set of un-trained images in …

That incident is the same one referred to in the CACM article and elsewhere throughout this thread.

in many cases you're probably right that mandatory type annotations would improve readability. Taking the rhetorical question very literally, though, there are some times when havi…

+1 to this -- good point! It sounds like the legacy project that the parent comment mentioned probably wasn't a "good" project in this respect, though. This has a number of advanta…

I don't care so much about keywords like `fn` personally; I was referring more to: - `let` in a statement language (as opposed to let-binding expressions) - comma-separating patter…