Semantics and scheduling for machine knitting compilers (2023)(textiles-lab.github.io)

45 points by fanf2 2 years ago | 16 comments

λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

“Why not just use Lean?”(lawrencecpaulson.github.io)

283 points by ibobev 6 months ago | 194 comments

Learning Programming in an Age of LLMs(blog.ploeh.dk)

215 points by moneroloop2018 1 month ago | 167 comments

Adventures in Symbolic Algebra with Model Context Protocol(stephendiehl.com)

105 points by freediver 1 year ago | 26 comments

Why Janet? (2023)(ianthehenry.com)

424 points by yacin 4 months ago | 231 comments

Ian Henry's 2023 blog post arguing why programmers should try Janet, a small Lisp dialect, and promoting his free book about it.