-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathtodo.html
51 lines (38 loc) · 1.02 KB
/
todo.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
<HTML>
<HEAD>
<TITLE>Things to do</TITLE>
</HEAD>
<BODY>
Ride this puppy
<BR>
<IMG SRC="img/M-racer_green.jpg">
<BR>
through Holland.
<p>
Develop Cuckoo Cycle
<IMG ALT="[picture of cuckoo cycle]" ALIGN=BOTTOM SRC="img/cuckoo.50.png"></a>
<p>
Port favorite sliding puzzle game "antivirus" to android.
<p>
Prepare another International Obfuscated C Code Contest entry.
<p>
Improve bounds on number of chess positions.
<p>
Implement Proof Number Search in Fhourstones connect-4 solver.
<p>
Implement memory-only version of golegal Go position counter to run on HP Superdome with 24TB of DRAM.
<p>
Read Homotopy Type Theory.
<p>
Develop BLC backend for baskell (Bernard Pope's simplified version of Haskell).
<p>
Extend Binary Lambda Calculus paper and submit to a journal.
<p>
Do the Matasano Crypto Challenges.
<p>
Get nostalgic reviving old ZX Spectrum and Commodore Amiga computers.
<HR>
Back to my <A HREF="http://tromp.github.io/">home page</A>. <BR>
<a href="mailto:[email protected]">[email protected]</a>
</BODY>
</HTML>