uros643 的提交内容

The Essence of Dependent Object Types

Levels of code in Forth programming (2002)

Making the Ugly Elegant: Templating With DOM

Why Hypercard Had to Die

Chrome extension: Jailbreak the Patriarchy

Crowdfunding for new Common Lisp portability layer: Madeira

A Skeleton Key to the Voynich Manuscript

Slavoj Žižek on Intellectual Property [video]

Why Skin-Deep Correctness Isn't, and Foundations Matter

Red Programming Language

What Will Be A Luxury in the Future? Everything Except Final Cut Pro

Fat Pointers

The L Programming Language & System

Multiply Loyal Computers: Capabilities as alternative to Disneyfication

Taming the Consumer's Computer [2002]

John Siracusa and Dan Benjamin on high-level programming languages [podcast]

What's a condition system and why do you want one?

Constructive deconstruction of subtyping

Capability Theory by Sound Bytes

Partial Evaluation and Automatic Program Generation

Don't Mode Me In

The Secret Art of Futamura Projection

Rethinking Compiler Design

The Many Faces of OOP