Submissions from chriskohlhepp.wordpress.com

		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

HN For You