Categories

contents ← prev up next →

Categories

Academia

2013-03-26: How to Write a Good Thesis Proposal

Algebra

2013-10-14: Swapping Folds on the Left and Right

Algorithms

2013-10-29: Addition on Turing Machines

2013-10-23: Solving Sudoku in Racket

2013-07-01: The Skyline Problem in Racket

2013-06-03: Towers of Hanoi in Racket

2013-04-29: Burrows-Wheeler Transform

2013-04-15: A* Search in Racket

2013-04-09: Branch and Bound in Racket

Apple

2012-09-19: Switching from OmniFocus to Org-Mode

2012-09-10: Linux on a MacBook Air and Nvidia Projector Woes

C

2013-09-16: Duff’s Device in Racket

Clojure

2013-05-27: Syntax Parameters and a Threading Macro

Compression

2013-04-29: Burrows-Wheeler Transform

2012-05-22: An LZ78 Implementation

Computer Science

2013-10-29: Addition on Turing Machines

2013-08-12: The Anti-Human Consequences of Static Typing

2013-07-08: What is a Stack?

2013-06-10: Computer Science & Problem Solving

2013-03-26: How to Write a Good Thesis Proposal

Concurrency

2012-07-12: Domain-Specific Operating Systems: Threads, System Calls, and Continuations

2012-07-02: Preemptive Threads with Continuations

2012-06-26: Cooperative Threads with Continuations

Continuation Marks

2012-07-30: Continuation Marks, part III: Marks themselves

2012-07-25: Continuation Marks, part II: Parameters

2012-07-16: Continuation Marks, part I: Dynamic Wind

Continuations

2013-10-07: Saving State with Dynamic Wind

2012-07-30: Continuation Marks, part III: Marks themselves

2012-07-25: Continuation Marks, part II: Parameters

2012-07-16: Continuation Marks, part I: Dynamic Wind

2012-07-12: Domain-Specific Operating Systems: Threads, System Calls, and Continuations

2012-07-02: Preemptive Threads with Continuations

2012-06-26: Cooperative Threads with Continuations

2012-06-18: Delimited Pipes

Coq

2012-10-02: The Multi-language Nirvana

2012-08-20: Church Encoding

CPP

2012-10-02: The Multi-language Nirvana

Culture

2013-02-25: Bugs or Errors?

Data Structures

2013-12-02: Creating Cyclic Data in Racket

Domain-Specific Operating Systems

2012-07-12: Domain-Specific Operating Systems: Threads, System Calls, and Continuations

Education

2013-08-26: Racket Helps Kids Use a Mouse and Keyboard

2013-08-12: The Anti-Human Consequences of Static Typing

2013-06-10: Computer Science & Problem Solving

Efficiency

2013-01-21: The Early Bird Special Schedule

2012-08-06: The Optimal Shower

Emacs

2012-09-19: Switching from OmniFocus to Org-Mode

Errors

2013-02-25: Bugs or Errors?

Family

2013-08-26: Racket Helps Kids Use a Mouse and Keyboard

2013-01-21: The Early Bird Special Schedule

Forth

2013-05-20: Efficient Forth in 85 Lines of Racket

Games

2013-11-28: The Evil Word Game Player

2013-06-17: SRAM Hacking in Racket

2013-05-06: Creating Texture Atlases in Racket

2013-03-19: Player as Programmer III: Rules, Levels, Running, and Multiplayer

2013-03-11: Player as Programmer II: Fun

2013-03-04: Player as Programmer

Go

2013-09-23: Defer, Panic, and Recover in Racket

Graphics

2013-06-03: Towers of Hanoi in Racket

2013-05-06: Creating Texture Atlases in Racket

GUI

2013-05-13: Writing a Vi-like Graphics Editor in Racket

Humanism

2013-08-12: The Anti-Human Consequences of Static Typing

Insanity

2013-09-30: How I wrote my RacketCon 2013 Slideshow

2013-09-16: Duff’s Device in Racket

Lambda Calculus

2012-09-03: System F: Interpreter and Type Checker, HOAS style

2012-08-28: System F: Interpreter and Type Checker

2012-08-20: Church Encoding

Languages

2013-10-29: Addition on Turing Machines

2013-09-30: How I wrote my RacketCon 2013 Slideshow

LaTeX

2013-01-28: LaTeX, Page Counts, and Sub-Documents

2012-06-05: LaTeX and Word Counts

Linux

2012-09-19: Switching from OmniFocus to Org-Mode

2012-09-10: Linux on a MacBook Air and Nvidia Projector Woes

Macros

2013-11-12: The Design Space of Conditionals with Embedded Defines

2013-11-05: Implementing a Short Hand for Rackunit Tests

2013-09-23: Defer, Panic, and Recover in Racket

2013-09-03: Patterns: The Post-Process Pipeline

2013-08-05: Binding Forms in Racket and How to Implement Them

2013-07-22: The Underbelly of Racket Macro Basics

2013-07-15: Symmetry in Function Calls and Returns

2013-06-24: Cascading Switches in Racket

2013-05-27: Syntax Parameters and a Threading Macro

