Noteworthy

Noteworthy ⊆ Blog Posts

• 23 Oct 2009 » Installing Ubuntu with a graphical installer using tftp, dhcpd, and nfs
• 19 Aug 2009 » Is my Server Back Up yet?
• 16 Aug 2009 » A Twitter Bookmarklet that Doesn't Suck
• 01 Aug 2009 » Javascript Aho-Corasick String Search Algorithm

Blog Posts

• 28 Jul 2010 » Tweetdeck, Echofon to get User Streams betas
• 01 Jul 2010 » RSSfall 2.0
• 04 Dec 2009 » Superfeedrfall
• 23 Nov 2009 » If you're forgetful, Things iPhone sync is useless
• 21 Nov 2009 » Core i7 27" iMac Impressions
• 20 Nov 2009 » Weird font corruption on Aion at high resolutions?
• 16 Nov 2009 » Using Jekyll and Git to Blog
• 23 Oct 2009 » Installing Ubuntu with a graphical installer using tftp, dhcpd, and nfs
• 07 Oct 2009 » Google Wave issues
• 06 Oct 2009 » Google Attempts to Explain what a Web Browser is
• 10 Sep 2009 » RSSFall - what Realtime RSS looks like
• 03 Sep 2009 » Lifehacker performs Browser Speed Tests
• 02 Sep 2009 » Twitter Tracking Links again?
• 19 Aug 2009 » Is my Server Back Up yet?
• 16 Aug 2009 » A Twitter Bookmarklet that Doesn't Suck
• 01 Aug 2009 » Javascript Aho-Corasick String Search Algorithm

Lecture Notes

• 07 Jun 2010 » RTS » Revision Notes
• 27 May 2010 » NLP » Distributional Clustering
• 25 May 2010 » NLP » WotrdNets and Lexical Relations
• 25 May 2010 » NLP » Compositional Semantics
• 17 May 2010 » NLP » Revision Notes
• 12 May 2010 » RTS » Worst Case Execution Time (and more)
• 11 May 2010 » NLP » Phrasal Categories and Subcategorisation
• 11 May 2010 » RTS » More Scheduling
• 04 May 2010 » RTS » Scheduling Real-Time Systems
• 16 Apr 2010 » CRY » Revision Notes
• 21 Mar 2010 » CGO » Revision Notes
• 19 Mar 2010 » CGO » Optimisation
• 09 Mar 2010 » CRY » Public Key Encryption
• 04 Mar 2010 » CGO » Tree-based languages (continued?)
• 04 Mar 2010 » CGO » Liveness Analysis
• 02 Mar 2010 » RTS » Programming Real-Time Abstractions in Ada
• 26 Feb 2010 » CGO » Code Generation
• 25 Feb 2010 » CGO » Intermediate Languages
• 24 Feb 2010 » CRY » Zero knowledge protocols
• 23 Feb 2010 » RTS » Delays and Timeouts
• 19 Feb 2010 » RTS » Time and Clocks
• 19 Feb 2010 » CGO » Garbage Collection 2
• 18 Feb 2010 » RTS » Low-Level Programming in Ada
• 17 Feb 2010 » CRY » Power Attacks
• 16 Feb 2010 » CRY » Non-standard search approaches to design
• 16 Feb 2010 » CRY » Attacking the Implementation (and timing attacks)
• 12 Feb 2010 » RTS » Resource Control and Requeue in Ada
• 12 Feb 2010 » CGO » Memory Organisation and Procedure Call Protocol
• 11 Feb 2010 » CGO » Data Representation
• 11 Feb 2010 » RTS » Asynchronous Notification in the RTSJ
• 10 Feb 2010 » CRY » Brute Force and Sophistication
• 09 Feb 2010 » RTS » Asynchronous Notification and ATC in Ada
• 05 Feb 2010 » CGO » Attribute Grammars
• 04 Feb 2010 » RTS » Ada's Protected Objects
• 02 Feb 2010 » RTS » Shared Memory Communication and Java's Synchronized Methods
• 29 Jan 2010 » CGO » More on Scoping. Type Checking
• 29 Jan 2010 » RTS » Ada Tasks and Java Threads
• 26 Jan 2010 » RTS » Exception Handling
• 26 Jan 2010 » CRY » Divide and Conquer Attacks
• 26 Jan 2010 » CRY » Boolean Functions
• 22 Jan 2010 » RTS » Reliability and Fault Tolerance
• 21 Jan 2010 » CRY » Stream Ciphers part A
• 21 Jan 2010 » RTS » Introduction to Ada and Java
• 19 Jan 2010 » RTS » Introductory Lecture
• 14 Jan 2010 » FSS » State Based to Trace Based, an example
• 31 Dec 2009 » FUN » Answering Exam Questions
• 22 Dec 2009 » FSS » Some notes on refinement
• 21 Dec 2009 » FUN » Interactive Haskell programs, a primer
• 15 Dec 2009 » FSS » The Exam Lecture
• 15 Dec 2009 » FUN » Proving Equivalences
• 08 Dec 2009 » FUN » Instantiation and Strictness
• 08 Dec 2009 » FSS » Backward Refinement
• 07 Dec 2009 » FSS » Constructing a State Based model in Alloy
• 01 Dec 2009 » FUN » Program Transformation
• 01 Dec 2009 » AGM » More Gibbs Sampling
• 01 Dec 2009 » FUN » A Propositional Simplifier
• 30 Nov 2009 » AGM » Gibbs Sampling
• 24 Nov 2009 » AGM » Rejection and importance sampling
• 24 Nov 2009 » FUN » Interactive Functional Programs
• 23 Nov 2009 » AGM » Message Passing in a Join Forest
• 20 Nov 2009 » FSS » Trace-Based Specifications
• 17 Nov 2009 » FUN » Infinite Data Structures
• 17 Nov 2009 » AGM » Decomposable Models and Join Forests
• 13 Nov 2009 » FSS » Determinism and non-determinism
• 10 Nov 2009 » FUN » Removing Pointless Code
• 09 Nov 2009 » AGM » Variable Elimination
• 03 Nov 2009 » FUN » Locality
• 03 Nov 2009 » FUN » Higher Order Functions
• 03 Nov 2009 » AGM » Conditional Independence in Factored Distributions
• 30 Oct 2009 » FSS » Checking Properties
• 23 Oct 2009 » FSS » Alloy Syntax Stuff