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