Kakizome: Japanese way of new-years resolution(harimus.github.io)

205 points by NalNezumi 1 year ago | 46 comments

Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com)

564 points by nicolas-siplis 1 month ago | 287 comments

Landing page for Bend, a fast programming language with Python-like syntax, CUDA parallelism, and Lean-style proofs to verify AI-written code.

Abstraction, not syntax(ruudvanasseldonk.com)

94 points by unripe_syntax 1 year ago | 51 comments

The Language That Never Was(blog.celes42.com)

26 points by darthdeus 1 year ago | 1 comments

JSDoc is TypeScript(culi.bearblog.dev)

197 points by culi 10 months ago | 234 comments

`find` + `mkdir` is Turing complete(ogiekako.vercel.app)

376 points by thunderbong 2 years ago | 93 comments

Blog post demonstrating that a system with only GNU find and mkdir is Turing complete, via loops, FizzBuzz, and a Rule 110 implementation.