The Curious Engineer

All blogs / Functional / PL theory

Bluish Coder

bluishcoder.co.nz

Programming Languages, Martials Arts and Computers. The Weblog of Chris Double.

Functional / PL theoryOther languagesLisp / Clojure / SchemeCompilers

’05’10’15’20’25
Posts
443 from 4 Nov 2005 to 23 Mar 2026
Posting
now and then (2 in the last year)
Kind
personal blog
Feed
https://bluishcoder.co.nz/atom.xml

2026 2

  1. Building ATS2 from Source in 2026
  2. 2026

2020 2

  1. Fun Factor Libraries
  2. 2020

2019 3

  1. Defining Types in Shen
  2. Getting Started with Mercury
  3. 2019

2018 6

  1. Generalized Algebraic Data Types in ATS
  2. Concurrent and Distributed Programming in Web Prolog
  3. Capturing program invariants in ATS
  4. Writing basic proofs in ATS
  5. Casting in ATS
  6. 2018

2017 15

  1. Cross Compiling ATS Programs
  2. ZeroMe - Decentralized Microblogging on ZeroNet
  3. Using the J Foreign Function Interface
  4. Reference Capabilities, Consume and Recover in Pony
  5. Runtime typing and eval in Alice ML
  6. Distributed Wikipedia Mirrors in Freenet
  7. Installing GNAT and SPARK GPL Editions
  8. Shen Language Port for Wasp Lisp
  9. Exploring 3-Move - A LambdaMOO inspired environment
  10. Introduction to the Freenet API
  11. Relational Programming in Mozart/Oz
  12. Borrowing Internal Pointers in ATS
  13. Transitioning from ATS1 to ATS2
  14. 2017
  15. Running X11 apps in an rkt container

2016 10

  1. Kicking the tires of Shen Prolog
  2. Using Freenet over Tor
  3. Bundling Inferno Applications
  4. Borrowing in Pony
  5. Concurrency in Wasp Lisp
  6. Building Static Wasp Lisp Binaries on Linux
  7. Exploring actors in Pony
  8. Bang, Hat and Arrow in Pony
  9. 2016
  10. Closures in Pony

2015 13

  1. Cross compile Pony programs for Android
  2. C linkable libraries with Pony
  3. Exporting Self objects to source files using the Transporter
  4. Demo of programming in Self
  5. A quick look at the Pony Programming Language
  6. Using Freenet for Static Websites
  7. Building Erlang for Android
  8. Contributing to Servo
  9. Firefox Media Source Extensions Update
  10. Spawning Windows Commands in Wasp Lisp and MOSREF
  11. Decentralized Websites with ZeroNet
  12. 2015
  13. Improving Linux Font Support in Self

2014 14

  1. Using Inferno OS on Linux
  2. Self Benchmarking
  3. Using Freenet
  4. Changing Attributes in Self objects
  5. Revisiting Alice ML
  6. Installing NixOS on Linode with Encrypted Partitions
  7. Update on Tor on Firefox Proof of Concept
  8. Using Tor with Firefox OS
  9. Dual Booting Android and Firefox OS on the Nexus 5
  10. PicoLisp on Android
  11. Firefox Development on NixOS
  12. Installing NixOS on a ThinkPad W540 with encrypted root
  13. 2014
  14. Preventing heartbleed bugs with safe programming languages

2013 17

  1. Multiple Users in a Self World
  2. Running the Self Programming Language on Android
  3. HTML Media support in Firefox
  4. Progress Towards Media Source Extensions in Firefox
  5. Phantom Types in Rust
  6. Linking and calling Rust functions from C
  7. Constructing Proofs with dataprop in ATS
  8. Editing remote files with Acme in Inferno OS
  9. Remote Shells with Inferno OS
  10. Building Wasp Lisp and MOSREF for Android
  11. Ranged integer types and bounds checking
  12. Social Engineering Attempt Warning
  13. Backing up Gmail messages with offlineimap
  14. Running Firefox OS on Nexus S
  15. Parts of this site temporarily down
  16. 2013
  17. An Introduction to using pointers in ATS

