tonyg

7 ms·

31.
by tonyg 2y ago
No, a record is a tagged (sequence of) value(s). <tag v1 v2 v3> If you put a single dictionary-valued "field" in a record, you get a variation with named fields <tag { field1: value1 field2: value2
32.
by tonyg 2y ago
Thank you!
33.
by tonyg 2y ago
Do you have a link for CSTML, please? Googling is showing a bunch of possibilities none of which look quite relevant enough to be right...
34.
by tonyg 2y ago
Python remembers order, and exposes it in its iterations, but doesn't use it in its equivalence over dictionaries (== semantics). (ETA: What are you quoting there? I don't think that text appears on the Preserves site) (ETA2: Ah,
35.
by tonyg 2y ago
Useful if you have a JSON-keyed table, for example: JSON lacks a useful (standardised) equivalence relation, meaning you get weak and/or implementation-specific guarantees about how key lookup works. Equivalences were the motivation fo
36.
by tonyg 2y ago
Or, in "quick reference card" form: https://preserves.dev/cheatsheet.html The syntax isn't the most interesting part though; the thing that distinguishes it from most other data languages out there is that it
37.
by tonyg 2y ago
> It confuses folks into thinking that there is some garbage collection that isn’t tracing. There’s no such thing. It is standard to consider reference counting as garbage collection. Bacon, D.F., Cheng, P. and Rajan, V.T. 2004. A unifie
38.
by tonyg 2y ago
> Memory safety isn't possible in Java (unlike Rust). This is obviously some strange use of the phrase "memory safety" that I wasn't previously aware of.
39.
by tonyg 2y ago
It's the other way around for Racket, where R5RS and R6RS are subsets :-) IIUC Racket's new name came about from, basically, brand confusion: to avoid being (mis)understood as "yet another implementation of Scheme" rathe
40.
by tonyg 2y ago
Yep. Hence rescue images, in-initrd sshds, etc.
41.
by tonyg 2y ago
Where does the 6^16 come from? There are only 16.7 million 24-bit RGB triples; naively, if you're treating 3-hexit and 6-hexit colours separately, that'd be 16,781,312 distinct pages. What am I missing?
42.
Streamlining HTTP(leastfixedpoint.com)
1 points by tonyg 2y ago|0 comments
43.
by tonyg 2y ago
Feynman was very interested in Maya writing, but made no useful contribution to its interpretation. Credit for that goes to Knorozov and many others ( https://en.wikipedia.org/wiki/Maya_script#Decipherment); Feynman&#x2
44.
by tonyg 2y ago
Firefox depends on many many parts of the operating system. Calls and texts, not so much. Starting from scratch, a kernel and little else, getting calls and texts working is easy compared to getting Firefox ported.
45.
by tonyg 2y ago
As recently as the Samsung Galaxy S7, Pinephone, etc., voice calls are done with high-level commands too. All you have to do is get the soundcard mixer settings right. Figuring out the correct settings is tricky but once you have them it&#x
46.
Hot code reloading in Erlang without using an OTP release(eighty-twenty.org)
2 points by tonyg 2y ago|0 comments
47.
by tonyg 2y ago
It's a straightforward syntactic transformation. The two are equivalent. The scope of the rebound variable begins at the rebinding and ends when the surrounding scope ends. Perfectly clear - the only difference is a "let" key
48.
by tonyg 2y ago
The actual delta-t protocol spec has historically been quite hard to find, but is freely available from here: https://www.osti.gov/biblio/5542785 Also related and of interest in this connexion: CurveCP and its handshak
49.
by tonyg 2y ago
Learn Scheme as well. It will help you separate general FP weirdness from Erlang-specific weirdness. Perhaps work through HtDP, translating the ideas to Erlang.
50.
by tonyg 2y ago
> Nested virtualisation [...] challenging to emulate the underlying interfaces with flawless fidelity [...] dreadful performance It is so sad that we've ended up with designs where this is the case. There is no intrinsic reason wh
51.
by tonyg 2y ago
> (I assume that "keep an image, it's too costly to rebuild everything from version-controlled sources" is not such a lesson.) Exactly - that lesson is in no danger of being lost. Docker and other kinds of VM image are ubi
52.
by tonyg 2y ago
It looks like it's rather sensitive to the distributions of inputs. The claim in the abstract is that it's O(1) "for the priority increment distributions recently considered by Jones in his review article." The conclusio
53.
by tonyg 2y ago
Year in title is wrong: the paper is from 1988 , not 1998.
54.
by tonyg 2y ago
> They are not similar at all, except that they might overlap. (Well, which is it?) Perhaps I was misled by the intro to the article, that wished for something like Rust's iterators: generic data-source-neutral map/filter/
55.
by tonyg 2y ago
I wonder if the author considered SRFI-42 at all? It looks, at a glance, similar.
56.
by tonyg 2y ago
> Can't any tail call be rewritten as a loop? No. In general tail calls cannot be rewritten into loops.
57.
by tonyg 2y ago
Only so many hours in a lifetime. I'd like to do an Erlang implementation sometime though (especially considering that Erlang/RabbitMQ is one of the places where this research started from). Or find a student interested in doing o
58.
by tonyg 2y ago
Orleans is neat because it tackles orthogonal persistence and fault recovery at the same time. Lots of interesting future work remains to be done with persistence, though: wouldn't it be interesting if there were some "third way&q
59.
by tonyg 2y ago
I'm sorry about the state of the docs. I am slowly working on improving the situation. You might find the ~blog/journal part of the site interesting, wrt examples: https://syndicate-lang.org/journal/ -- still
60.
by tonyg 2y ago
Dissertation didn't touch on the connection to Ambients too much, but there's clearly some kind of "there" there. Future work, still, I'm afraid.

More ›