#programming languages
4 stories
AI Breaks Intellectual Communities
AI dissolves human intellectual communities, making private intellectual activity rarer.
Fernando Borretti · 1m
Justice for CSS
CSS deserves respect as a serious programming language, not dismissal as mere decoration.
WIRED · 2m
Why 2 + 2 = 4 is a type, not a boolean
Lean treats every logical claim as a type you must build a value for, and that one shift lets you pass proven facts around a program.
Overreacted · 4m
Logo: a programming language built for learning
Logo was designed backwards from how kids learn, and every feature in it follows from that one decision.
Mit · 2m