2012 17

  1. Inferno OS IRC client with persistent connections
  2. Authentication and Encryption in Inferno OS
  3. Sharing computer and phone resources using Inferno OS
  4. Implementing a stack with proofs in ATS
  5. Safer handling of C memory in ATS
  6. H.264/AAC/MP3 decoding support for Firefox for Android
  7. My mozilla-central git clone is stopping
  8. Lightweight Tasks Library for ATS
  9. Visiting the Pitcairn Island Petroglyphs
  10. Building Inferno OS for Android Phones
  11. ATS library reference
  12. H.264/AAC/MP3 decoding support for Boot To Gecko
  13. Pitcairn Island and Slow Internet
  14. Back from Pitcairn Island
  15. Travelling to Pitcairn Island
  16. 2012
  17. Building and Running Boot To Gecko on the Nexus S

2011 22

  1. Pattern Matching Against Linear Objects in ATS
  2. Using Records and C structs in ATS
  3. Performing Compatible Updates of Mozilla Central Git Forks
  4. Building Rust
  5. Overloading Functions in ATS
  6. WDCNZ HTML Media Presentation
  7. Temporal Media Fragment Support in Firefox
  8. Safe destruction in the presence of sharing in ATS
  9. Namecoin - A DNS alternative based on Bitcoin
  10. Building Mozart/Oz on Windows
  11. Sharing Linear Resources in ATS
  12. Converting C Programs to ATS
  13. My Git Workflow for Mozilla Development
  14. New Wave Audio Backend Landed
  15. A Quick Look at the Rust Programming Language
  16. Bitcoin continues to grow
  17. Linear Datatypes in ATS
  18. Reading data from a file in ATS
  19. Git Conversion of Mozilla Central
  20. WebM Decoder in Flash using Alchemy
  21. 2011
  22. Wasp Lisp Respository Moves to Github

2010 29

  1. Handling POST requests with Ur/Web
  2. Simple Ur/Web Example
  3. Firefox video scaling during YCbCr to RGB conversion
  4. More on type safety using C and ATS
  5. A Short Introduction to Bitcoin - A Peer to Peer Cryptocurrency
  6. Changes to Firefox Video Implementation
  7. Dependent Types in ATS
  8. Experimental Playback Statistics for HTML Video and Audio
  9. Concurrency in ATS
  10. lin and llam with closures
  11. Closures in ATS
  12. Functions in ATS
  13. Safer C Code Using ATS
  14. ATS Preforking Echo Server
  15. VP8, WebM and Firefox
  16. Building Firefox with WebM support
  17. ATS - Applied Type System Programming Language
  18. Fennec on Android
  19. HTML 5 Video Seeking and Redirects
  20. Changes to Firefox YCbCr Color Conversion Code
  21. Vorbis Player implemented in Pure
  22. HTML 5 Video Element for Internet Explorer
  23. Pure Preforking Echo Server Example
  24. Comparing Colour Space Conversion Libraries
  25. On2 Stockholders Approve Google Merger
  26. Dealing with my archived Blogger posts
  27. 2010
  28. Moving away from blogger
  29. LCA 2010 talk about implementing HTML 5 video in Firefox

2009 27

  1. Using the Wasp Lisp Secure Remote Injection Framework (MOSREF)
  2. Wasp Lisp - a Small Scheme-like Lisp
  3. Displaying images with Self
  4. Building and using Self on Linux
  5. Prototype Based Programming Languages
  6. Playing ogg files with audio and video
  7. Decoding vorbis files with libvorbis
  8. Decoding theora files using libtheora
  9. Reading ogg files using libogg
  10. Reading ogg files with javascript
  11. Video for everybody html 5 video
  12. Third party comment engines
  13. Theora encoder improvements
  14. Simple nanojit example
  15. Another tinyvidtv update
  16. Linux link tech show on html 5 audio
  17. Oggplayer simple ogg player using
  18. Very nice web technology demo
  19. Replacing controls using bookmarklet
  20. Tinyvidtv updates
  21. User authentication openid and facebook
  22. Testing facebook connect locally
  23. Fallback options for html5 video
  24. Daily motion olpc and theora
  25. Liboggplay playback performance
  26. 2009
  27. Open media stack video specification

