changelog shortlog graph tags branches changeset files file revisions raw help

Mercurial > org > notes / annotate 20231024.org

changeset 14: a04ca5a66178
parent: 4839b0675118
author: Richard Westhaver <ellis@rwest.io>
date: Tue, 27 Aug 2024 21:35:44 -0400
permissions: -rw-r--r--
description: publishing updates
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
1
 * virt
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
2
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
3
 :ID:       a51b54d9-5663-411e-b0ba-d1405622eb88
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
4
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
5
 ** QEMU
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
6
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
7
 :ID:       34dc9d12-d651-4204-9abb-a6a9a6aeb07e
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
8
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
9
 ** KVM
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
10
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
11
 :ID:       909e1127-14f5-4783-97af-65aa25439226
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
12
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
13
 ** Hyper-V
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
14
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
15
 :ID:       d89dc59d-25d9-4304-bcb8-379dd43cc3f7
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
16
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
17
 ** Firecracker
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
18
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
19
 :ID:       7c4f08b7-2bc0-4a85-a6ca-2decdce8dc91
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
20
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
21
 ** Docker
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
22
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
23
 :ID:       42ff77c2-69c9-4f89-a297-88efd592502e
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
24
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
25
 ** Vagrant
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
26
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
27
 :ID:       c53c4d87-b0fd-40de-8db7-b92c22dc946c
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
28
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
29
 ** LXC
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
30
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
31
 :ID:       85c5f471-cf87-49b7-a6ce-5c1526df4080
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
32
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
33
 ** LXD
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
34
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
35
 :ID:       f92d34dd-7b24-498c-a5c8-29fd3b528092
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
36
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
37
 ** containerd
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
38
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
39
 :ID:       a967645f-5df3-4bed-9e7b-a1adaed3796c
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
40
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
41
 ** systemd-nspawn
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
42
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
43
 :ID:       6329c6f9-c54c-4eb0-99e7-4772399161e7
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
44
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
45
 ** VirtualBox
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
46
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
47
 :ID:       638aa81a-8926-480a-854f-0434e8119426
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
48
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
49
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
50
 * Concatenative
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
51
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
52
 :ID:       964c6bac-486a-4459-825f-6e7e9351c9ab
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
53
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
54
 ** Factor                                                           :factor:
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
55
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
56
 :ID:       52994125-5689-402a-ac61-680aa690bf24
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
57
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
58
 - [2023-07-04 Tue]
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
59
   Factor is a cool concatenative lang but unfortunately the C interface
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
60
   (vm/master.h) no longer exists on the master branch.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
61
 ** Joy                                                                 :joy:
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
62
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
63
 :ID:       60ca3000-2ff5-4372-93fb-d5c311fb6409
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
64
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
65
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
66
 *** https://hypercubed.github.io/joy/html/j02maf.html
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
67
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
68
 :ID:       56e64d52-4950-4fec-b933-73d1cd8048d1
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
69
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
70
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
71
 *** [[https://builds.openlogicproject.org/content/incompleteness/arithmetization-syntax/arithmetization-syntax.pdf][arithmetization of syntax]]
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
72
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
73
 :ID:       59979091-395d-4067-9c3d-e557fc5287ee
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
74
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
75
 * Lisp                                                                 :lisp:
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
76
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
77
 :ID:       4b842734-135e-4c86-9337-3841c1241d3b
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
78
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
79
 These notes pertain to Lisp. More specifically, ANSI Common Lisp in
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
80
 most places.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
81
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
82
 - https://github.com/lispnik/iup/ - doesn't support MacOS yet, looks
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
83
   cool though
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
84
   - what we really need is wasm compiler.. TBD
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
85
 * Rust
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
86
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
87
 :ID:       f92ce2ba-1b66-42f4-b5e2-f1586b14760b
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
88
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
89
 ** Serde
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
90
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
91
 :ID:       31512714-9c30-4144-9673-327808a18767
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
92
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
93
 - [2023-07-05 Wed] \\
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
94
   important part of the Rust ecosystem, another dtolnay
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
95
   contribution. If you want to program a /data/ format in the Rust
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
96
   ecosystem, this is how you do it.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
97
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
98
   The way it works is that you define some special structs, a
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
99
   Serializer and a Deserializer which implement the Serialize and
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
100
   Deserialize traits provided by serde, respectively.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
101
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
102
   You can use these structs to provide your public API. The
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
103
   conventional choice is public top-level functions like from-str
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
104
   and to-string. That's it, your serialization library can now read and
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
105
   write your data format as Rust data types.
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
106
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
107
   [[https://serde.rs/enum-representations.html][enum-representations]]
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
108
   - the default behavior is an externally tagged representation (verbose)
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
109
 
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
110
   The docs use strings as core IO when implementing a custom format,
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
111
   but the convention is to implement for T where T is bound by std::io
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
112
   Read or Write trait. Then you can provide a more robust public API
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
113
   (from_bytes, from_writer, etc).
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
114
 * C
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
115
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
116
 :ID:       060042a0-d581-411a-9091-d16d11860d89
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
117
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
118
 * CPP
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
119
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
120
 :ID:       f09d7294-a997-4715-bceb-ffe6af7f3978
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
121
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
122
 * Nu
9
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
123
 :PROPERTIES:
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
124
 :ID:       765ad403-54e1-49cf-b4e6-918de9f910c2
Richard Westhaver <ellis@rwest.io>
parents: 4
diff changeset
125
 :END:
0
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
126
 [[https://www.nushell.sh/][~]]
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
127
 [[https://www.nushell.sh/cookbook/][cookbook]]
Richard Westhaver <ellis@rwest.io>
parents:
diff changeset
128
 [[https://github.com/nushell/nu_scripts][nu_scripts]]