If you are not sure if the website you would like to visit is secure, you can verify it here. Enter the website address of the page and see parts of its content and the thumbnail images on this site. None (if any) dangerous scripts on the referenced page will be executed. Additionally, if the selected site contains subpages, you can verify it (review) in batches containing 5 pages.
favicon.ico: tromp.github.io - John Tromp HomePage.

site address: tromp.github.io

site title: John Tromp HomePage

Our opinion (on Saturday 10 October 2026 11:04:32 UTC):

GREEN status (no comments) - no comments
After content analysis of this website we propose the following hashtags:



Meta tags:

Headings (most frequently used words):

interests, john, tromp, research, recreational, random, collection, of, www, links, nulkukel,

Text of the page (most frequently used words):
the (16), and (9), tromp (7), game (5), for (4), this (4), john (4), scale (4), github (3), number (3), positions (3), #research (3), been (3), with (3), make (3), can (3), chess (3), setgray (3), translate (3), moveto (3), 270 (3), blog (2), algorithms (2), complexity (2), theory (2), distributed (2), computing (2), recently (2), which (2), legal (2), new (2), form (2), has (2), playing (2), favourite (2), who (2), erdös (2), now (2), dan (2), one (2), used (2), still (2), nice (2), too (2), when (2), under (2), are (2), http (2), dup (2), concat (2), lineto (2), clip (2), fill (2), def (2), 600 (2), showpage (2), arc (2), rlineto (2), replacing (2), here (2), into (2), collection (2), see (2), music (2), other (2), them (2), picture (2), 2017 (2), since (2), phd (2), thesis (2), interests (2), com, email, feed, home, board, games, artificial, intelligence, algorithmic, information, computational, biology, what, not, constructed, efficient, allows, accurate, estimates, more, explored, less, recent, focused, proof, work, system, called, combinatorics, specifically, lambda, calculus, based, courtesy, lecturer, coauthored, papers, both, while, ago, studied, guess, sort, addicted, having, learned, age, reached, rank, hoping, day, occasionally, tempted, play, some, blitz, quite, enjoyable, although, little, difficult, find, partners, your, browser, preview, postscript, have, look, using, ghostview, sure, turn, off, antialias, state, options, colors, won, show, correctly, you, visitor, page, nulkukel, sub, gsave, currentgray, mul, add, pop, closepath, ifelse, grestore, setlinewidth, arcn, exch, stroke, 180, rotate, initclip, signature, share, cwi, office, silicon, valley, hein, roehrig, falk, unger, ronald, wolf, hexpaper, girl, best, friend, java, applet, diamonds, how, divide, square, acute, triangles, hyperdodecahedron, aka, 120, cell, ragnarok, photoalbum, random, www, links, get, idea, taste, like, think, cute, take, peoples, write, absolute, minimum, amount, code, greatly, obfuscating, process, programming, pearls, moved, summer, apartment, building, weather, permitting, love, inline, skating, tempest, 110, rollerblade, early, 90s, fascinated, check, out, design, concept, that, 2005, finally, revived, proud, owner, from, 2000, optima, condor, racer, slightly, different, green, machine, recumbent, bikes, was, student, supervision, thought, doing, instead, ended, working, problems, many, topics, resulted, connect, paul, vitányi, risk, recreational, orimazes, jeffrey, shallit, utterly, simple, computer, model, counting, cuckoo, cycle, numerals, combinatory, logic, ranking, homepage,


Text of the page (random words):
john tromp homepage john tromp research interests board games and artificial intelligence algorithms complexity algorithmic information theory distributed computing computational biology and what not recently i ve constructed an efficient ranking of chess positions which allows for accurate estimates of the number of legal positions more recently i ve explored a new form of numerals in combinatory logic less recent research has focused on a new proof of work system called cuckoo cycle and on the combinatorics of go specifically counting the number of legal positions i ve been playing with a lambda calculus based utterly simple computer model my erdös number is 2 courtesy of jeffrey shallit my favourite cs lecturer who coauthored papers with both me and erdös a while ago i studied the complexity of orimazes recreational interests i guess i m sort of addicted to the game of go 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 chess used to be my favourite game and i can still occasionally be tempted to play some blitz chess a nice game of risk can be quite enjoyable too although it s a little difficult to find 2 or 3 playing partners when i was still a phd student under the supervision of paul vitányi i thought of doing a thesis on the game of connect 4 instead i ended up working on distributed computing problems and many other topics in my phd research which resulted in this thesis since the early 90s i ve been fascinated by recumbent bikes check out this picture of a green machine a design concept that in 2005 has finally been revived in a slightly different form since 2017 i am the proud owner of an m5 m racer replacing my optima condor from 2000 weather permitting i love to go inline skating on my rollerblade tempest 110 here s a picture of the apartment building i moved into summer 2017 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 programming pearls see my music collection to get an idea of my taste in music a random collection of www links photoalbum theory blog ragnarok hyperdodecahedron aka 120 cell here s how to divide a square into acute triangles diamonds are a girl s best friend and make a nice java applet too hexpaper i used to share my cwi office with ronald de wolf and falk unger replacing hein roehrig who is now in silicon valley à è ì ò ù á é í ó ú à è ì ò ù á é í ó ú ö ë ï ü ä α β γ γ δ δ ε ζ η θ θ ι κ λ λ μ ν ξ ξ ο π π ρ σ σ ς τ υ φ φ χ ψ ψ ω ω if your browser can preview postscript have a look at my signature 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 when using ghostview make sure to turn off antialias under state gv options or the colors won t show correctly or this one 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 nulkukel s s k s k s s s s s k k you are visitor of this page home blog feed email github com tromp
Thumbnail images (randomly selected): * Images may be subject to copyright.GREEN status (no comments)

Verified site has: 22 subpage(s). Do you want to verify them? Verify pages:

1-5 6-10 11-15 16-20 21-22


Top 50 hastags from of all verified websites.

Supplementary Information (add-on for SEO geeks)*- See more on header.verify-www.com

Header

HTTP/1.1 200 OK
Connection close
Content-Length 3379
Server GitHub.com
Content-Type text/html; charset=utf-8
Last-Modified Thu, 24 Sep 2026 15:32:14 GMT
Access-Control-Allow-Origin *
ETag W/ 6ab5427e-1c04
expires Sat, 10 Oct 2026 11:14:32 GMT
Cache-Control max-age=600
Content-Encoding gzip
x-proxy-cache MISS
X-GitHub-Request-Id 32A2:E9AFD:416A64:446210:6ACA1BC0
x-github-edge-region uksouth
Accept-Ranges bytes
Age 0
Date Sat, 10 Oct 2026 11:04:32 GMT
Via 1.1 varnish
X-Served-By cache-lcy-egml8630078-LCY
X-Cache MISS
X-Cache-Hits 0
X-Timer S1791630273.794461,VS0,VE99
Vary Accept-Encoding
X-Fastly-Request-ID 2a6e757a12805861971d6ae64986a1bbec778654

Load Info

page size3379
load time (s)0.152845
redirect count0
speed download22230
server IP 185.199.111.153
* all occurrences of the string "http://" have been changed to "htt???/"