2008 45

  1. File uploads with happs
  2. Random and binary io using iteratees
  3. Not tutorial on happs
  4. Firefogg extension to encode and upload
  5. Srt subtitles with html5 video
  6. Changes to git mirror of firefox
  7. Installing arch linux on asus eee pc
  8. Dynamic compilation and loading of
  9. Video audio and cross domain usage
  10. Tinyvidtv updates
  11. Radio new zealands open source web
  12. Html5 video and audio spec changes
  13. Recent video updates
  14. Video element update
  15. Playing blues on ukulele
  16. Html 5 video element examples
  17. Revisiting linear recursion combinator
  18. Left fold enumerator for io
  19. Factor web framework example
  20. New zealand open source awards
  21. Javascript space invaders emulator
  22. Theora video backend for firefox landed
  23. Video bling
  24. Video and audio element patch has
  25. Parsing javascript with factor
  26. Firefox html5 video and audio update
  27. Tamarin documentation
  28. Extending tamarin tracing with forth
  29. Quick introduction to tamarin tracing
  30. Implementing native methods in tamarin
  31. Svg animation update
  32. Firefox svg animation patch
  33. Seaside with xul
  34. Html5 video on n810
  35. Factor parsing dsl
  36. Collection of factor articles in pdf
  37. Firefox html5 video with gstreamer
  38. Building firefox video element backends
  39. Refactoring of firefox html video
  40. Building actionscript compiler for
  41. Linux support for video element patch
  42. Video element progress
  43. Bounty day 2008
  44. 2008
  45. Building firefox from git repository

2007 69

  1. Video element and ogg theora
  2. New enabled experimental firefox builds
  3. Ukulele revival
  4. Embedded grammars in factor
  5. Writing web applications in factor
  6. Opera has new video enabled build
  7. Ecmascript 4 reference implementation
  8. Ikarus scheme native code compiler for
  9. Javascript packrat parser
  10. Kapono international ukulele festival
  11. Cyclone safe dialect of c
  12. Ecmascript 4 overview paper
  13. Theora needs msvc compatible inline
  14. Javascript parser combinators
  15. Svg video demo
  16. Standard ml to javascript compiler
  17. Firefox video element patch version 5
  18. How to publish git repository
  19. Vodka interesting concurrent language
  20. Erlang on openmoko cellphone
  21. Distributed channels in factor
  22. Git binary files and cherry picking
  23. Concurrent channels for factor
  24. Dave winer visits mozilla
  25. Firefox video element patch version 4
  26. Using factory window manager on mac os
  27. Mozilla based browser for n800
  28. Firefox video element patch version 2
  29. Javascript on server
  30. Superhappydevhouse aotearoa
  31. Building video element enabled firefox
  32. Patch for video element support in
  33. Viewing firefox cvs changes via gitweb
  34. Using git to track firefox cvs
  35. Html 5 video javascript wrapper
  36. Ecmascript edition 4 reference
  37. Asynchronous javascript
  38. Wellington international ukulele
  39. New javascript features in firefox
  40. Google gears for offline web
  41. Support for html video element in
  42. Offline zimbra with firefox
  43. More on firefox offline web app
  44. Mix of many things
  45. Another offline web application
  46. Ogg theora support for factor
  47. Factor article manager source
  48. Factor space invaders updated
  49. Ogg vorbis support for factor
  50. Dynamic code generation and image
  51. Factor on windows mobile 5
  52. Factor to javascript compiler makeover
  53. Factor compiler transforms and shuffle
  54. Installing zimbra on ubuntu 610
  55. Concurrency via generators in
  56. Firefox 3 talk at kiwi foo camp
  57. Lunar rescue emulator
  58. Emulating other intel 8080 based
  59. Space invaders gets sound
  60. Openal library wrapper for factor
  61. Zimbra development with eclipse
  62. Article management system
  63. Parser combinators
  64. Json web services with factor
  65. Odbc interface for factor
  66. Erlang and mobile phones
  67. Implementing concatenative words with
  68. 2007
  69. Basic authentication added to factor

