corpus.blog
41554 blogs · [ { "id": "01a0b61b-2192-700f-9458-5bb4eef5db98", "title": "Sequentiality as the Essence of Parallelism", "url": "https://existentialtype.wordpress.com/2017/11/04/sequentiality-is-the-essence-of-parallelism/", "published_at": "2017-11-04T22:24:15+00:00" }, { "id": "01a0b61b-2192-700f-9458-5bb4ef8b08cf", "title": "Proofs by contradiction, versus contradiction proofs", "url": "https://existentialtype.wordpress.com/2017/03/04/a-proof-by-contradiction-is-not-a-proof-that-derives-a-contradiction/", "published_at": "2017-03-04T20:00:41+00:00" }, { "id": "01a0b61b-2192-700f-9458-5bb4f0754129", "title": "PCLSRING in Semantics", "url": "https://existentialtype.wordpress.com/2016/07/11/pclsring-in-semantics/", "published_at": "2016-07-11T17:31:43+00:00" }, { "id": "01a0b61b-2192-700f-9458-5bb4f0c12a91", "title": "PFPL Commentary", "url": "https://existentialtype.wordpress.com/2016/06/03/pfpl-commentary/", "published_at": "2016-06-03T20:45:05+00:00" }, { "id": "01a0b61b-2192-700f-9458-5bb4f0f10df4", "title": "It Is What It Is (And Nothing Else)", "url": "https://existentialtype.wordpress.com/2016/02/22/it-is-what-it-is-and-nothing-else/", "published_at": "2016-02-22T05:01:39+00:00" }, { "id": "01a0b61b-2192-700f-9458-5bb4f151a192", "title": "The Power of Negative Thinking", "url": "https://existentialtype.wordpress.com/2015/01/27/the-power-of-negative-thinking/", "published_at": "2015-01-27T20:25:14+00:00" }, { "id": "01a0b61b-2192-700f-9458-5bb4f24c8a48", "title": "Structure and Efficiency of Computer Programs", "url": "https://existentialtype.wordpress.com/2014/09/28/structure-and-efficiency-of-computer-programs/", "published_at": "2014-09-29T00:11:55+00:00" }, { "id": "01a0b61b-2192-700f-9458-5bb4f2c9fd48", "title": "Scotland: Vote No", "url": "https://existentialtype.wordpress.com/2014/09/15/scotland-vote-no/", "published_at": "2014-09-15T15:53:23+00:00" }, { "id": "01a0b61b-2192-700f-9458-5bb4f2fe3d67", "title": "Summer of Programming Languages", "url": "https://existentialtype.wordpress.com/2014/07/06/summer-of-programming-languages/", "published_at": "2014-07-06T23:09:35+00:00" }, { "id": "01a0b61b-2192-700f-9458-5bb4f3ebc5bc", "title": "Bellman on “Dynamic Programming”", "url": "https://existentialtype.wordpress.com/2014/04/21/bellman-confirms-a-suspicion/", "published_at": "2014-04-21T04:24:44+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e9848e58be", "title": "Parallelism and Concurrency, Revisited", "url": "https://existentialtype.wordpress.com/2014/04/09/parallelism-and-concurrency-revisited/", "published_at": "2014-04-10T03:15:00+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e984c80974", "title": "Old Neglected Theorems Are Still Theorems", "url": "https://existentialtype.wordpress.com/2014/03/20/old-neglected-theorems-are-still-theorems/", "published_at": "2014-03-21T03:15:55+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e9853b0720", "title": "There Is Such A Thing As A Declarative Language, and It’s The World’s Best DSL", "url": "https://existentialtype.wordpress.com/2013/07/22/there-is-such-a-thing-as-a-declarative-language/", "published_at": "2013-07-22T16:26:05+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e985a2c376", "title": "What, If Anything, Is A Declarative Language?", "url": "https://existentialtype.wordpress.com/2013/07/18/what-if-anything-is-a-declarative-language/", "published_at": "2013-07-18T17:34:00+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e9862aa90c", "title": "Constructive Mathematics Is Not Metamathematics", "url": "https://existentialtype.wordpress.com/2013/07/10/constructive-mathematics-is-not-meta-mathematics/", "published_at": "2013-07-10T19:08:31+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e9872139ad", "title": "More Is Not Always Better", "url": "https://existentialtype.wordpress.com/2013/01/28/more-is-not-always-better/", "published_at": "2013-01-28T23:58:45+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e987d08a28", "title": "Exceptions Are Shared Secrets", "url": "https://existentialtype.wordpress.com/2012/12/03/exceptions-are-shared-secrets/", "published_at": "2012-12-04T03:22:25+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e98866a82a", "title": "Introductory FP Course Materials", "url": "https://existentialtype.wordpress.com/2012/09/15/introductory-fp-course-materials/", "published_at": "2012-09-15T19:25:22+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e988eaeabf", "title": "Yet Another Reason Not To Be Lazy Or Imperative", "url": "https://existentialtype.wordpress.com/2012/08/26/yet-another-reason-not-to-be-lazy-or-imperative/", "published_at": "2012-08-26T22:30:27+00:00" }, { "id": "01a0c512-2670-70dc-8bc5-a0e989e8c9a9", "title": "Believing in Computer Science", "url": "https://existentialtype.wordpress.com/2012/08/25/believing-in-computer-science/", "published_at": "2012-08-25T20:32:15+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb50931f2b2f", "title": "Polarity in Type Theory", "url": "https://existentialtype.wordpress.com/2012/08/25/polarity-in-type-theory/", "published_at": "2012-08-25T14:39:56+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb5093ad659b", "title": "Intro Curriculum Update", "url": "https://existentialtype.wordpress.com/2012/08/17/intro-curriculum-update/", "published_at": "2012-08-17T13:11:58+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb509424d9b9", "title": "Extensionality, Intensionality, and Brouwer’s Dictum", "url": "https://existentialtype.wordpress.com/2012/08/11/extensionality-intensionality-and-brouwers-dictum/", "published_at": "2012-08-11T11:31:21+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb5094fa0ae2", "title": "Church’s Law", "url": "https://existentialtype.wordpress.com/2012/08/09/churchs-law/", "published_at": "2012-08-09T22:38:21+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb5095c419b1", "title": "There and Back Again", "url": "https://existentialtype.wordpress.com/2012/08/06/there-and-back-again/", "published_at": "2012-08-06T15:23:59+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb50968d621b", "title": "для моих русских читателей", "url": "https://existentialtype.wordpress.com/2012/02/28/%d0%b4%d0%bb%d1%8f-%d0%bc%d0%be%d0%b8%d1%85-%d1%80%d1%83%d1%81%d1%81%d0%ba%d0%b8%d1%85-%d1%87%d0%b8%d1%82%d0%b0%d1%82%d0%b5%d0%bb%d0%b5%d0%b9/", "published_at": "2012-02-29T02:53:05+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb5096b1432f", "title": "Referential Transparency", "url": "https://existentialtype.wordpress.com/2012/02/09/referential-transparency/", "published_at": "2012-02-10T04:19:31+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb5096b3d9c8", "title": "Words Matter", "url": "https://existentialtype.wordpress.com/2012/02/01/words-matter/", "published_at": "2012-02-02T02:05:47+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb50978f7d88", "title": "Of Course ML Has Monads!", "url": "https://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/", "published_at": "2011-05-01T20:09:43+00:00" }, { "id": "01a0c51f-2c58-7075-8932-bb5097cd4cca", "title": "The Point of Laziness", "url": "https://existentialtype.wordpress.com/2011/04/24/the-real-point-of-laziness/", "published_at": "2011-04-25T03:16:05+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e899f4dbd", "title": "Some Thoughts on Teaching FP", "url": "https://existentialtype.wordpress.com/2011/04/17/some-advice-on-teaching-fp/", "published_at": "2011-04-18T03:34:19+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e8a1adacb", "title": "Modules Matter Most", "url": "https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/", "published_at": "2011-04-16T20:25:36+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e8a214ff5", "title": "A Dead Dog", "url": "https://existentialtype.wordpress.com/2011/04/12/a-dead-dog/", "published_at": "2011-04-12T21:25:43+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e8a8a8472", "title": "Persistence of Memory", "url": "https://existentialtype.wordpress.com/2011/04/09/persistence-of-memory/", "published_at": "2011-04-10T03:25:15+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e8b3a5932", "title": "Functions Are Values", "url": "https://existentialtype.wordpress.com/2011/04/02/functions-are-values/", "published_at": "2011-04-02T22:20:14+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e8b89732e", "title": "The Holy Trinity", "url": "https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/", "published_at": "2011-03-28T00:58:30+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e8c753794", "title": "The Dog That Didn’t Bark", "url": "https://existentialtype.wordpress.com/2011/03/21/the-dog-that-didnt-bark/", "published_at": "2011-03-22T01:05:26+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e8d1bf853", "title": "Dynamic Languages are Static Languages", "url": "https://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages/", "published_at": "2011-03-20T03:05:10+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e8d67c854", "title": "Parallelism Is Not Concurrency", "url": "https://existentialtype.wordpress.com/2011/03/17/parallelism-is-not-concurrency/", "published_at": "2011-03-18T01:32:23+00:00" }, { "id": "01a0c52a-6083-73cb-be3b-739e8da5de45", "title": "Languages and Machines", "url": "https://existentialtype.wordpress.com/2011/03/16/languages-and-machines/", "published_at": "2011-03-17T03:31:42+00:00" }, { "id": "01a0c535-7449-707e-b0a0-aba2593ba226", "title": "What is a Functional Language?", "url": "https://existentialtype.wordpress.com/2011/03/16/what-is-a-functional-language/", "published_at": "2011-03-16T22:05:42+00:00" }, { "id": "01a0c535-7449-707e-b0a0-aba259acf031", "title": "Boolean Blindness", "url": "https://existentialtype.wordpress.com/2011/03/15/boolean-blindness/", "published_at": "2011-03-16T03:14:13+00:00" }, { "id": "01a0c535-7449-707e-b0a0-aba259d67609", "title": "Don’t Mention Equality!", "url": "https://existentialtype.wordpress.com/2011/03/15/dont-mention-equality/", "published_at": "2011-03-16T03:07:14+00:00" }, { "id": "01a0c535-7449-707e-b0a0-aba259f5e2f4", "title": "Teaching FP to Freshmen", "url": "https://existentialtype.wordpress.com/2011/03/15/teaching-fp-to-freshmen/", "published_at": "2011-03-16T02:08:08+00:00" }, { "id": "01a0c535-7449-707e-b0a0-aba25a6c509a", "title": "Getting Started", "url": "https://existentialtype.wordpress.com/2011/03/15/getting-started/", "published_at": "2011-03-16T01:26:29+00:00" } ] posts Claim your blog
Back to existentialtype.wordpress.com
Blog · corpus.blog/blogs/existentialtype.wordpress.com/posts