2013-05-20: Efficient Forth in 85 Lines of Racket

2013-02-04: Structures with Macros and Generativity

Make

2013-01-28: LaTeX, Page Counts, and Sub-Documents

2012-10-02: The Multi-language Nirvana

Mathematics

2012-06-05: LaTeX and Word Counts

Morality

2013-02-25: Bugs or Errors?

Nvidia

2012-09-10: Linux on a MacBook Air and Nvidia Projector Woes

Ocaml

2012-10-02: The Multi-language Nirvana

OmniGroup

2012-09-19: Switching from OmniFocus to Org-Mode

OpenGL

2013-05-06: Creating Texture Atlases in Racket

Patterns

2013-09-03: Patterns: The Post-Process Pipeline

Puzzles

2013-10-23: Solving Sudoku in Racket

2012-05-14: A Boggle Solver

2012-05-07: Quilt Colouring

2012-05-07: Professor Layton and the Last Specter, Puzzle #146

2011-06-30: Professor Layton and the Diabolical Box, Puzzle #132

Racket

2013-12-02: Creating Cyclic Data in Racket

2013-11-28: The Evil Word Game Player

2013-11-18: Conway’s Game of Life in Racket

2013-11-12: The Design Space of Conditionals with Embedded Defines

2013-11-05: Implementing a Short Hand for Rackunit Tests

2013-10-23: Solving Sudoku in Racket

2013-10-14: Swapping Folds on the Left and Right

2013-10-07: Saving State with Dynamic Wind

2013-09-30: How I wrote my RacketCon 2013 Slideshow

2013-09-23: Defer, Panic, and Recover in Racket

2013-09-16: Duff’s Device in Racket

2013-09-09: SIQ: Detecting Cyclic Linked Lists

2013-09-03: Patterns: The Post-Process Pipeline

2013-08-26: Racket Helps Kids Use a Mouse and Keyboard

2013-08-19: SIQ: Reversing Strings

2013-08-05: Binding Forms in Racket and How to Implement Them

2013-07-30: SIQ: Kth Element from the End of a List

2013-07-22: The Underbelly of Racket Macro Basics

2013-07-15: Symmetry in Function Calls and Returns

2013-07-01: The Skyline Problem in Racket

2013-06-24: Cascading Switches in Racket

2013-06-17: SRAM Hacking in Racket

2013-06-03: Towers of Hanoi in Racket

2013-05-27: Syntax Parameters and a Threading Macro

2013-05-20: Efficient Forth in 85 Lines of Racket

2013-05-13: Writing a Vi-like Graphics Editor in Racket

2013-05-06: Creating Texture Atlases in Racket

2013-04-29: Burrows-Wheeler Transform

2013-04-15: A* Search in Racket

2013-04-09: Branch and Bound in Racket

2013-04-01: Tree Search in Racket

2013-02-04: Structures with Macros and Generativity

2012-10-02: The Multi-language Nirvana

2012-09-03: System F: Interpreter and Type Checker, HOAS style

2012-08-28: System F: Interpreter and Type Checker

2012-08-20: Church Encoding

2012-08-13: DrDr and its archives

2012-07-30: Continuation Marks, part III: Marks themselves

2012-07-25: Continuation Marks, part II: Parameters

2012-07-16: Continuation Marks, part I: Dynamic Wind

2012-07-12: Domain-Specific Operating Systems: Threads, System Calls, and Continuations

2012-07-02: Preemptive Threads with Continuations

2012-06-26: Cooperative Threads with Continuations

2012-06-18: Delimited Pipes

2012-05-22: An LZ78 Implementation

2012-05-14: A Boggle Solver

2012-05-07: Quilt Colouring

2012-05-07: Professor Layton and the Last Specter, Puzzle #146

2012-03-31: Stupid Interview Questions - Introduction + Reversing a Doubly Linked List

2011-06-30: Professor Layton and the Diabolical Box, Puzzle #132

Semantics

2013-09-23: Defer, Panic, and Recover in Racket

Slideshow

2013-09-30: How I wrote my RacketCon 2013 Slideshow

Software

2013-02-25: Bugs or Errors?

Specification

2013-09-23: Defer, Panic, and Recover in Racket

Stupid Interview Questions

2013-09-09: SIQ: Detecting Cyclic Linked Lists

2013-08-19: SIQ: Reversing Strings

2013-07-30: SIQ: Kth Element from the End of a List

2012-03-31: Stupid Interview Questions - Introduction + Reversing a Doubly Linked List

Systems

2012-08-13: DrDr and its archives

2012-05-28: exec and Tail-call Optimization

Testing

2013-02-25: Bugs or Errors?

Theory

2013-10-29: Addition on Turing Machines

Threads

2012-07-12: Domain-Specific Operating Systems: Threads, System Calls, and Continuations

2012-07-02: Preemptive Threads with Continuations

2012-06-26: Cooperative Threads with Continuations

Type Systems

2013-08-12: The Anti-Human Consequences of Static Typing

Verification

2013-08-12: The Anti-Human Consequences of Static Typing

contents ← prev up next →