Hacker News new | comments | show | ask | jobs | submit | from login
Boolean Blindness (existentialtype.wordpress.com)
2 points by hexhex 5 months ago | past | web
Dynamic Languages Are Static Languages (existentialtype.wordpress.com)
1 point by tosh 6 months ago | past | web
Recursion: It Is What It Is (And Nothing Else) (2016) (existentialtype.wordpress.com)
4 points by chmaynard 8 months ago | past | web
Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com)
1 point by vog 11 months ago | past | web
Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com)
1 point by SubiculumCode 11 months ago | past | web
Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com)
2 points by jonnycomputer on Nov 7, 2017 | past | web
Sequentiality as the Essence of Parallelism (existentialtype.wordpress.com)
1 point by theaeolist on Nov 6, 2017 | past | web
Dynamic Languages Are Static Languages (2011) (existentialtype.wordpress.com)
1 point by hellofunk on Oct 3, 2017 | past | web
Modules Matter Most (2011) (existentialtype.wordpress.com)
1 point by k4rtik on June 14, 2017 | past | web
Exceptions Are Shared Secrets – Existential Type (existentialtype.wordpress.com)
1 point by kiyanwang on Apr 22, 2017 | past | web
A “proof by contradiction” is not a proof that ends with a contradiction (existentialtype.wordpress.com)
2 points by subtenante on Mar 8, 2017 | past | web
The Real Point of Laziness in Code (existentialtype.wordpress.com)
2 points by je_bailey on Feb 27, 2017 | past | web
Parallelism is not Concurrency (existentialtype.wordpress.com)
39 points by z1mm32m4n on Dec 5, 2016 | past | web | 1 comment
The Holy Trinity: Logic, Languages, Categories (2011) (existentialtype.wordpress.com)
111 points by rpbertp13 on Nov 27, 2016 | past | web | 49 comments
Bob Harper – Parallelism Is Not Concurrency (existentialtype.wordpress.com)
3 points by Athas on Nov 20, 2016 | past | web
It Is What It Is (And Nothing Else) – Why Recursion Still Matters (existentialtype.wordpress.com)
52 points by ingve on Feb 22, 2016 | past | web | 72 comments
The Power of Negative Thinking (re: exceptions and type theory) (existentialtype.wordpress.com)
2 points by dllthomas on Nov 18, 2015 | past | web
What, If Anything, Is a Declarative Language? (2013) (existentialtype.wordpress.com)
1 point by sea6ear on Oct 5, 2015 | past | web
Modules Matter Most (2011) (existentialtype.wordpress.com)
13 points by networked on Oct 2, 2015 | past | web | 2 comments
Modules Matter Most (2011) (existentialtype.wordpress.com)
1 point by networked on Sept 30, 2015 | past | web
Dynamic Languages Are Static Languages (2011) (existentialtype.wordpress.com)
23 points by mlitchard on July 22, 2015 | past | web | 66 comments
The Point of Laziness (2011) (existentialtype.wordpress.com)
45 points by amelius on Apr 22, 2015 | past | web | 6 comments
Structure and Efficiency of Computer Programs (existentialtype.wordpress.com)
1 point by tzar on Dec 19, 2014 | past | web
Haskell Is Exceptionally Unsafe (2012) (existentialtype.wordpress.com)
107 points by kirkbackus on Oct 20, 2014 | past | web | 122 comments
Structure and Efficiency of Computer Programs (existentialtype.wordpress.com)
2 points by s-phi-nl on Oct 1, 2014 | past | web
Structure and Efficiency of Computer Programs by Robert Harper (existentialtype.wordpress.com)
2 points by lelf on Sept 29, 2014 | past | web
Dynamic languages are static languages (existentialtype.wordpress.com)
3 points by ExpiredLink on Aug 21, 2014 | past | web
The Holy Trinity (existentialtype.wordpress.com)
1 point by lelf on Aug 18, 2014 | past | web
A few new papers by Robert Harper (existentialtype.wordpress.com)
8 points by lelf on July 21, 2014 | past | web | 2 comments
Summer of Programming Languages (existentialtype.wordpress.com)
101 points by platz on July 7, 2014 | past | web | 74 comments
More

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: