aindilis (@aindilis) 's Twitter Profile
aindilis

@aindilis

ID: 14369972

calendar_today12-04-2008 17:33:42

99 Tweet

36 Followers

92 Following

aindilis (@aindilis) 's Twitter Profile Photo

Solved a serious and annoying issue with the AI, the central theorem prover was not returning all answers as needed, found a binding limit.

aindilis (@aindilis) 's Twitter Profile Photo

Doug Lenat's sources for AM (and EURISKO+Traveller?) found in public archives news.ycombinator.com/item?id=384136… #cyc #am #eurisko #cycorp #douglenat

aindilis (@aindilis) 's Twitter Profile Photo

Everyone deserves the freedom to connect & communicate. Don't let corporations stand in the way. Fund the fight: ow.ly/jtrrR

aindilis (@aindilis) 's Twitter Profile Photo

The clock is ticking for net neutrality—join the #InternetCountdown and help win this fight! battleforthenet.com pic.x.com/68WqRQ4PmT

aindilis (@aindilis) 's Twitter Profile Photo

lzweb: how to script the default gnome window manager (gtk- something) from a shell? change virtual desktop from shell script.

aindilis (@aindilis) 's Twitter Profile Photo

git push taking forever, accidentally commited some large files, need to see what it is planning on pushing --dry-run, how to see filenames?