2006 133

  1. Factor pattern matching additions
  2. Search and replace with parser
  3. Cross domain json with fjsc
  4. Continuations added to fjsc
  5. Factor to javascript compiler updates
  6. Parser combinator enhancements
  7. Factor interface to google search
  8. Compiling factor to javascript
  9. Factor gets xml rpc
  10. Propeller forth
  11. Factor parser combinator example
  12. Ruby on symbian cellphones
  13. Gambit scheme on nintendo ds
  14. Factor 086 released
  15. Writing lisp interpreter in haskell
  16. Compilers and interpreters in factor
  17. Narrative javascript beta 1 released
  18. Factor 085 released
  19. Flapjax
  20. Online poker in jeopardy
  21. Futures and promises in javascript
  22. More on jwacs
  23. Lazy file reading in factor
  24. Factor code to upload to s1 mp3 player
  25. Writing your own mp3 player firmware
  26. Factor lazy lists revisited
  27. Javascript with advanced continuation
  28. Serializable gadgets
  29. Pattern matching in factor
  30. Factor 084 is out
  31. Distributed concurrency in factor
  32. Object serialization with factor
  33. Transterpreter source available
  34. Cells style gadget updating in factor
  35. Json parser for factor
  36. Factor web framework
  37. Factor libraries updated
  38. Slipwave javascript libraries
  39. Trapexit is back
  40. Scala futures and lazy evaluation
  41. Javascript continuation based
  42. Scala and actors
  43. Python implemented in common lisp
  44. Lightweight erlang with package
  45. Ocsigen ocaml based web framework
  46. Little smalltalk and javascript for
  47. Lightweight threads with narrative
  48. Html template languages
  49. Unenterprisey languages going strong
  50. More on ajax and server push
  51. Real time wiki
  52. Playing around with minix
  53. Unenterprisey languages meeting
  54. Migrating javascript threads
  55. Associative arrays and javascript
  56. Termite distributed scheme released
  57. Phobos available for download
  58. Mt vic dojo open day kyokushin karate
  59. Minix and haskell
  60. E4x with server side javascript
  61. More concurrency in narrative
  62. Javascript 17
  63. Partial continuations and narrative
  64. Narrative javascript
  65. Server side javascript
  66. Hop web application system
  67. Amazon s3
  68. Seaside for dolphin smalltalk
  69. Python to javascript
  70. Continuation based web servers
  71. Script c to javascript compiler
  72. Handling x forwarded for in yaws
  73. Icing scheme continuation based web
  74. Extending prototypes of built in
  75. Back in wellington
  76. Squeak morphic in browser
  77. Linspire to use haskell
  78. Continuations with mono
  79. Avi follows up on continuation debate
  80. Seaside for dolphin smalltalk coming
  81. Rhino in spring
  82. No continuations for jvm
  83. Google web toolkit
  84. Dojo and spidermonkey
  85. Melbourne bound
  86. Playing with happs
  87. Why scheme javascript jit doesnt work
  88. San francisco bound
  89. Lightweight threads in browser
  90. Scheme implementation in javascript
  91. Port seaside to vast
  92. Unifying events and threads in haskell
  93. Source for unify available
  94. Space invaders emulator in haskell
  95. Links web programming without tiers
  96. Javascript partial continuations
  97. Jack dempsey
  98. Building wxfruit and yampa with ghc
  99. Haskell gameboy emulator
  100. Zoomin nz mapping web application
  101. Jhc optimizing haskell compiler
  102. Siscweb v033 announced
  103. Pushing events from server to browser
  104. Haskell application server happs
  105. Haskell filesystem
  106. Icfp programming contest 2006
  107. Factor and computer language shootout
  108. Generators in common lisp
  109. Patent on continuation based web
  110. Factor partial continuation updates
  111. Dabbledb on techcrunch
  112. Augment
  113. Partial continuations and factor
  114. Io garbage collector
  115. Erlang smp benchmarks
  116. Erlang smp support
  117. Dabbledb under radar
  118. Rodney kings crazy monkey non
  119. Alan kay on lisp
  120. Blackdog competition winner
  121. Free hosting for seaside web
  122. Jaws erlang web framework
  123. Javascript and generators
  124. Concurrency
  125. Observers erlang and server push
  126. Uptick resurrected
  127. Gecode constraint development
  128. Blogger categories
  129. Polyphasic sleeping
  130. Backbase livegrid and datagrid
  131. 2006
  132. Haskell and erlang
  133. Collection of lisp articles

2005 19

  1. Real world haskell part 2
  2. Factor help system
  3. Delicious problems
  4. Porting duim to common lisp
  5. Factor website changes
  6. Where did my fitness go
  7. 64bit factor
  8. Rewriting reddit
  9. Code replacement in erlang
  10. Why rewrite reddit
  11. Solution watch reviews dabbledb
  12. Reddit rewritten in
  13. Obfuscated erlang
  14. 2005
  15. Trap exit
  16. Ivy programming language
  17. Goodbye radio userland
  18. Erlang and yaws on the blackdog
  19. Blackdog