MIT in Anime
A non-profit MIT student organization dedicated to increasing the awareness of anime, or Japanese animation, in the MIT community and the general public.
Source: mit.edu
Lambda Calculus News Today : Breaking News, Live Updates & Top Stories | Vimarsana
Stay updated with breaking news from Lambda Calculus. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.
Top News In Lambda Calculus Today - Breaking & Trending Today
Shtetl-Optimized » Blog Archive » The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me
I've supervised a lot of great student projects in my nine years at MIT, but my inner nerdy teenager has never been as personally delighted by a project as it is right now. Today, I'm proud to announce that Adam Yedidia, a PhD student at MIT (but an MEng student when he did most of this work),…
Source: scottaaronson.blog
JuLox: What I Learned Building a Lox Interpreter in Julia
Design walk-though, opinions, and learnings from implementing Robert Nystrom's Lox language from his Crafting Interpreters book.
Source: lukemerrick.com
LambdaLisp - A Lisp Interpreter That Runs on Lambda Calculus
A Lisp interpreter written as an untyped lambda calculus term
Source: woodrush.github.io
Learn You an Agda
This is a markdown version of the tutorial Learn You an Agda and Achieve Enlightenment! by Liam O’Connor-Davis. I made this version for my own …
Source: williamdemeo.github.io