Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides
ELIZA
brajeshwar.com·1d
From building ships to shipping builds: how to succeed in making a career switch to software development
ounapuu.ee·1h
Summary of reading: April - June 2025
eli.thegreenplace.net·3h
Brent Yorgey: Competitive programming in Haskell: prefix sums
byorgey.github.io·4d
AlynxZhou/showmethekey
github.com·20h
Automated Defect Identification and Categorization in NDE 4.0 with the Application of Artificial Intelligence
arxiv.org·53m
Prediction Gaps as Pathways to Explanation: Rethinking Educational Outcomes through Differences in Model Performance
arxiv.org·53m
Loading...Loading more...