existentialtype.wordpress.com

existentialtype.wordpress.com

2017

Sequentiality as the Essence of Parallelismoriginal ↗
4 Nov 2017
Proofs by contradiction, versus contradiction proofsoriginal ↗
4 Mar 2017

2016

PCLSRING in Semanticsoriginal ↗
11 Jul 2016
PFPL Commentaryoriginal ↗
3 Jun 2016
It Is What It Is (And Nothing Else)original ↗
22 Feb 2016

2015

The Power of Negative Thinkingoriginal ↗
27 Jan 2015

2014

Structure and Efficiency of Computer Programsoriginal ↗
29 Sept 2014
Scotland: Vote Nooriginal ↗
15 Sept 2014
Summer of Programming Languagesoriginal ↗
6 Jul 2014
Bellman on “Dynamic Programming”original ↗
21 Apr 2014
Parallelism and Concurrency, Revisitedoriginal ↗
10 Apr 2014
Old Neglected Theorems Are Still Theoremsoriginal ↗
21 Mar 2014

2013

There Is Such A Thing As A Declarative Language, and It’s The World’s Best DSLoriginal ↗
22 Jul 2013
What, If Anything, Is A Declarative Language?original ↗
18 Jul 2013
Constructive Mathematics Is Not Metamathematicsoriginal ↗
10 Jul 2013
More Is Not Always Betteroriginal ↗
28 Jan 2013

