| | A Case Study in “Specification Driven Programming” (chriskohlhepp.wordpress.com) |
|
2 points by joisig on Nov 13, 2021 | past
|
|
| | Emacs and OCaml on iPad (chriskohlhepp.wordpress.com) |
|
2 points by lin0tune on Jan 3, 2020 | past
|
|
| | Actually making stuff with your 3D printer that people will buy (chriskohlhepp.wordpress.com) |
|
1 point by chriskohlhepp on March 1, 2018 | past
|
|
| | Modern C++ and Lisp Programming Style (chriskohlhepp.wordpress.com) |
|
145 points by oumua_don17 on March 22, 2017 | past | 82 comments
|
|
| | Cryptanalysis with Reasoning Systems (chriskohlhepp.wordpress.com) |
|
85 points by saycheese on Jan 8, 2017 | past | 20 comments
|
|
| | Challenging Clojure in Common Lisp (2014) (chriskohlhepp.wordpress.com) |
|
124 points by krat0sprakhar on Jan 8, 2017 | past | 75 comments
|
|
| | A Full Analysis of the 2015 GCHQ Crypto Puzzle (chriskohlhepp.wordpress.com) |
|
3 points by junke on Dec 16, 2016 | past
|
|
| | The Reasoned Lisper (chriskohlhepp.wordpress.com) |
|
120 points by chriskohlhepp on Dec 16, 2015 | past | 7 comments
|
|
| | The Anatomy of a Puzzle - A Case Study In “Specification Driven Programming” (chriskohlhepp.wordpress.com) |
|
21 points by raphaelss on Oct 27, 2015 | past
|
|
| | The Anatomy of a Puzzle (chriskohlhepp.wordpress.com) |
|
1 point by raphaelss on Oct 26, 2015 | past
|
|
| | Java on iPhone and iPad (chriskohlhepp.wordpress.com) |
|
6 points by chriskohlhepp on Oct 1, 2014 | past | 2 comments
|
|
| | Embedding Lisp in C++ – A Recipe (chriskohlhepp.wordpress.com) |
|
64 points by ingve on Sept 17, 2014 | past | 10 comments
|
|
| | The Convergence of Modern C++ on the Lisp Programming Style – Part II (chriskohlhepp.wordpress.com) |
|
6 points by juliangamble on Aug 30, 2014 | past
|
|
| | [dupe] The Convergence of Modern C++ on the Lisp Programming Style (chriskohlhepp.wordpress.com) |
|
5 points by frostmatthew on Aug 29, 2014 | past
|
|
| | [dupe] The Convergence of Modern C++ on the Lisp Programming Style (chriskohlhepp.wordpress.com) |
|
5 points by xngzng on Aug 17, 2014 | past
|
|
| | Convergence of modern C++ and Lisp (chriskohlhepp.wordpress.com) |
|
3 points by HerrMonnezza on July 14, 2014 | past
|
|
| | Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp (chriskohlhepp.wordpress.com) |
|
39 points by juliangamble on July 12, 2014 | past
|
|
| | Meta-Circular Adventures in Functional Abstraction – Challenging Clojure (chriskohlhepp.wordpress.com) |
|
5 points by mck- on May 22, 2014 | past
|
|
| | Meta-Circular Adventures – Challenging Clojure in Common Lisp (chriskohlhepp.wordpress.com) |
|
2 points by juliangamble on May 10, 2014 | past
|
|
| | Linux Applications Now Run on IPad – Collaborators and Co-Authors Sought |
|
2 points by chriskohlhepp on April 23, 2014 | past
|
|
| | The Convergence of Modern C++ on the Lisp Programming Style (chriskohlhepp.wordpress.com) |
|
97 points by effdee on April 20, 2014 | past | 75 comments
|
|
| | The Convergence of Modern C++ on the Lisp Programming Style (chriskohlhepp.wordpress.com) |
|
2 points by jgrant27 on April 10, 2014 | past
|
|
| | The Convergence of Modern C++ on the Lisp Programming Style (chriskohlhepp.wordpress.com) |
|
4 points by levosmetalo on April 10, 2014 | past
|
|
