Tony Garnock-Jones
|
7303df46ed
|
Make one's own arrival non-special
|
2017-05-12 16:20:38 -04:00 |
|
Tony Garnock-Jones
|
daa5336bb2
|
Update for newer Network.Socket versions
|
2017-05-12 16:11:17 -04:00 |
|
Tony Garnock-Jones
|
999280176b
|
Good lord, more bugs
|
2017-01-23 13:58:10 -05:00 |
|
Tony Garnock-Jones
|
a8d69e9778
|
Gosh, same bugfix as for python many years ago
|
2017-01-23 13:32:28 -05:00 |
|
Tony Garnock-Jones
|
66c77df742
|
chat.java
|
2017-01-23 13:19:58 -05:00 |
|
Tony Garnock-Jones
|
0645044194
|
Bug fix in python chat impl
|
2013-03-18 18:28:55 -04:00 |
|
Tony Garnock-Jones
|
1d8f4d718c
|
Haskell chat impl
|
2013-03-18 18:28:48 -04:00 |
|
Tony Garnock-Jones
|
355bda15b1
|
Add default-process-height to vm-pictures
|
2012-08-28 11:49:06 -04:00 |
|
Tony Garnock-Jones
|
3b139d0775
|
Customisable space
|
2012-08-27 18:02:59 -04:00 |
|
Tony Garnock-Jones
|
92ee3303c2
|
Support png display in vm-pictures.rkt
|
2012-08-26 17:17:42 -04:00 |
|
Tony Garnock-Jones
|
be0878759f
|
Merge branch 'master' of vapour:racket-matrix
|
2012-08-26 17:08:03 -04:00 |
|
Tony Garnock-Jones
|
123fe6026a
|
vm-pictures.rkt from paper sources
|
2012-08-26 17:07:52 -04:00 |
|
Tony Garnock-Jones
|
c617b03e3c
|
Erlang implementation
|
2012-08-16 16:11:19 -04:00 |
|
Tony Garnock-Jones
|
4ff995615a
|
Rename fake-tcp's tcp-accept to topic->tcp-connection
|
2012-08-15 15:54:37 -04:00 |
|
Tony Garnock-Jones
|
581eafbb11
|
Abbreviation for the paper
|
2012-08-15 15:47:32 -04:00 |
|
Tony Garnock-Jones
|
0c07fb3b0e
|
Introduce "?" as identifier-syntax for "(wild)"
|
2012-08-13 17:06:22 -04:00 |
|
Tony Garnock-Jones
|
412ac6496b
|
Rename kill to quit
|
2012-08-13 16:49:24 -04:00 |
|
Tony Garnock-Jones
|
eeda88d62a
|
Comparable python chat implementation
|
2012-08-13 16:14:25 -04:00 |
|
Tony Garnock-Jones
|
55c35a4f04
|
Presentational tweaks.
|
2012-08-13 14:24:15 -04:00 |
|
Tony Garnock-Jones
|
8788d237f7
|
More cosmetic tweaks
|
2012-08-08 18:23:50 -04:00 |
|
Tony Garnock-Jones
|
fc463db770
|
More cosmetic tweaks
|
2012-08-08 16:48:24 -04:00 |
|
Tony Garnock-Jones
|
e7a630c6e9
|
Cosmetic
|
2012-08-08 16:46:28 -04:00 |
|
Tony Garnock-Jones
|
8576a051a0
|
Smaller font so slightly more width
|
2012-08-08 16:44:38 -04:00 |
|
Tony Garnock-Jones
|
ddfa96d685
|
Inline "speaker" helper function
|
2012-07-30 12:59:17 -04:00 |
|
Tony Garnock-Jones
|
e2d2338137
|
Sensible default for requested-count
|
2012-07-27 09:52:47 -04:00 |
|
Tony Garnock-Jones
|
3a2ea7b026
|
Make nested-vm and ground-vm able to take actions instead of transition, for stateless boot processes
|
2012-07-23 17:42:18 -04:00 |
|
Tony Garnock-Jones
|
1c42aea271
|
Make handlers etc *required* to return a transition structure.
|
2012-07-23 17:38:18 -04:00 |
|
Tony Garnock-Jones
|
7d7cfc9738
|
Make role names optional, and remove role/anon. Remove inessential
role names from apps. Make nested-vm a macro. Shrink
chat-os2-paper.rkt to 40 columns.
|
2012-07-23 15:21:30 -04:00 |
|
Tony Garnock-Jones
|
0a5906e116
|
Exactly the code from the paper
|
2012-07-23 12:12:14 -04:00 |
|
Tony Garnock-Jones
|
5062895429
|
Cosmetic renaming
|
2012-07-23 12:12:00 -04:00 |
|
Tony Garnock-Jones
|
fb6547d0f7
|
Cosmetic: visual indicator of code size
|
2012-07-18 12:13:45 -04:00 |
|
Tony Garnock-Jones
|
c3f27a9e8d
|
Make this a real running program
|
2012-07-18 12:13:12 -04:00 |
|
Tony Garnock-Jones
|
4cab8d3226
|
Totally encapsulate the connection set.
|
2012-07-17 12:15:03 -04:00 |
|
Tony Garnock-Jones
|
68c75d381a
|
Using a thread to (partially) manage the server state
|
2012-07-17 12:07:17 -04:00 |
|
Tony Garnock-Jones
|
c3a95afecf
|
Improve chat-os2.rkt
|
2012-07-17 11:58:39 -04:00 |
|
Tony Garnock-Jones
|
b8b74183b8
|
Make at-meta-level accept a list of actions.
|
2012-07-17 11:58:32 -04:00 |
|
Tony Garnock-Jones
|
732010a40a
|
Entersenate chat-sync.rkt
|
2012-07-17 11:53:14 -04:00 |
|
Tony Garnock-Jones
|
8f897119a9
|
Cope with a wider range of end-of-file-style situations.
|
2012-07-16 17:16:34 -04:00 |
|
Tony Garnock-Jones
|
de5e83f414
|
Cosmetic
|
2012-07-16 17:08:58 -04:00 |
|
Tony Garnock-Jones
|
5fca0d7aac
|
Tweak to presence notification
|
2012-07-16 17:07:42 -04:00 |
|
Tony Garnock-Jones
|
59469d68f8
|
Abbreviated TCP OS2 interface, and two programs to compare.
|
2012-07-16 17:01:56 -04:00 |
|
Tony Garnock-Jones
|
cf4ca5c8bd
|
Make #:state optional in roles
|
2012-07-16 17:01:35 -04:00 |
|
Tony Garnock-Jones
|
50f52283bb
|
role/anon
|
2012-07-16 17:01:16 -04:00 |
|
Tony Garnock-Jones
|
5797a25789
|
Minor corrections and elaborations
|
2012-07-16 09:39:33 -04:00 |
|
Tony Garnock-Jones
|
9791100322
|
Results of pair-programming with Sam yesterday evening
|
2012-07-12 13:25:46 -04:00 |
|
Tony Garnock-Jones
|
7d2d701507
|
os2-tcp-test-bytewise-echo.rkt from 4 July 2012
|
2012-07-12 13:25:35 -04:00 |
|
Tony Garnock-Jones
|
8fd2328532
|
Outline updates
|
2012-07-11 11:57:25 -04:00 |
|
Tony Garnock-Jones
|
913653bba9
|
Wait for credit before closing the connection.
|
2012-07-11 09:40:47 -04:00 |
|
Tony Garnock-Jones
|
07922cec64
|
Talk outline
|
2012-07-11 09:35:20 -04:00 |
|
Tony Garnock-Jones
|
0dc11f7ccb
|
Fix topic pattern in unsubscribe
|
2012-07-09 16:23:35 -04:00 |