The seven programming ur-languages (2021)(madhadron.com)

320 points by surprisetalk 3 years ago | 167 comments

An essay on the madhadron blog arguing that programming languages descend from seven fundamental 'ur-languages' that learners should explore, rather than near-identical mainstream ones.

Totality and non-standard recursion in Idris(franklin.dyer.me)

4 points by franklin_p_dyer 2 years ago | 0 comments

That people produce HTML with string templates is telling us something(utcc.utoronto.ca)

200 points by ingve 3 years ago | 316 comments

Why most of us won't be inventing little languages(slesinsky.org)

82 points by luu 3 years ago | 75 comments

You Are Here(brooker.co.za)

55 points by mltvc 8 months ago | 68 comments

Imagining a language without booleans(justinpombrio.net)

69 points by todsacerdoti 1 year ago | 69 comments

The seven programming ur-languages (2021)(madhadron.com)

320 points by surprisetalk 3 years ago | 167 comments

An essay on the madhadron blog arguing that programming languages descend from seven fundamental 'ur-languages' that learners should explore, rather than near-identical mainstream ones.

Prevent cognitive debt by manually retyping LLM-generated code(ankursethi.com)

502 points by mpweiher 2 months ago | 413 comments

A personal blog post arguing that developers should manually retype code generated by LLM coding assistants to keep understanding it and avoid cognitive debt.

We're gonna need a lot more mathematicians(terrytao.wordpress.com)

358 points by srcreigh 1 month ago | 461 comments

Guest post by Amit Sahai on Terence Tao's blog arguing that the world will need many more mathematicians, reflecting on students who left math due to pace.

Small programming tricks(will-keleher.com)

606 points by signa11 1 month ago | 266 comments

A blog post arguing that small nuggets of programming knowledge boost productivity, sharing examples like fzf-powered ctrl+r and python3 -m http.server.

We Should Be Able to Change Our Languages(jimmyhmiller.com)

48 points by surprisetalk 1 month ago | 24 comments

Jimmy Miller essay arguing programmers should be able to customize and change their programming languages rather than treat them as fixed artifacts.

Writing that changed how I think about programming languages(bernsteinbear.com)

388 points by r4um 1 year ago | 48 comments

A blog post listing papers, posts, and videos on programming languages and compilers that changed the author's thinking, with short commentary on each.