tonyg

9 ms·

1.
by tonyg 4d ago
Wellll not two years, no, a couple-few weeks of initial work and then, embarrassingly, it sat idle for two years. As to why: at least in part because one of the best ways to learn is to do.
2.
by tonyg 4d ago
This looks great!
3.
by tonyg 4d ago
Thanks so much!
4.
Smolts: A pedagogical IDE for a teaching language(eighty-twenty.org)
54 points by tonyg 13d ago|8 comments
5.
by tonyg 1mo ago
In many benchmarks, Racket is significantly faster than many other Scheme implementations, including Chicken: https://ecraven.github.io/r7rs-benchmarks/ This is because it is now based on Chez. It is certainly not comp
6.
by tonyg 1mo ago
New? It stretches back industrially to the WS-* stuff in the early 00s (this is where the term originated), and on the academic side has roots in process calculi from the 90s and session types from the late 00s and early 10s.
7.
by tonyg 1mo ago
Absolute slop. Interesting that the end result, the place where Claude ended up, is similar to a (human-authored, windmill-tilting) project of mine, https://preserves.dev/ . Though with a much prettier website and far, far,
8.
Modelling Actors with Redex: Part I(eighty-twenty.org)
1 points by tonyg 1mo ago|0 comments
9.
Increasing the lifespan of a bulb makes it worse in every other way(maurycyz.com)
190 points by tonyg 2mo ago|193 comments
10.
I-Regexp: An Interoperable Regular Expression Format(datatracker.ietf.org)
3 points by tonyg 3mo ago|0 comments
11.
by tonyg 3mo ago
That's one of the reasons RFC 9485, "I-Regexp: An Interoperable Regular Expression Format", is important. https://datatracker.ietf.org/doc/html/rfc9485
12.
by tonyg 7mo ago
*Mitchell Wand
13.
by tonyg 8mo ago
I will not. I refuse
14.
I Want You to Understand Chicago(aphyr.com)
735 points by tonyg 10mo ago|486 comments
15.
Recreating the Canon Cat document interface(lab.alexanderobenauer.com)
118 points by tonyg 11mo ago|16 comments
16.
by tonyg 1y ago
Is .map specialcased or do user functions accepting callbacks work the same way? Because you could do the Scott-Mogensen thing of #ifTrue:ifFalse: if so, dualizing the control-flow decision making, offering a menu of choices/continuati
17.
by tonyg 1y ago
(1998). Java existed, but neither Scala nor Java-with-generics did. From the conclusion: "We have presented a programming protocol, Extensible Visitor, that can be used to construct systems with extensible recursive data domains and to
18.
The $200M Reason AMQP Became a Standard – A CTO's Inside Story [video](youtube.com)
3 points by tonyg 1y ago|0 comments
19.
by tonyg 1y ago
I don't think that's right - IIRC it used to be possible to write out a file, if loaded from a file:// URL, directly from JavaScript. Then that ability got nobbled because security (justifiable) without properly thinking
20.
by tonyg 2y ago
> Undermining the credibility of computer science research is the best possible outcome for the field, since the institution in its current form does not deserve the credibility that it has. Horseshit. This might be true for AI research
21.
by tonyg 2y ago
> Static analysis can tell what forms are invoking an fexpr and which are function calls. It's not got different from knowing which are macros. That problem can be solved. I don't think this is the case. Consider Kernel's
22.
by tonyg 2y ago
There are no string keys in the Person example above. You could add some, though, or use numbers instead with the same host-language API: Person = <person @name String @address Address> as above, or Person = <person {
23.
by tonyg 2y ago
Thank you! I wonder if something a bit contrived such as small-caps could help. I'll experiment.
24.
by tonyg 2y ago
Date and datetime are left to convention: https://preserves.dev/conventions.html#dates-and-times Decimals I'm on the fence about. Some discussion here: https://gitlab.com/preserves/preserves/-
25.
by tonyg 2y ago
Yeah I struggle with "Preserve" vs "Preserves" sometimes. Was there something in particular that struck you as unfortunate, though?
26.
by tonyg 2y ago
XML would make a fine choice. It lacks atomic data types other than text, and compound data types other than sequences, unless you count element attributes, which are in a kind of awkward position because of the historical development of th
27.
by tonyg 2y ago
Thanks. Yes there are: see sections 15, 16 and 17 of https://synit.org/book/ , where Preserves, Preserves Schemas, and the Syndicated Actor Model make a reactive replacement system layer for linux (essentially an altern
28.
by tonyg 2y ago
The version number is the schema language version, not the version of the collection of types described in the file. The schema language is extensible/evolvable in that pattern matching ignores extra entries in a sequence and extra key
29.
by tonyg 2y ago
Yeah EDN is quite similar. Preserves has no nil, allows any value as a tag, gets into the weeds more on when strings are equal or not, doesn't distinguish lists and vectors, and doesn't require each kind of tagged element to defin
30.
by tonyg 2y ago
https://gitlab.com/preserves/preserves/-/blob/main/preserves... -- crude but effective! (I use it all the time)

More ›