Technical Blog on Lambda Land lambdaland.org

How, Where, and Why I Take Notes

lambdaland.org·94w

Evolving Languages Faster with Type Tailoring

lambdaland.org·96w

Skills That I Needed When I Started My PhD

lambdaland.org·97w

Big Updates to My Blog

lambdaland.org·98w

I Probably Hate Writing Code in Your Favorite Language

lambdaland.org·99w

Lessons From Writing My First Academic Paper

lambdaland.org·100w

Chorex: Guaranteeing Deadlock Freedom in Elixir

lambdaland.org·102w

My Top Emacs Packages

lambdaland.org·103w

Boilerplate Busting in Functional Languages

lambdaland.org·106w

Functional Languages Need Not Be Slow

lambdaland.org·126w

Towards Fearless Macros

lambdaland.org·131w

Why Don't More Languages Have a call/cc Operator?

lambdaland.org·133w

Deriving Recursion from First Principles

lambdaland.org·137w

My Commitment to Intellectual Integrity

lambdaland.org·139w

Implementing Type Systems as Macros

lambdaland.org·79w·Lobsters

Reflections one year into a PhD program

lambdaland.org·146w

Warp Factor Refactoring in Emacs

lambdaland.org·155w

Writing Racket Macros: define-syntax and phases

lambdaland.org·157w

Meta: Update should fix RSS feeds

lambdaland.org·158w

The kind of thinking computer science enables

lambdaland.org·158w

Log in to enable infinite scrolling