Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
chameco | Dark Hacker News
user:
chameco
created:
December 6, 2012
karma:
88
submissions
comments
1.
Literate Theorem Proving with Org (and Proof General)
(chame.co)
8 points
by
chameco
8 years ago
|
1 comment
2.
Show HN: Solid, a scripting language with a tiny VM
(github.com)
63 points
by
chameco
12 years ago
|
15 comments
3.
Hitman - A Markdown parser written in 66 lines of Clojure
(github.com)
3 points
by
chameco
12 years ago
|
0 comments
4.
Show HN: Shade, a language based on C, Go, and Haskell
(github.com)
15 points
by
chameco
13 years ago
|
0 comments