Tim Sweeney Archive
Hmmm.
Info
Main site should be found at http://team5150.com/~andrew/sweeney. The format for the site is borrowed from one of the varied themes of the Unreal Developer Network.
Links to the Ontic's Spec have all been replaced with the accurate address (http://ttic.uchicago.edu/~dmcallester/ontic-spec.ps).
Download
If you would like a local copy of the archive (as it contains quite a bit of reading), you may download tims_archive.zip (~330kb).
For lack of a better section to place this, here is Tim's presentation from the Symposium on Principles of Programming Languages: The Next Mainstream Programming Language: A Game Developer's Perspective (pdf). If you don't have PowerPoint and don't want the .pdf, Microsoft's PowerPoint Viewer 2003 will suffice.
Recent Items
- Jun 11, 2008 - (Lambda) On the importance of Turing completeness - Why Turing Completeness?
- Apr 29, 2008 - (Lambda) Automatic Patch-Based Exploit Generation - Ouch
- Apr 25, 2008 - (Lambda) Species: making analytic functors practical for functional programming - Thanks!
- Apr 24, 2008 - (Lambda) Species: making analytic functors practical for functional programming - Confusing
- Mar 13, 2008 - (Lambda) Variation of C's inline conditional - Conditional
- Mar 10, 2008 - (Interview) Unreal creator Tim Sweeney: "PCs are good for anything, just not games"
- Mar 04, 2008 - (Lambda) Pure, Declarative, and Constructive Arithmetic Relations - Retreating from pure Horn clauses
- Feb 18, 2008 - (Lambda) Uniform naming - Dereferencing operators
- Jan 31, 2008 - (Lambda) Arc is released - The mess that is Unicode...
- Jan 30, 2008 - (Lambda) Arc is released - ASCII Only?
- Jan 29, 2008 - (Lambda) The YNot Project - Steps to Practicality
- Dec 07, 2007 - (Lambda) A Growable Language Manifesto - Nice Manifesto
- Dec 04, 2007 - (Lambda) Parametric datatype-genericity - Genericity
- Nov 29, 2007 - (Lambda) foundations for J, APL etc - APL and vector-like data types
- Nov 27, 2007 - (Lambda) Derivation trees for lambda-calculus - Abstract syntax tree
- Nov 10, 2007 - (Lambda) Universal Type System - Turning complete type systems
- Nov 08, 2007 - (Lambda) Universal Type System - Incompleteness vs The Halting Problem
- Nov 07, 2007 - (Lambda) Universal Type System - Universal Type System
- Jul 27, 2007 - (Lambda) Comprehensions with "Order by" and "Group by" - Is there a better way?
- Jul 17, 2007 - (Interview) EVGA Gaming Q&A with Tim Sweeney
- Jul 13, 2007 - (Lambda) Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) - Proof-Carrying Code
