PROGRAMING

Ask HN: How can I get better at using AI for programming?
463 points | 462 comments

Purrtran – ᓚᘏᗢ – A Programming Language for Cat People
231 points | 35 comments

History of Declarative Programming (2021)
73 points | 22 comments

Dafny: Verification-Aware Programming Language
54 points | 23 comments

Ask HN: Is it still worth learning a new programming language?
16 points | 17 comments

What is the most effective way to learn programming?
8 points | 15 comments

Plans as Data – Typed Functional Programming for Robotic Orchestration
7 points | 0 comments