Explore >> Select a destination
|
You are here 
|
www.chriswarbo.net | ||
| | | | |
afnan.io
|
|
| | | | | [AI summary] The author explains the basics of lambda calculus, a theoretical model of computation invented by Alonzo Church that serves as the foundation for functional programming languages. | |
| | | | |
blog.jle.im
|
|
| | | | | Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge. | |
| | | | |
acatalepsie.fr
|
|
| | | | | In which I showcase one concrete example where dependent types allow me to turn the handling of different but similar compiler targets into a breeze of fresh air. | |
| | | | |
felix.plesoianu.ro
|
|
| | | [AI summary] The author explores the subjective nature of choosing programming languages, reviewing modern options like Zig and Vala alongside classics such as Ada and Fortran, while analyzing their distinct roles in software development. | ||
