eschew

4 ms·

1.
by eschew 5mo ago
Here is a public report from the TRACTOR evaluation team: https://github.com/DARPA-TRACTOR-Program/Reports/blob/main/F... There are also some papers being published that were funded by TRACTOR, such as
2.
Two Lovely Talks from POPL 2020 about Real-World Bugs(eschew.wordpress.com)
2 points by eschew 7y ago|0 comments
3.
by eschew 9y ago
mkPlayer can be simplified further! mkPlayer :: Maybe Weapon -> Class -> Either Error Player mkPlayer (Just Staff) Warrior = Left "A Warrior cannot equip a Staff" mkPlayer (Just Sword) Wizard = Left "A Wizard c
4.
by eschew 9y ago
Ah, they are corrections to the article's incorrect statements! I apologize for the ambiguity.
5.
by eschew 9y ago
At least two of the article's statements about LLVM are false. In particular: 1) LLVM doesn't place any restrictions on how a language runtime allocates memory. 2) LLVM doesn't "expect" a stack map -- it provides in
6.
Summarizing Garbage Collection(eschew.wordpress.com)
2 points by eschew 10y ago|0 comments
7.
by eschew 11y ago
Hmm. I looked at the list of five and thought to myself: "four legends and... who on earth is Scott Fahlman?" Turns out he invented the smiley! TIL
8.
by eschew 12y ago
GHC, at least, uses the same implementation for IORef and STRef: http://hackage.haskell.org/package/base-4.3.1.0/docs/src/GHC... Poking through GHC's runtime source, I see a writer barrier but no lo
9.
by eschew 12y ago
He essentially retracted his original assertion eight months after it was published, see the first few "Update" sections of http://www.philipreames.com/Blog/2014/02/21/why-not-use-gcro... and a