Posts By: Geoffrey Irving
| Date | Post | Topic |
| 08/13/2009 | Computers cannot work | Perl Cannot Be Parsed: A Formal Proof |
| 08/11/2009 | One attempt | The End of the GPU Roadmap |
| 08/11/2009 | Open source | The End of the GPU Roadmap |
| 08/11/2009 | Laziness should be a separate type | The End of the GPU Roadmap |
| 05/31/2009 | Point free style and ESN | Going functional on exotic trades |
| 04/16/2009 | Containers? | Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time |
| 01/03/2009 | O(n log^2 n)? | The Genuine Sieve of Eratosthenes |
| 01/10/2009 | Oops: O(n^1.5 / log^3 n) | The Genuine Sieve of Eratosthenes |
| 03/29/2008 | enforcing taste | The Disciplined Disciple Compiler |
| 02/21/2008 | substitutability | When Is A Functional Program Not A Functional Program? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |