psygnisfive

12 ms·

61.
Implementing Language Engine – Continuations for Quantification(languagengine.co)
2 points by psygnisfive 12y ago|0 comments
62.
by psygnisfive 12y ago
A follow-up to my "So you want to learn type theory" reading list. Here I show you how to write a simple type checker using JS.
63.
So you want to write a type checker(languagengine.co)
22 points by psygnisfive 12y ago|1 comments
64.
by psygnisfive 12y ago
Aside from PFPL, which is oriented towards implementors of programming languages, type theory has practical uses in the act of programming itself. That is to say, with an adequate type theory, you can at a minimum use it to help you constru
65.
by psygnisfive 12y ago
Ahh this is a very good question.. I'll give two answers, the first more philosophical and the second more example-driven, and both hesitant, 'cause I'm not sure anyone's really thought about deeper why's like this
66.
by psygnisfive 12y ago
One of the primary major players with generics in Java is Philip Wadler, a type theorist and one of the co-creators of Haskell. Generics comes straight out of type theory research, and normally its called parametric polymorphism, but mainst
67.
by psygnisfive 12y ago
Oh wow, I saw the United Therapeutics HQ in Silver Spring being built, walked around it a bunch when it was done, thought it was a cool building, etc. and had no idea it was Rothblatt's company. Neat!
68.
by psygnisfive 12y ago
Speaking of The Bubble, there's a documentary on YouTube filmed shortly after/during the burst. https://www.youtube.com/watch?v=EsVpNB2Lv3U At one point you see these things, pink slip parties.. fascinating stuff.
69.
by psygnisfive 12y ago
Thats also an appropriate analogy, I think. The main point is, type theory is a tool for reasoning, while set theory is a thing reasoned about. At least in the context of foundational questions. You can flip them, but then it becomes kind o
70.
by psygnisfive 12y ago
Yep, that's a perfect analogy. And people have actually used type systems to formalize the concept of units. :)
71.
by psygnisfive 12y ago
This is really not true at all. Unless what you mean by "implementing type systems for general purpose languages" is a sort of weak, generally useless type system that punishes rather than helps. This is ESPECIALLY false of Pfenni
72.
by psygnisfive 12y ago
So I think you're right that you should have a good reason. Fashion isn't enough. Don't learn TT cause its "cool", that would be stupid. For FP, tho.. I would say that you'll be a better functional programmer b
73.
by psygnisfive 12y ago
I'll start added recommendations to the link, so keep 'em coming.
74.
by psygnisfive 12y ago
I want to disagree a little bit with chas here and just say that type theory as we know it today emerged out of a different, post-computer tradition than old-school Russellian type theory. Modern type theory comes arguably from Martin-Löf a
75.
So you want to learn type theory(purelytheoretical.com)
169 points by psygnisfive 12y ago|47 comments
76.
by psygnisfive 12y ago
This one is I guess less about implementing LE than it is about how to implement things in LE, but whatever. Maybe next time I'll say "devblogging" to be more generic. heh
77.
Implementing Language Engine – Paraphrases and Lexical Decomposition(languagengine.co)
1 points by psygnisfive 12y ago|1 comments
78.
Implementing Language Engine – Pluralities in Semantics (part 3)(languagengine.co)
1 points by psygnisfive 12y ago|0 comments
79.
Implementing Language Engine – Pluralities in Semantics (part 2)(languagengine.co)
2 points by psygnisfive 12y ago|0 comments
80.
by psygnisfive 12y ago
I decided to start writing a devblog for the project I'm working on (a conversational AI toolkit). Lemme know if you have any questions or comments! :)
81.
Implementing Language Engine – Pluralities in Semantics (part 1)(languagengine.co)
6 points by psygnisfive 12y ago|1 comments
82.
by psygnisfive 12y ago
Check out the anarchist socialist experiments like Catalonia during the Spanish civil war. They tended to collapse because of inability to fight external forces, not because of bureaucratic bloat, etc.
83.
by psygnisfive 16y ago
Get a tinier belly with this one weird old hack!
84.
by psygnisfive 16y ago
I will only accept this as an accurate replication of Philip K Dick if it ends up doing meth and going crazy.
85.
by psygnisfive 16y ago
I'm not sure if Feynman intended it or not, and I wouldn't be surprised if he had, but this sounds like a sarcastic commentary on how even "great men" could be subject to appeals to authority (ie Compton).
86.
by psygnisfive 17y ago
For those interested, the traditional names for the directions in 4 dimensions (equivalent to "up" and "down", etc.) are "ana" and "kata".
87.
by psygnisfive 17y ago
The horrendously misleading part of this is that the experiment says to attach the candle to the wall. The lexical semantics of "attach" do not permit that you "attach the candle to the wall" by tacking a box to the wall and placing the c
88.
by psygnisfive 17y ago
Captain, I don't see the relevance of your question. \\//,
89.
by psygnisfive 17y ago
Unfortunately Ruby is not wrong. Ruby is simply being strictly correct from a logic point of view, where < is R^2 -> {T, F}, as opposed to being strictly correct from a math-notation point of view, where < is treated syncatego
90.
by psygnisfive 17y ago
While Lojban is "logical", human language is not. Or rather, it is, but it follows its own set of (well defined) rules. If Lojban does not follow these rule's, it's not truly learnable, and thus irrelevant. If Lojban _does_ follow these rul

More ›