@shenlanguage profile picture
shenlanguage @shenlanguage
Joined November 2012
  • Tweets 126
  • Following 0
  • Followers 197
Photos and videos
shenlanguage retweeted
Edward Z. Yang @ezyang
10 Oct 2016
Backpack merged. You can try it out. New blog: blog.ezyang.com/2016/10/try-…

2
46
72
shenlanguage retweeted
Mark Thom @mjt128
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
Mark Thom @mjt128
9 Oct 2016
Shentong is now available for download from Hackage hackage.haskell.org/package/… #shenlanguage @haskelllisp

2
5
5
shenlanguage retweeted
deech @deech
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…

LambdaConf 2025
 @lambda_conf
27 Sep 2016
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
deech @deech
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
deech @deech
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

GitHub - deech/shen-rust

Contribute to deech/shen-rust development by creating an account on GitHub.

github.com
5
12
shenlanguage retweeted
deech @deech
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
deech @deech
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…

deech @deech
18 Sep 2016
My @rustlang talk's up! Here are slides: github.com/deech/strangeloop…. x.com/strangeloop_stl/status…
1
1
7
shenlanguage retweeted
deech @deech
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
deech @deech
4 Aug 2016
The Book Of Shen chapter on the SECD machine alone makes it worth it.
2
1
5
shenlanguage retweeted
deech @deech
3 Jun 2016
Just found this awesome article on adding typeclasses to Shen. programmingkungfuqi.blogspot…

1
4
6
shenlanguage retweeted
deech @deech
29 May 2016
Fun exercise in adding HLists to Shen. github.com/deech/lambdaconf-…
1
3
8
shenlanguage retweeted
deech @deech
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
deech @deech
15 May 2016
Stepping through the Shen type-checker directly from #emacs! github.com/deech/shen-elisp
5
14
shenlanguage retweeted
Anthony Cowley @a_cowley
29 Apr 2016
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
deech @deech
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

GitHub - deech/shen-elisp

Contribute to deech/shen-elisp development by creating an account on GitHub.

github.com
2
14
22
shenlanguage retweeted
deech @deech
13 Dec 2015
That's a little bleak ... doc.ic.ac.uk/teaching/distin… /cc @shenlanguage
4
7
5
shenlanguage retweeted
deech @deech
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
Tycho @luyben
30 Jun 2015
Writing @meteorjs apps in @shenlanguage WIP atmospherejs.com/tluyben/she…
2
1
TBoS 3rd edition now available fast-print.net/bookshop/1787… groups.google.com/d/msg/qila… #shenlanguage

1
4
4
Load more