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 methods and PL research.
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 methods labs at major tech firms or…
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 really deep into the theory of program…
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 Languages" (great book, cited as Win93 in the…
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 on here to argue with people and it…
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 economics -- a social science full of…
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 between the magnitude of UBI-style…
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 political opinions are authoritative and…
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 release statistics publicly, but you can…
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 you over.
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 mine to arrive (in the next batch) but I…
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 conversations) conflate the original…
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 resource for code examples that aren't…
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 made diffing quite tricky in the type…
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 building essentially what you…
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 connotations not only of being one of the…
"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 order to authenticate or access some…
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 having it two keystrokes away is very…
+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 advantages vs. the `export` syntax used in…
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 patterns (as opposed to using pipes to mimic…
Most OCaml users I know use emacs with tuareg-mode and merlin (or the equivalent in vim). Once you've got that set up (and it's a breeze these days with opam user-setup) it's super easy to navigate an OCaml code base…
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 methods and PL research.
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 methods labs at major tech firms or…
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 really deep into the theory of program…
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 Languages" (great book, cited as Win93 in the…
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 on here to argue with people and it…
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 economics -- a social science full of…
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 between the magnitude of UBI-style…
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 political opinions are authoritative and…
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 release statistics publicly, but you can…
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 you over.
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 mine to arrive (in the next batch) but I…
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 conversations) conflate the original…
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 resource for code examples that aren't…
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 made diffing quite tricky in the type…
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 building essentially what you…
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 connotations not only of being one of the…
"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 order to authenticate or access some…
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 having it two keystrokes away is very…
+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 advantages vs. the `export` syntax used in…
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 patterns (as opposed to using pipes to mimic…
Most OCaml users I know use emacs with tuareg-mode and merlin (or the equivalent in vim). Once you've got that set up (and it's a breeze these days with opam user-setup) it's super easy to navigate an OCaml code base…