2207. adamc (206.169.168.190) –
08 Mar 2005 10:58:48
[ Spring Break! ]
Here's a question for hardcore Twelf fans, assuming some might be reading this:
Is it accurate to say that proving things in Twelf always means writing logic programs? If so, doesn't this bring you much more pain than it's worth, compared to tactic-based theorem provers? Do you think a Twelf expert will be as or more efficient at proving complex theorems as a Coq expert? |
| |
2206. jcreed (pool-151-201-59-13.pitt.east.verizon.net) –
08 Mar 2005 09:09:11
[ Spring Break! ]
Premises go above the bar, conclusions below it, and ridiculous ideas go in it. |
| |
2205. Tom 7 (h-68-166-177-37.phlapafg.dynamic.covad.net) –
08 Mar 2005 08:57:24
[ Spring Break! ]
Nearby we also have "Edinboro" (pronounced phonetically) and "Versailles" (also pronounced phonetically!) There's probably a Washington and a Springfield in every state.
It did eventually rain, though not as hard as I thought it would. |
| |
2204. Arthur (ctwboo101.ctw.utwente.nl) –
08 Mar 2005 02:56:22
[ Spring Break! ]
I didn't know there was a Palestine in Pittsburgh's neighborhood! And a Washington. How many Washingtons would there be in America?
And did it rain yet? |
| |
2203. Tom 7 (h-68-166-177-37.phlapafg.dynamic.covad.net) –
06 Mar 2005 10:36:12
[ NEW: Escape Beta 2! ]
Right, like that. |
| |
|
|
| |
2201. Anonymous (pcd671036.netvigator.com) –
05 Mar 2005 02:53:11
[ FLAMING TEXT ]
yeah what the heck is this |
| |
mjn: I implemented eyedropper as the middle mouse click, so that will be part of the next version, too. I want to reserve right click for something a bit more critical, though I don't know what that is, yet. ;) |
| |
Satyap: You can save yourself from having to resolve 90% of the level by using the 's' and 'r' keys to save and restore a partial solution, respectively. The next version of the game (which may be a while because I've already committed to introducing robots in that version) will have undo (press 'u'), at least if you don't die. It's already in my development copy.
For sharing the player data, you can just copy the satyap.esp (or similar) file between the two machines. The players.esd is just an index of all the players that you have, so once each copy knows about that player, it will just read the .esp file and never needs to be copied.
The next version has switched to a text file format for the player file, which allows for the possibility of merging changes in two places (using diff/patch) or checking the player file into some version control system like CVS, which is what I do. |
| |
2198. Tom 7 (gs82.sp.cs.cmu.edu) –
04 Mar 2005 17:32:30
[ 10,000! ]
I see no Tom 7 music in your top 13,000!! |
| |
2197. Satyap (pcp0010442715pcs.nchrls01.sc.comcast.net) –
04 Mar 2005 13:49:41
[ NEW: Escape Beta 2! ]
Ah, good, you can turn animations off.
Is there an undo button? Like I go uhoh, that's not right, and hit undo, so I don't waste time playing the 90% of the level that I've already done.
Also, I play on two different computers. Is import/export the right way to share the player data? Can I just copy the player.esd file? (I use ssh, and while I could tunnel X I prefer not to.) |
| |
2196. roger (64.95.24.239) –
04 Mar 2005 12:35:13
[ 10,000! ]
EAT IT
http://www.audioscrobbler.com/user/rogerimp |
| |
2195. Tom 7 (h-68-166-177-37.phlapafg.dynamic.covad.net) –
03 Mar 2005 19:50:52
[ News: ESCAPE ]
I dunno, I guess I could make it a setting. It would be best if I could just get it from the damn OS. |
| |
2194. Adam (lynx.auton.cs.cmu.edu) –
03 Mar 2005 16:38:56
[ News: ESCAPE ]
Speaking of keyrepeat, looks like you're using SDL_DEFAULT_REPEAT_DELAY SDL_DEFAULT_REPEAT_INTERVAL, which is (500,30). Pretty slow for DELAY. How about SDL_EnableKeyRepeat(250,SDL_DEFAULT_REPEAT_INTERVAL) instead? |
| |
|
|
| |
2192. Tom 7 (h-67-101-138-165.phlapafg.dynamic.covad.net) –
25 Feb 2005 10:51:57
[ NEW: Escape Beta 2! ]
Picking nose, I'll work on that... |
| |
2191. FARINA00 (host226-98.pool8536.interbusiness.it) –
25 Feb 2005 04:28:31
[ NEW: Escape Beta 2! ]
> Farina: What language is your 3D engine in?
Delphi & Asm. With some fiddling I may port it to Linux via Kylix but that's something I am taking into account for the next engine, not this one. That's why I "see" the TCP way: universal friendship for different languages/platform through low level protocols! |
| |
2190. mjn (pool-68-161-35-244.ny325.east.verizon.net) –
25 Feb 2005 00:45:15
[ NEW: Escape Beta 2! ]
Small feature request: in the level editor, could right-click be used to "pick up" a type of tile from the board, like an eyedropper tool? |
| |
What about 'picking nose' or 'rolling eyes at decision of player'? |
| |
2188. Tom 7 (h-67-101-138-165.phlapafg.dynamic.covad.net) –
25 Feb 2005 00:04:39
[ NEW: Escape Beta 2! ]
Yeah, that is coming! Before that, I need animation for 'pushing' and 'pressing' that are different from just 'walking' and 'standing'! |
| |
2187. Nomad (cache-dtc-ab08.proxy.aol.com) –
24 Feb 2005 23:13:00
[ Space Names! ]
Nebula is a stellar word. |
| |
Aha! Cool. By the way, what about animation for teleports? |
| |
Reuben, I believe I've fixed the linux binaries. |
| |
Farina: What language is your 3D engine in?
Max: I also know about this one. The solution length comes back the next time you go to the load screen from the main menu. |
| |
Hey, I just found a bug, which is technically not really a bug yet since it's from a "hidden feature," but anyway:
When I recover a solution by pressing ctrl+0, it says I solved the level in 1 move and does not display the solution in the level select menu. |
| |