-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathindex.html
147 lines (135 loc) · 6.66 KB
/
index.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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
---
layout: default
title: John Tromp HomePage
---
<A HREF="https://twitter.com/search?q=%23StandWithUkraine"> <IMG SRC="img/Flag_of_Ukraine.svg.png" height="500" border="0"></A>
<TABLE><TR><TD>
<A HREF="img/JOHN.jpg"> <IMG SRC="img/JOHN0.jpg" border="0"></A>
</TD><TD>
<TABLE><TR>
<TD> <a href="http://tromp.github.io/cl/cl.html">
<IMG ALT="[picture of Melo's number]" ALIGN=CENTER SRC="img/cl/melo.png"></a>
</TD></TR><TR><TD>
<H1> John Tromp
</TD></TR><TR><TD>
<a href="http://tromp.github.io/pearls.html">
<img src="img/hilbert.gif" border="0"></a>
</TD></TR></TABLE>
</TD>
<TD>
<A HREF="https://www.ioccc.org/2012/tromp"> <IMG SRC="img/tromp.c.png" border="0"></A>
</TD></TR><TR><TD>
<a href="https://github.com/tromp/ChessPositionRanking">
<IMG ALT="[picture of random position]" ALIGN=BOTTOM SRC="img/2389704906374985477664262349386869232706664089.png"></a>
</TD><TD>
<a href="https://github.com/tromp/cuckoo">
<IMG ALT="[picture of cuckoo cycle]" ALIGN=BOTTOM SRC="img/grin_in_cuckoo.50.png"></a>
</TD>
<TD>
<a href="http://tromp.github.io/go/legal.html">
<IMG ALT="[picture of hard_to_construct]" ALIGN=BOTTOM SRC="img/construct.19x9.png"></a>
</TD>
</TR></TABLE>
<H2>Research Interests</H2>
Board Games and Artificial Intelligence, Algorithms, Complexity, Algorithmic Information Theory, Distributed Computing, Computational biology, and what not.
Recently i've constructed an efficient <a href="https://github.com/tromp/ChessPositionRanking">ranking of chess positions</a>, which allows for accurate estimates of the number of legal positions.
More recently, I've explored a new form of <a href="https://john-tromp.medium.com/sk-numerals-9ad1b5634b28">numerals in Combinatory Logic</a>.
Less recent research has focused on a new Proof-of-Work system called <a href="https://github.com/tromp/cuckoo">Cuckoo Cycle</a>, and on the Combinatorics of Go,
specifically <a href="go/legal.html">counting the number of legal positions</a>.
I've been playing with a Lambda Calculus based
<A HREF="cl/cl.html">utterly simple computer model</A>.
My <A HREF="http://www.oakland.edu/enp">Erdös
number</A> is 2, courtesy of
<A HREF="http://www.cs.uwaterloo.ca/~shallit">Jeffrey Shallit</A>,
my favourite CS lecturer, who coauthored papers with both me and Erdös.
A while ago I studied the complexity of <A HREF="orimaze.html">OriMazes</A>.
<HR>
<H2>Recreational Interests</H2>
I guess I'm sort of addicted to <A HREF="go.html">the game of Go</A>.
Having learned the game at the age of 24,
I've now reached the rank of 2 dan, hoping to one day make it to 3 dan.
<A HREF="chess/chess.html">Chess</A>
used to be my favourite game, and I can still occasionally be tempted
to play some blitz chess. A nice game of
<A HREF="http://en.wikipedia.org/wiki/Risk_(game)">
Risk</A> can be quite enjoyable too,
although it's a little difficult to find 2 or 3 playing partners.
<P>
When I was still a PhD student, under the supervision of
<A HREF="http://www.cwi.nl/~paulv/">Paul
Vitányi</A>,
I thought of doing a thesis on the game of
<A HREF="c4/c4.html">connect-4</A>.
Instead, I ended up working on distributed computing problems,
and many other topics in my PhD research, which resulted in this
<A HREF="thesis.html">thesis</A>.
<P>
Since the early 90s, I've been fascinated by
<A HREF="http://www.ligfiets.net/">recumbent bikes</A>. Check out this picture of
a <A HREF="img/flevo.green.jpg">Green Machine</A>, a design concept that
in 2005 has finally been revived
<A HREF="img/greenmachine-01-500.jpg">in a slightly different form</A>.
Since 2017, I am the proud owner of an <A HREF="img/M-racer_green.jpg">M5 M-racer</A>. replacing my
<A HREF="img/condor.jpg">Optima Condor</A> from 2000.
<P>
Weather permitting, I love to go inline skating on my
<A HREF="http://www.rollerblade.com/skates/">Rollerblade</A> Tempest 110.
<P>
Here's a picture of the <A HREF="img/WiPl.jpg">apartment building</A>
I moved into summer 2017.
<P>
I like to think of cute algorithms (or take other peoples') and
write them in the absolute minimum amount of code, greatly obfuscating
them in the process. See my <A HREF="pearls.html">programming pearls</A>. <P>
See my <A HREF="cds.html">CD collection</A> to get an idea of my taste in music.
<H2>A random collection of WWW-links</H2>
<UL>
<LI>
<A HREF="photos.html">photoalbum</A>.
<LI>
<LI><A HREF="http://weblog.fortnow.com/">Theory Blog</A>
<LI><A HREF="http://www.rag.com/">Ragnarok</A>
<LI><A HREF="https://www.youtube.com/watch?v=MFXRRW9goTs">hyperdodecahedron aka 120-cell</A>
<LI> <IMG ALIGN=top SRC="img/cat.gif"></A>
<LI> <A HREF="http://www.ics.uci.edu/~eppstein/junkyard/acute-square/">
Here's how to divide a square into acute triangles:
<IMG ALT="[picture of my .zig]" ALIGN=right SRC="img/acute.gif"></A>
<LI> <A HREF="java/diamond.html">Diamonds</A> are a girl's best friend.
And make a nice Java applet too:)
<LI>
<A HREF="hexpaper.ps">HEXpaper</A>.
<LI>
I used to share my CWI office with <A HREF="http://www.cwi.nl/~rdewolf/">
Ronald de Wolf</A> and <A HREF="https://www.linkedin.com/in/falk-unger-4a375921/">
Falk Unger</A>, replacing <A HREF="https://www.roehrig.family/hein">
Hein Roehrig</A>, who is now in Silicon Valley.
<LI>
à è ì ò ù á é í ó ú
À È Ì Ò Ù Á É Í Ó Ú
ö ë ï ü ä α β Γ γ Δ δ ε ζ η Θ θ ι κ Λ λ μ ν Ξ ξ ο Π π ρ Σ σ ς τ υ Φ φ χ Ψ ψ Ω ω
</UL>
<CENTER>
<IMG SRC="img/glowbar.gif" ALIGN=bottom>
</CENTER>
If your browser can preview postscript, have a look at my
<A HREF="img/sig.pdf">signature</A>:
<PRE>
%!PS % -John Tromp http://tromp.github.io/
42 42 scale 7 9 translate .07 setlinewidth .5 setgray/c{arc clip fill
setgray}def 1 0 0 42 1 0 c 0 1 1{0 3 3 90 270 arc 0 0 6 0 -3 3 90 270
arcn 270 90 c -2 2 4{-6 moveto 0 12 rlineto}for -5 2 5{-3 exch moveto
9 0 rlineto}for stroke 0 0 3 1 1 0 c 180 rotate initclip}for showpage
</PRE>
(when using ghostview make sure
to turn off Antialias under State/gv Options or the colors won't show
correctly) or <A HREF="img/pinwheel.pdf">this one</A>:
<PRE>
%!PS % -John Tromp http://tromp.github.io/
/t{dup 1 sub gsave dup 0 gt{[.4 .2 -.2 .4 .4 .2]concat t currentgray
.8 mul .2 add setgray -1 1 scale t -1 2 translate t 1 -1 scale t[0 1
1 0 0 2]concat t pop}{0 moveto 1 0 lineto 0 2 lineto closepath clip
fill}ifelse grestore}def 10 10 translate 600 600 scale 5 t showpage
</PRE>
<P>
<H5> nulkukel S S K(S(K(S S(S(S S K))))K) </H5>
You are visitor #<IMG SRC="img/flycount.gif"> of this page:-)