Cedille, a Language Based on Calculus of Dependent Lambda Eliminations
2020-01-19
On Preventing Programming Languages from Interfering with Programming (1975) [pdf]
2020-01-19
How refactoring a macro reduced my Rust project build time from 4 hours to 40sec
2020-01-19
Find Investors, Friends, Recruiting Leads, and More Directly from Your Twitter
2020-01-19
Machine Learning Needs a Langlands Programme
2020-01-19
A Shallow Introduction to the K Programming Language
2020-01-19
Categorical Semantics for Array Programming Languages (2007) [pdf]
2020-01-19
Growing a Language (1998) [pdf]
2020-01-19
Windows 10 vs. Mac, what is better to avoid telemetry privacy issues?
2020-01-19
Police Praise Smart Streetlights, Critics Want More Oversight
2020-01-19