Top all-time · #3482
Chris Kohlhepp
Personal blog · chriskohlhepp.wordpress.comprogrammingeconomics
Chris Kohlhepp's personal blog at chriskohlhepp.wordpress.com covers programming and economics. Since 2014, 22 different Hacker News readers have linked it 30 times, most often “The Convergence of Modern C++ on the Lisp Programming Style”. The last post was in 2017, but the archive is still widely read.
Too few sampled comments (7) to say how often HN recommends it.?
Why HN links it
HN readers link this blog for posts on Lisp and Common Lisp, including a compiler-setup post with GADTs and exhaustive pattern matching, a Prolog-based cryptanalysis series, and running Emacs on iOS.
Summarised by Claude from a sample of 7 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Macroeconomics, Robotics & Manufacturing Methods and Systems for an Autonomous Supply Chain Full 3D Metal (Jacket) Printing @HOME Sintering of 3D Printed Metal @HOME Digitally Assisted Micro-Fabrication of Consumer Grade Goods @HOME Quantum Lisp - Manufacturing Constraint Optimisation using
Most-linked posts?
- The Convergence of Modern C++ on the Lisp Programming Style3 people · 3 mentions · first linked 2014-07-14
- A Case Study in “Specification Driven Programming”2 people · 2 mentions · first linked 2017-01-09
- Emacs and OCaml on iPad2 people · 2 mentions · first linked 2019-12-25
- Modern C++ and Lisp Programming Style2 people · 2 mentions · first linked 2017-01-24
- Meta-Circular Adventures in Functional Abstraction – Challenging Clojure2 people · 2 mentions · first linked 2014-05-10
- Cryptanalysis with Reasoning Systems2 people · 2 mentions · first linked 2016-12-16
What Hacker News says?
I don't own any ios device and support for it isn't merged in the repository yet. There are a few git repositories (a bit dated though), regarding building ECL with iPhone[1], and there is a project by Kris Kohlhepp[2] – I've wrote to him recently with the question about patches. If anyone has iOS and will submit a proper PR with some notes about building I'll gladly accept it :-) [1] https://github.com/search?utf8=…
Comment linking /embeddable-common-lisp-on-iphone/
on “LambdaNative”Submitted Modern C++ and Lisp Programming Style as a story · 145 points
HN discussionThis article covers setting up Common Lisp with GADTs and exhaustive pattern-matching checks. https://chriskohlhepp.wordpress.com/metacircular-adventures-... > We note that we get a non-exhaustive match warning at compile time, not run time. This is the behaviour we would expect for example from OCaml. Indeed, in our little game we might change the simple use of keyword symbols to algebraic data types and thus add c…
Comment linking /metacircular-adventures-in-functional-abstraction-challenging-clojure-in-common-lisp/
on “Why ML/OCaml are good for writing compilers (1998)”Submitted Challenging Clojure in Common Lisp (2014) as a story · 124 points
HN discussion> Unfortunately, LISP doesn't quite match [the Von Neumann] architecture, so it has traditionally performed poorly compared to C. Exactly. It has traditionally performed poorly compared to C, but this hasn't been the case for a lot of time. There's a number of misconceptions about what is and what is not a lisp. First of all, a lisp doesn't have to be interpreted or run in a virtual machine. While this is true for a…
Comment linking /advanced-c-lisp/convergence-of-modern-cplusplus-and-lisp/
on “The Bipolar Lisp Programmer (2007)”Submitted The Reasoned Lisper as a story · 120 points
HN discussionSee also https://chriskohlhepp.wordpress.com/reasoning-systems/specif...
Comment linking /reasoning-systems/specification-driven-programming-a-design-pattern/
on “Cryptanalysis with Reasoning Systems”Submitted The Convergence of Modern C++ on the Lisp Programming Style as a story · 97 points
HN discussionAuthor here again: and thank you Tom for your feedback. I'm not the author of Screamer so am not going to defend it's runtime properties. These were not of interest to me and yes I could recode much of what I did in C++ which I am more familiar with than Prolog. I work in low latency trading, so I am happy to take any challenge from Prolog in C++. Bummer would be that I could not publish my solution. The reason Scre…
Comment linking /reasoning-systems/specification-driven-programming-in-common-lisp/
on “Cryptanalysis with Reasoning Systems”Submitted Cryptanalysis with Reasoning Systems as a story · 85 points
HN discussionI was poking around for a GitHub page, a mail address, or a comment feature, but gave up more quickly than you did :-) In the end I now left a comment at the overview post for this series of blog posts at https://chriskohlhepp.wordpress.com/2016/12/06/cryptanalysis... because comments seem to be disabled on the featured post itself.
Comment linking /2016/12/06/cryptanalysis-with-lisp/
on “Cryptanalysis with Reasoning Systems”Submitted Embedding Lisp in C++ – A Recipe as a story · 64 points
HN discussionyou can get even more 'real' and run it natively if you compile it for yourself on a jailbroken device. I'm working on this for arm64 (newer devices) and someone accomplished it ~5 years ago: https://chriskohlhepp.wordpress.com/linux-on-iphone/emacs-oc...
Comment linking /linux-on-iphone/emacs-ocaml-on-ipad/
on “Emacs on the iPhone (2014) [video]”Submitted Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp as a story · 39 points
HN discussionSubmitted The Anatomy of a Puzzle - A Case Study In “Specification Driven Programming” as a story · 21 points
HN discussionSubmitted Java on iPhone and iPad as a story · 6 points
HN discussionSubmitted The Convergence of Modern C++ on the Lisp Programming Style – Part II as a story · 6 points
HN discussionSubmitted The Convergence of Modern C++ on the Lisp Programming Style as a story · 5 points
HN discussionSubmitted The Convergence of Modern C++ on the Lisp Programming Style as a story · 5 points
HN discussionSubmitted Meta-Circular Adventures in Functional Abstraction – Challenging Clojure as a story · 5 points
HN discussionSubmitted The Convergence of Modern C++ on the Lisp Programming Style as a story · 4 points
HN discussionSubmitted A Full Analysis of the 2015 GCHQ Crypto Puzzle as a story · 3 points
HN discussionSubmitted Convergence of modern C++ and Lisp as a story · 3 points
HN discussionSubmitted A Case Study in “Specification Driven Programming” as a story · 2 points
HN discussionSubmitted Emacs and OCaml on iPad as a story · 2 points
HN discussionSubmitted Meta-Circular Adventures – Challenging Clojure in Common Lisp as a story · 2 points
HN discussionSubmitted Linux Applications Now Run on IPad – Collaborators and Co-Authors Sought as a story · 2 points
HN discussionSubmitted The Convergence of Modern C++ on the Lisp Programming Style as a story · 2 points
HN discussionSubmitted Actually making stuff with your 3D printer that people will buy as a story · 1 points
HN discussionSubmitted The Anatomy of a Puzzle as a story · 1 points
HN discussion