Tony Garnock-Jones
acc4def15f
Tweak print stylesheet
2018-09-24 10:36:10 +01:00
Tony Garnock-Jones
0120875d15
Print makefile
2018-09-23 22:56:41 +01:00
Tony Garnock-Jones
935ac403b4
Tweaks for Chrome and for print
2018-09-23 22:56:36 +01:00
Tony Garnock-Jones
8c501a6591
Fixes
2018-09-23 22:44:43 +01:00
Tony Garnock-Jones
7dee4c9b35
Progress
2018-09-23 22:35:00 +01:00
Tony Garnock-Jones
8cecaec69b
Many improvements
2018-09-23 18:14:58 +01:00
Tony Garnock-Jones
9883d2bc5f
move codec.md together with preserve.md
2018-09-23 14:39:46 +01:00
Tony Garnock-Jones
efd6bc72ea
codec.md draft
2018-09-23 14:39:02 +01:00
Tony Garnock-Jones
2b44d82c37
preserve.md based on codec.md which I'm about to check in
2018-09-23 14:37:20 +01:00
Tony Garnock-Jones
2dc829229d
assertions.js and WIP skeleton.js
2018-09-10 10:47:10 +01:00
Tony Garnock-Jones
a383b6703a
Transferred from syndicate/js
2018-09-09 18:13:57 +01:00
Tony Garnock-Jones
a24475c707
Step zero of work toward imperative-syndicate/js
2018-09-09 18:12:50 +01:00
Tony Garnock-Jones
181e6a87a0
sqlite driver
2018-08-29 15:03:12 +01:00
Tony Garnock-Jones
8e88d4643c
Rename codec --> preserve
2018-08-27 10:24:11 +01:00
Tony Garnock-Jones
a1c9af708d
Explore struct inheritance
2018-08-21 10:54:17 +01:00
Tony Garnock-Jones
710029ea9b
Better codec
2018-08-19 22:13:42 +01:00
Tony Garnock-Jones
03dad81a49
Improve multicast protocol
2018-08-19 17:54:32 +01:00
Tony Garnock-Jones
41a4593183
Improve example
2018-08-15 10:11:07 +01:00
Tony Garnock-Jones
8a34bf20d8
Initial quasi-port of Syndicate/rkt web driver
2018-08-14 17:58:36 +01:00
Tony Garnock-Jones
0d9afec6df
Merge branch 'master' into imperative
2018-08-14 17:38:45 +01:00
Tony Garnock-Jones
47094c11c4
Responsibility transfer during outbound websocket connection establishment
2018-08-14 17:38:36 +01:00
Tony Garnock-Jones
0b7f827cec
Multicast-UDP-based dataspace sketch, from last night
2018-08-14 12:35:56 +01:00
Tony Garnock-Jones
65e9ffac59
Clear no-longer-interesting timers
2018-08-14 12:33:50 +01:00
Tony Garnock-Jones
8bd848bca0
TODO
2018-08-13 21:45:44 +01:00
Tony Garnock-Jones
2a00d59231
term-intersect
2018-08-13 21:32:51 +01:00
Tony Garnock-Jones
11f28e13e2
UDP and UDP multicast
2018-08-13 20:07:27 +01:00
Tony Garnock-Jones
8cce22face
Merge branch 'master' into imperative
2018-07-30 19:39:41 +01:00
Tony Garnock-Jones
eb70563edb
Respond to ISON commands.
2018-07-30 19:39:19 +01:00
Tony Garnock-Jones
c564bd28ec
Weirdly, irssi sends the "ison" command in lower-case.
2018-07-30 19:39:11 +01:00
Tony Garnock-Jones
75b3488c83
Merge branch 'master' into imperative
2018-06-01 09:13:04 +01:00
Tony Garnock-Jones
cb351eee09
Repair current-ground-dataspace initialization, to allow override in e.g. graphical programs
2018-06-01 09:12:39 +01:00
Tony Garnock-Jones
939b0620ed
filesystem driver
2018-05-11 09:58:25 +01:00
Tony Garnock-Jones
a391b0ff24
Port netstack to imperative-syndicate.
...
If you change `racket-bitsyntax` to use `typed/racket/base/no-check`
for its `bitstring.rkt` module, this runs about 15x faster than the
`syndicate` version of the stack. Otherwise, it runs about 3x faster
than the `syndicate` version of the stack.
2018-05-06 15:28:41 +01:00
Tony Garnock-Jones
017d5851be
More robust against experimentation where the range of `i` is increased
2018-05-06 13:38:52 +01:00
Tony Garnock-Jones
dbcc931ebd
Notes on tcp2 protocol
2018-05-06 11:24:28 +01:00
Tony Garnock-Jones
07d5656e41
New test case
2018-05-06 11:06:36 +01:00
Tony Garnock-Jones
5cd8e2c2cb
Add missing assertion for outbound connections.
2018-05-06 11:03:39 +01:00
Tony Garnock-Jones
fd7cac5bae
Repair bogus test. I should have caught this earlier!
2018-05-06 10:55:21 +01:00
Tony Garnock-Jones
3c7676906d
Improve the kinds of tests we can do for expected output slightly.
2018-05-06 10:55:02 +01:00
Tony Garnock-Jones
85535608fd
pattern-expander.rkt
2018-05-04 23:15:09 +01:00
Tony Garnock-Jones
12d4e95ac4
GUI example
2018-05-04 16:57:22 +01:00
Tony Garnock-Jones
ff4c4a59bd
Cosmetic - extra logging (when uncommented)
2018-05-04 16:56:56 +01:00
Tony Garnock-Jones
c77416b727
Repair long-standing error in skeleton-walking.
2018-05-04 16:56:45 +01:00
Tony Garnock-Jones
cc54496ac6
Extremely limited support for quasiquoting and quoting in patterns
2018-05-04 16:56:23 +01:00
Tony Garnock-Jones
59e1a09d61
Clock face example
2018-05-04 16:09:12 +01:00
Tony Garnock-Jones
00c6311bfc
Quasi-useful debug output
2018-05-04 16:04:42 +01:00
Tony Garnock-Jones
d9ca939d60
Restriction-paths: right idea (?), wrong implementation. This time maybe.
...
Instead of having restriction-paths as an adjunct to a change, they're
more propertly a part of each assertion itself. The new `skeleton.rkt`
keeps an optional restriction-path with each assertion, treating it as
distinct from its underlying assertion. The idea of not signalling
changes in assertions that have a restriction-path mismatch stays.
2018-05-04 15:55:53 +01:00
Tony Garnock-Jones
ab75efe7f9
Skip apply-patch! make-work if patch is empty
2018-05-03 22:56:40 +01:00
Tony Garnock-Jones
c27ace547d
Add the concept of "restriction-path", which limits assertion visibility.
...
This is used when relaying: because we don't have access to the full
term, but only the projection results, we are inserting various
`(discard)`s. This is the cause of the failure in
`test/core/nesting-confusion.rkt`.
By adding `restriction-path`, we allow the inner dataspace to avoid
showing a reconstructed term to endpoints that might be able to
observe the reconstructed parts.
An alternative implementation approach is to generalize patterns in
the inner relay actor, translating all `(discard)`s into captures,
which would give us all the relevant terms that we need. The way I've
chosen to go (or at least, to try out) allows us to potentially keep
the "efficient" idea of just transmitting pattern-bound values across
some network link connecting dataspaces. The alternative would require
transmission of the full assertions, eliding no irrelevant detail.
2018-05-03 22:09:33 +01:00
Tony Garnock-Jones
8acfaab8f8
for/bag and for/bag/count
2018-05-03 22:09:13 +01:00