Joined November 2012
Photos and videos
shenlanguage retweeted
10 Oct 2016
Backpack merged. You can try it out. New blog: blog.ezyang.com/2016/10/try-…

2
46
72
shenlanguage retweeted
9 Oct 2016
The use of the Strict* extensions in the KLambda modules results in a 70% speed increase on the Shen test suite on my machine.
1
shenlanguage retweeted
9 Oct 2016
Shentong is now available for download from Hackage hackage.haskell.org/package/… #shenlanguage @haskelllisp

2
5
5
shenlanguage retweeted
27 Sep 2016
My LambdaConf Shen talk is up! Here are slides github.com/deech/lambdaconf-… and all code examples github.com/deech/lambdaconf-…. x.com/lambda_conf/status/780…

Learn your own 'Shen Trick Shots' from @deech in one of the most popular talks at λc16! youtube.com/watch?v=BUJNyHAe…
3
12
41
shenlanguage retweeted
20 Sep 2016
Emacs 25 runs my Shen Elisp port even faster! It's now a shade *under* 10X of SBCL!
2
4
12
shenlanguage retweeted
20 Sep 2016
Here's my very, very in-progress port of @shenlanguage to @rustlang. Not usable but mostly in place. github.com/deech/shen-rust
5
12
shenlanguage retweeted
20 Sep 2016
Re-reading shenlanguage.org/LPC/lpc.htm…. Great book. All the logic & proofs presented are runnable/hackable. So much more fun than some dry tome.

2
4
17
shenlanguage retweeted
19 Sep 2016
Might interest some of you to know that I present a partial impl. of KLambda in Rust. Shen port's not far behind. :) x.com/deech/status/777586261…

1
1
7
shenlanguage retweeted
10 Sep 2016
Shen really, really got it right with self-evaluating symbols. One of it's best design choices, imo.
1
2
9
shenlanguage retweeted
4 Aug 2016
The Book Of Shen chapter on the SECD machine alone makes it worth it.
2
1
5
shenlanguage retweeted
3 Jun 2016
Just found this awesome article on adding typeclasses to Shen. programmingkungfuqi.blogspot…

1
4
6
shenlanguage retweeted
29 May 2016
Fun exercise in adding HLists to Shen. github.com/deech/lambdaconf-…
1
3
8
shenlanguage retweeted
27 May 2016
Slides for "Shen Trick Shots" github.com/deech/lambdaconf-… & the example code github.com/deech/lambdaconf-…. Thanks to all for coming. /cc @lambdaconf

9
27
shenlanguage retweeted
15 May 2016
Stepping through the Shen type-checker directly from #emacs! github.com/deech/shen-elisp
5
14
shenlanguage retweeted
The shen elisp port by @deech is probably the most readable programming language port I've ever seen! Just look: github.com/deech/shen-elisp/…

1
11
18
shenlanguage retweeted
29 Apr 2016
Happy to announce that the Elisp port of Shen is complete. Run Shen completely contained within Emacs! github.com/deech/shen-elisp
2
14
22
shenlanguage retweeted
13 Dec 2015
That's a little bleak ... doc.ic.ac.uk/teaching/distin… /cc @shenlanguage
4
7
5
shenlanguage retweeted
4 Jul 2015
@garybernhardt @BrianTRice Mark Tarver the creator of @shenlanguage talks about the phenotype and genotype of a Lisp. marktarver.com/next.html

5
9
shenlanguage retweeted
30 Jun 2015

2
1