2012

Exceptions Are Shared Secretsoriginal ↗
4 Dec 2012
Introductory FP Course Materialsoriginal ↗
15 Sept 2012
Yet Another Reason Not To Be Lazy Or Imperativeoriginal ↗
26 Aug 2012
Believing in Computer Scienceoriginal ↗
25 Aug 2012
Polarity in Type Theoryoriginal ↗
25 Aug 2012
Intro Curriculum Updateoriginal ↗
17 Aug 2012
Extensionality, Intensionality, and Brouwer’s Dictumoriginal ↗
11 Aug 2012
Church’s Laworiginal ↗
9 Aug 2012
There and Back Againoriginal ↗
6 Aug 2012
для моих русских читателейoriginal ↗
29 Feb 2012
Referential Transparencyoriginal ↗
10 Feb 2012
Words Matteroriginal ↗
2 Feb 2012

2011

Of Course ML Has Monads!original ↗
1 May 2011
The Point of Lazinessoriginal ↗
25 Apr 2011
Some Thoughts on Teaching FPoriginal ↗
18 Apr 2011
Modules Matter Mostoriginal ↗
16 Apr 2011
A Dead Dogoriginal ↗
12 Apr 2011
Persistence of Memoryoriginal ↗
10 Apr 2011
Functions Are Valuesoriginal ↗
2 Apr 2011
The Holy Trinityoriginal ↗
28 Mar 2011
The Dog That Didn’t Barkoriginal ↗
22 Mar 2011
Dynamic Languages are Static Languagesoriginal ↗
20 Mar 2011
Parallelism Is Not Concurrencyoriginal ↗
18 Mar 2011
Languages and Machinesoriginal ↗
17 Mar 2011
What is a Functional Language?original ↗
16 Mar 2011
Boolean Blindnessoriginal ↗
16 Mar 2011
Don’t Mention Equality!original ↗
16 Mar 2011
Teaching FP to Freshmenoriginal ↗
16 Mar 2011
Getting Startedoriginal ↗
16 Mar 2011