7
|
1
|
#+title: core tasks |
|
2
|
#+author: Richard Westhaver |
14
|
3
|
#+email: richard.westhaver@gmail.com |
7
|
4
|
#+description: core task list |
14
|
5
|
#+setupfile: ../../clean.theme |
13
|
6
|
#+infojs_opt: toc:t home:https://compiler.company up:./ |
14
|
7
|
#+OPTIONS: num:nil d:t prop:t toc:nil |
9
|
8
|
#+filetags: core |
14
|
9
|
* PROJECT ffi v0.1.0 [1/8] :lisp:ffi: |
9
|
10
|
:LOGBOOK: |
|
11
|
- State "TODO" from [2024-08-10 Sat 22:20] |
14
|
12
|
- State "PROJECT" from "TODO" [2024-08-16 Fri 22:57] |
7
|
13
|
:END: |
14
|
14
|
** PROJECT rocksdb v0.1.0 :rocksdb: |
|
15
|
:LOGBOOK: |
|
16
|
- State "PROJECT" from [2024-08-16 Fri 22:57] |
|
17
|
:END: |
|
18
|
*** TODO batch |
|
19
|
:LOGBOOK: |
|
20
|
- State "TODO" from [2024-08-16 Fri 22:56] |
|
21
|
:END: |
|
22
|
*** TODO logger |
|
23
|
:LOGBOOK: |
|
24
|
- State "TODO" from [2024-08-16 Fri 22:56] |
|
25
|
:END: |
|
26
|
*** DONE merge-operator callbacks :rocksdb: |
12
|
27
|
DEADLINE: <2024-08-16 Fri> SCHEDULED: <2024-08-15 Thu> |
14
|
28
|
:PROPERTIES: |
|
29
|
:LOCATION: lisp/ffi/rocksdb/merge.lisp |
|
30
|
:END: |
12
|
31
|
:LOGBOOK: |
|
32
|
- State "TODO" from [2024-08-10 Sat 22:21] |
|
33
|
- State "WIP" from "TODO" [2024-08-14 Wed 21:50] |
14
|
34
|
- State "DONE" from "WIP" [2024-08-16 Fri 22:52] |
|
35
|
- Note taken on [2024-08-16 Fri 22:52] \\ |
|
36
|
still needs testing with actual data |
12
|
37
|
:END: |
14
|
38
|
|
|
39
|
*** WIP compactionfilter callbacks :rocksdb: |
12
|
40
|
DEADLINE: <2024-08-18 Sun> SCHEDULED: <2024-08-16 Fri> |
14
|
41
|
:PROPERTIES: |
|
42
|
:LOCATION: lisp/ffi/rocksdb/compaction.lisp |
|
43
|
:END: |
12
|
44
|
:LOGBOOK: |
|
45
|
- State "TODO" from [2024-08-14 Wed 21:50] |
|
46
|
- State "WIP" from "TODO" [2024-08-14 Wed 21:50] |
|
47
|
:END: |
14
|
48
|
*** WIP comparator callbacks :rocksdb: |
12
|
49
|
DEADLINE: <2024-08-18 Sun> SCHEDULED: <2024-08-17 Sat> |
14
|
50
|
:PROPERTIES: |
|
51
|
:LOCATION: lisp/ffi/rocksdb/comparator.lisp |
|
52
|
:END: |
12
|
53
|
:LOGBOOK: |
|
54
|
- State "WIP" from [2024-08-14 Wed 21:51] |
|
55
|
:END: |
14
|
56
|
** TODO readline :cli: |
|
57
|
:LOGBOOK: |
|
58
|
- State "TODO" from [2024-08-10 Sat 22:23] |
|
59
|
:END: |
|
60
|
** TBD examples [0/6] :example: |
|
61
|
:LOGBOOK: |
|
62
|
- State "TBD" from [2024-08-15 Thu 23:02] |
|
63
|
:END: |
|
64
|
*** TODO gstreamer practical example :gstreamer: |
7
|
65
|
:LOGBOOK: |
9
|
66
|
- State "TODO" from [2024-08-10 Sat 22:21] |
|
67
|
:END: |
14
|
68
|
*** TODO ublk practical example :ublk: |
9
|
69
|
:LOGBOOK: |
|
70
|
- State "TODO" from [2024-08-10 Sat 22:22] |
7
|
71
|
:END: |
14
|
72
|
*** TODO uring read/write file example :uring: |
9
|
73
|
:LOGBOOK: |
|
74
|
- State "TODO" from [2024-08-10 Sat 22:22] |
|
75
|
:END: |
14
|
76
|
*** TODO btrfs practical example :btrfs: |
7
|
77
|
:LOGBOOK: |
9
|
78
|
- State "TODO" from [2024-08-10 Sat 22:30] |
|
79
|
:END: |
|
80
|
- [ ] sudo example (filesystem) |
|
81
|
- [ ] non-sudo example? |
14
|
82
|
*** TODO xkb practical example :x:kb: |
9
|
83
|
:LOGBOOK: |
|
84
|
- State "TODO" from [2024-08-10 Sat 22:32] |
7
|
85
|
:END: |
14
|
86
|
*** TODO keyutils practical example :crypto: |
7
|
87
|
:LOGBOOK: |
9
|
88
|
- State "TODO" from [2024-08-10 Sat 22:33] |
7
|
89
|
:END: |
14
|
90
|
|
|
91
|
* TODO retire x.lisp :lisp:skel: |
|
92
|
SCHEDULED: <2024-08-22 Thu> |
7
|
93
|
:PROPERTIES: |
|
94
|
:LOCATION: x.lisp |
14
|
95
|
:Effort: 4:00 |
7
|
96
|
:END: |
|
97
|
:LOGBOOK: |
|
98
|
- State "TODO" from [2024-07-09 Tue 22:24] |
|
99
|
- State "TBD" from "TODO" [2024-07-27 Sat 02:41] |
14
|
100
|
- State "TODO" from "TBD" [2024-08-16 Fri 22:58] |
7
|
101
|
:END: |
|
102
|
with skel taking on more responsibility we no longer need a dedicated build tool. |
|
103
|
- migrate all functionality to skelfile |
|
104
|
- cleanup readme with installation instructions (with and without =infra=) |
12
|
105
|
* TODO cli/clap v0.2.0 [1/6] :lisp:cli: |
7
|
106
|
:LOGBOOK: |
|
107
|
- State "TODO" from [2024-07-21 Sun 01:33] |
|
108
|
:END: |
|
109
|
- clap is quite unstable right now and has some obvious bugs which need remedying |
|
110
|
** TODO conditions implementation |
|
111
|
** TODO minimal documentation :doc: |
|
112
|
:LOGBOOK: |
|
113
|
- State "TODO" from [2024-07-27 Sat 02:39] |
|
114
|
:END: |
|
115
|
** DONE implement globals =*cli* *opts* *args*= etc |
|
116
|
:LOGBOOK: |
|
117
|
- State "TODO" from [2024-07-27 Sat 02:39] |
|
118
|
- State "DONE" from "TODO" [2024-07-27 Sat 02:40] |
|
119
|
:END: |
|
120
|
** TODO keyword selectors :lisp:cli:skel: |
|
121
|
:LOGBOOK: |
|
122
|
- State "TODO" from [2024-07-27 Sat 02:31] |
|
123
|
:END: |
|
124
|
#+begin_src shell |
|
125
|
skel :include 0 :components 1 # => <sk-component PRELUDE> |
|
126
|
|
|
127
|
skel :include emacs :components babel # => <sk-component BABEL> |
|
128
|
#+end_src |
|
129
|
- how to apply operators? |
|
130
|
- pipe results? |
|
131
|
+forth+ |
8
|
132
|
* TODO multipoint-images :lisp:bin:sys: |
|
133
|
:LOGBOOK: |
|
134
|
- State "TODO" from [2024-07-28 Sun 21:01] |
|
135
|
:END: |
|
136
|
- multiple entrypoint lisp images |
|
137
|
- create multiple links to core lisp image |
|
138
|
- support multiple low-level methods? |
|
139
|
- naive implementation is a single entry point with a switch |
|
140
|
dispatched on arg0. |
|
141
|
- could also create a thin shim in Rust/Zig and call the appropriate |
|
142
|
entrypoint after loading the core. |
9
|
143
|
* TODO [[https://libyear.com/][libyear]] :lisp:skel: |
|
144
|
:LOGBOOK: |
|
145
|
- State "TODO" from [2024-08-01 Thu 12:27] |
|
146
|
:END: |
12
|
147
|
* TODO q 0.1 :lisp:q: |
9
|
148
|
:LOGBOOK: |
|
149
|
- State "TODO" from [2024-08-03 Sat 01:03] |
|
150
|
:END: |
|
151
|
** TODO SQL |
|
152
|
:LOGBOOK: |
|
153
|
- State "TODO" from [2024-08-03 Sat 01:03] |
|
154
|
- Note taken on [2024-08-04 Sun 21:16] \\ |
|
155
|
pretty close - need to fix some recursion bugs then start messing with query-engines |
|
156
|
:END: |
|
157
|
*** DONE make-sql-data-frame |
|
158
|
:LOGBOOK: |
|
159
|
- State "FIX" from [2024-08-05 Mon 21:13] |
|
160
|
- State "DONE" from "FIX" [2024-08-07 Wed 21:05] |
|
161
|
:END: |
|
162
|
- finish implementation |
|
163
|
** TODO DQL |
|
164
|
:LOGBOOK: |
|
165
|
- State "TODO" from [2024-08-03 Sat 01:03] |
|
166
|
:END: |
|
167
|
- pronounced 'Dee-qwul' |
|
168
|
- the challenge it seems, is building an inference engine that isn't |
|
169
|
just another half-assed prolog |
|
170
|
- expression and introspection is valued here much more than speed/size |
|
171
|
- allegro and screamer are favorites so far |
|
172
|
*** TODO top-level macros |
|
173
|
:LOGBOOK: |
|
174
|
- State "TODO" from [2024-08-08 Thu 22:38] |
|
175
|
:END: |
|
176
|
- -? |
|
177
|
*** TODO conditions |
|
178
|
:LOGBOOK: |
|
179
|
- State "TODO" from [2024-08-08 Thu 22:39] |
|
180
|
:END: |
|
181
|
*** TODO basic predicates |
|
182
|
:LOGBOOK: |
|
183
|
- State "TODO" from [2024-08-08 Thu 22:39] |
|
184
|
:END: |
|
185
|
#+begin_example |
|
186
|
=/2 ==/2 abolish/2 and/* append/3 arg/3 assert/1 asserta/1 assertz/1 atom/1 atomic/1 |
|
187
|
bagof/3 call/1 consult/1 copy-term/2 erase/1 fail/0 first/1 functor/3 ground/1 if/2 if/3 |
|
188
|
is/2 last/1 leash/1 length/1 listing/1 member/2 memberp/2 (member without backtracking) not/1 |
|
189
|
number/1 or/* princ/1 read/1 recorda/1 recordz/1 recorded/2 repeat/0 rest/1 retract/1 rev/2 |
|
190
|
setof/3 true/0 var/1 write/1 |
|
191
|
|
|
192
|
#+end_example |
|
193
|
*** TODO compiler design |
|
194
|
:LOGBOOK: |
|
195
|
- State "TODO" from [2024-08-08 Thu 22:39] |
|
196
|
:END: |
|
197
|
*** TODO runtime design |
|
198
|
:LOGBOOK: |
|
199
|
- State "TODO" from [2024-08-08 Thu 22:43] |
|
200
|
:END: |
|
201
|
- needs a stack |
|
202
|
- maybe registers |
|
203
|
- plenty of dynamic extent |
|
204
|
- arenas |
|
205
|
- thread-aware |
|
206
|
** TODO q/tests/fuzz [0/2] |
|
207
|
:LOGBOOK: |
|
208
|
- State "TODO" from [2024-08-05 Mon 21:11] |
|
209
|
:END: |
|
210
|
- [[https://github.com/andygrove/how-query-engines-work/blob/main/jvm/fuzzer/src/main/kotlin/Fuzzer.kt][kquery]] |
|
211
|
*** TODO sql-fuzzer |
|
212
|
:LOGBOOK: |
|
213
|
- State "TODO" from [2024-08-05 Mon 21:11] |
|
214
|
:END: |
|
215
|
- [ ] values |
|
216
|
- [ ] record-batch |
|
217
|
- [ ] expression |
|
218
|
- [ ] plan |
|
219
|
*** TODO dql-fuzzer |
|
220
|
:LOGBOOK: |
|
221
|
- State "TODO" from [2024-08-05 Mon 21:12] |
|
222
|
:END: |
|
223
|
** TODO #? reader macro |
|
224
|
:LOGBOOK: |
|
225
|
- State "TODO" from [2024-08-08 Thu 22:36] |
|
226
|
:END: |
|
227
|
* RESEARCH OCI projects [0/4] :pod:packy:skel: |
|
228
|
:LOGBOOK: |
|
229
|
- State "RESEARCH" from [2024-08-01 Thu 12:35] |
|
230
|
:END: |
|
231
|
** RESEARCH [[https://oras.land/][oras]] |
|
232
|
:LOGBOOK: |
|
233
|
- State "RESEARCH" from [2024-08-01 Thu 12:36] |
|
234
|
:END: |
|
235
|
** RESEARCH skopeo |
|
236
|
:LOGBOOK: |
|
237
|
- State "RESEARCH" from [2024-08-01 Thu 12:36] |
|
238
|
:END: |
|
239
|
** RESEARCH zot |
|
240
|
:LOGBOOK: |
|
241
|
- State "RESEARCH" from [2024-08-01 Thu 12:36] |
|
242
|
:END: |
|
243
|
** RESEARCH [[https://www.sigstore.dev/][sigstore]] |
|
244
|
:LOGBOOK: |
|
245
|
- State "RESEARCH" from [2024-08-01 Thu 12:30] |
|
246
|
:END: |
12
|
247
|
* HACK defsys :lisp:std: |
9
|
248
|
:LOGBOOK: |
|
249
|
- State "HACK" from [2024-08-03 Sat 01:06] |
|
250
|
:END: |
|
251
|
- maybe Norvig was right and we don't need asdf/uiop, maybe not |
|
252
|
- the truth is somewhere in between |
|
253
|
- [ ] defsys macro |
|
254
|
- [ ] use macro |
|
255
|
- [ ] using macro |
|
256
|
- [ ] requires macro |
|
257
|
* DONE migrate to sb-grovel [9/9] :lisp:ffi: |
|
258
|
:LOGBOOK: |
|
259
|
- State "TODO" from [2023-11-27 Mon 23:42] |
|
260
|
- State "DONE" from "TODO" [2024-02-04 Sun 20:30] |
|
261
|
:END: |
|
262
|
:PROPERTIES: |
|
263
|
:ID: bb365025-e5e7-4407-acba-32e30d1a245a |
|
264
|
:END: |
|
265
|
[[file:lisp/ffi/]] |
|
266
|
** DONE blake3 |
|
267
|
:LOGBOOK: |
|
268
|
- State "TODO" from [2023-11-29 Wed 19:00] |
|
269
|
- State "DONE" from "TODO" [2023-12-09 Sat 01:57] |
|
270
|
:END: |
|
271
|
:PROPERTIES: |
|
272
|
:ID: 656c2683-8780-407c-b955-3defc4959595 |
|
273
|
:END: |
|
274
|
** DONE bqn |
|
275
|
:LOGBOOK: |
|
276
|
- State "TODO" from [2023-11-29 Wed 19:00] |
|
277
|
- State "DONE" from "TODO" [2023-12-09 Sat 01:57] |
|
278
|
:END: |
|
279
|
:PROPERTIES: |
|
280
|
:ID: b4757746-525b-49e4-b8ac-677375867d8f |
|
281
|
:END: |
|
282
|
** DONE btrfs |
|
283
|
:LOGBOOK: |
|
284
|
- State "TODO" from [2023-11-29 Wed 19:00] |
|
285
|
- State "DONE" from "TODO" [2023-12-09 Sat 01:57] |
|
286
|
:END: |
|
287
|
:PROPERTIES: |
|
288
|
:ID: b3b411fe-6b2d-4338-9e23-83536336a487 |
|
289
|
:END: |
|
290
|
** DONE k |
|
291
|
:LOGBOOK: |
|
292
|
- State "TODO" from [2023-11-29 Wed 19:00] |
|
293
|
- State "DONE" from "TODO" [2023-12-09 Sat 01:57] |
|
294
|
:END: |
|
295
|
:PROPERTIES: |
|
296
|
:ID: 8a463084-efa0-4535-8239-b1c4955bde4c |
|
297
|
:END: |
|
298
|
** DONE rocksdb |
|
299
|
:LOGBOOK: |
|
300
|
- State "TODO" from [2023-11-29 Wed 19:00] |
|
301
|
- State "DONE" from "TODO" [2023-12-09 Sat 01:57] |
|
302
|
:END: |
|
303
|
:PROPERTIES: |
|
304
|
:ID: 2d4d70af-228f-424c-8374-9fc8ed5c6f92 |
|
305
|
:END: |
|
306
|
** DONE tree-sitter |
|
307
|
:LOGBOOK: |
|
308
|
- State "TODO" from [2023-11-29 Wed 19:00] |
|
309
|
- State "DONE" from "TODO" [2023-12-09 Sat 01:57] |
|
310
|
:END: |
|
311
|
:PROPERTIES: |
|
312
|
:ID: 0cdf3412-cb00-4069-8e1b-b49c736377cf |
|
313
|
:END: |
|
314
|
** DONE uring |
|
315
|
:LOGBOOK: |
|
316
|
- State "TODO" from [2023-11-29 Wed 19:00] |
|
317
|
- State "DONE" from "TODO" [2023-12-09 Sat 01:57] |
|
318
|
:END: |
|
319
|
:PROPERTIES: |
|
320
|
:ID: 45a52407-ccaf-4ea1-99c4-d6f7ba0b2731 |
|
321
|
:END: |
|
322
|
** DONE zstd |
|
323
|
:LOGBOOK: |
|
324
|
- State "TODO" from [2023-11-29 Wed 19:00] |
|
325
|
- State "DONE" from "TODO" [2023-12-09 Sat 01:57] |
|
326
|
:END: |
|
327
|
:PROPERTIES: |
|
328
|
:ID: 6ade8dd8-83b1-470d-a0da-a352ce4c2d06 |
|
329
|
:END: |
|
330
|
** DONE xkb |
|
331
|
:LOGBOOK: |
|
332
|
- State "TODO" from [2023-11-29 Wed 19:27] |
|
333
|
- State "WIP" from "TODO" [2023-12-10 Sun 22:47] |
|
334
|
- State "DONE" from "WIP" [2024-02-04 Sun 20:30] |
|
335
|
:END: |
|
336
|
:PROPERTIES: |
|
337
|
:ID: af778a5f-4834-4f0c-ae53-36d35cb98d8c |
|
338
|
:END: |
12
|
339
|
:LOGBOOK: |
|
340
|
- State "TODO" from [2024-08-13 Tue 22:06] |
|
341
|
:END: |
9
|
342
|
* TODO parse 0.1 [0/2] :lisp:lib: |
|
343
|
:LOGBOOK: |
|
344
|
- State "TODO" from "TODO" [2023-12-13 Wed 18:24] |
|
345
|
:END: |
|
346
|
:PROPERTIES: |
|
347
|
:ID: parse |
|
348
|
:ID: 8f54a69e-b256-4efd-98e8-75b4892f12b8 |
|
349
|
:END: |
|
350
|
- State "TODO" from [2023-11-29 Wed 19:01] |
|
351
|
- lalr.lisp |
|
352
|
- lex.lisp |
|
353
|
- obj api |
|
354
|
** TODO tests |
|
355
|
:LOGBOOK: |
|
356
|
- State "TODO" from [2023-12-24 Sun 19:28] |
|
357
|
:END: |
|
358
|
add tests for lexer and LALR. figure out if there are any gaps that we |
|
359
|
need to fill. |
|
360
|
** TODO toml impl |
|
361
|
:LOGBOOK: |
|
362
|
- State "TODO" from [2023-12-24 Sun 19:28] |
|
363
|
:END: |
|
364
|
the toml parser on quicklisp is based on esrap, make a comparable one |
|
365
|
using our parser module. |
|
366
|
* TODO organ 0.2 [0/2] :lisp:organ: |
|
367
|
:LOGBOOK: |
|
368
|
- State "TODO" from [2023-11-29 Wed 21:25] |
|
369
|
:END: |
|
370
|
:PROPERTIES: |
|
371
|
:ID: 4e7c55dc-e2fa-458f-ad3b-942b9aa336a4 |
|
372
|
:END: |
|
373
|
** TBD organ-export |
|
374
|
:LOGBOOK: |
|
375
|
- State "TBD" from "TODO" [2023-11-29 Wed 21:24] |
|
376
|
:END: |
|
377
|
:PROPERTIES: |
|
378
|
:ID: 189584f5-fc22-4129-bd47-5d494a088684 |
|
379
|
:END: |
|
380
|
** TODO org-parse |
|
381
|
:LOGBOOK: |
|
382
|
- State "TODO" from [2023-11-29 Wed 21:26] |
|
383
|
:END: |
|
384
|
:PROPERTIES: |
|
385
|
:DEPENDENCIES: parse |
|
386
|
:HOOKS: organ-export |
|
387
|
:ID: 63774177-9730-4961-8535-414fac7a6f4f |
|
388
|
:END: |
|
389
|
** TBD parse org-elements as sxp :sxp: |
|
390
|
:LOGBOOK: |
|
391
|
- State "TODO" from [2023-09-25 Mon 15:23] |
|
392
|
- State "TBD" from "TODO" [2023-12-13 Wed 18:10] |
|
393
|
:END: |
|
394
|
#+name: oe-init |
|
395
|
#+begin_src emacs-lisp :results silent |
|
396
|
(slime-start) |
|
397
|
#+end_src |
|
398
|
|
|
399
|
#+begin_src lisp :results silent |
|
400
|
(ql:quickload :organ) |
|
401
|
#+end_src |
|
402
|
|
|
403
|
#+name: oe-form |
|
404
|
#+begin_src emacs-lisp :results output replace |
|
405
|
(macroexpand-1 (org-element-parse-buffer)) |
|
406
|
#+end_src |
|
407
|
|
|
408
|
#+RESULTS: oe-form |
|
409
|
|
|
410
|
#+name: oe-sxp |
|
411
|
#+begin_src lisp :results output :var in=oe-form() |
|
412
|
(let ((sxp (sxp:make-sxp))) |
|
413
|
;; SIMPLE-READER-ERROR #\) when using read |
|
414
|
(sxp:wrap-from-string! sxp in) |
|
415
|
(describe sxp)) |
|
416
|
#+end_src |
|
417
|
|
|
418
|
#+RESULTS: oe-sxp |
|
419
|
: #<DAT/SXP:SXP {1026EFA513}> |
|
420
|
: [standard-object] |
|
421
|
: |
|
422
|
: Slots with :INSTANCE allocation: |
|
423
|
: AST = NIL |
|
424
|
|
|
425
|
* TODO rdb 0.2 [0/6] :lisp:rdb: |
|
426
|
:LOGBOOK: |
|
427
|
- State "TODO" from "TODO" [2023-12-13 Wed 18:26] |
|
428
|
:END: |
|
429
|
** TODO error handling |
|
430
|
:LOGBOOK: |
|
431
|
- State "TODO" from [2023-12-10 Sun 22:57] |
|
432
|
:END: |
|
433
|
- need to unwrap the pointer (* (* t)) |
|
434
|
- cast to string,int,bool |
|
435
|
- wrap segfault handlers |
|
436
|
- add restarts for common errors (bad path) |
|
437
|
- add cleanup routines |
|
438
|
** TODO client api |
|
439
|
:LOGBOOK: |
|
440
|
- State "TODO" from [2023-12-10 Sun 22:59] |
|
441
|
:END: |
|
442
|
- clients are fully dynamic |
|
443
|
- generated from RDB instances |
|
444
|
- compiles in CF/option/multithread/type info |
|
445
|
- clients implement custom Q language |
|
446
|
** TODO sequence/iterator impl |
|
447
|
:LOGBOOK: |
|
448
|
- State "TODO" from [2023-12-10 Sun 23:09] |
|
449
|
:END: |
|
450
|
- use SBCL built-ins to extend the api - wrap the raw FFI iterator |
|
451
|
- define mixins |
|
452
|
** TODO comparator impl |
|
453
|
:LOGBOOK: |
|
454
|
- State "TODO" from [2023-12-10 Sun 23:11] |
|
455
|
:END: |
|
456
|
- supply custom comparators to rocksdb from lisp |
|
457
|
** TODO type system |
|
458
|
:LOGBOOK: |
|
459
|
- State "TODO" from [2023-12-10 Sun 23:12] |
|
460
|
:END: |
|
461
|
- capture types of: kv, cf |
|
462
|
- specs |
|
463
|
- kv-spec = (kv-spec val-spec) |
|
464
|
- must be serialized to/from vec<char> |
|
465
|
- cf-spec |
|
466
|
- used as superclass |
|
467
|
- methods for abstracting CFs |
|
468
|
** TODO set-opt/get-opt |
|
469
|
:LOGBOOK: |
|
470
|
- State "TODO" from [2023-12-16 Sat 00:49] |
|
471
|
:END: |
|
472
|
- need better api |
|
473
|
- may just want to use the generic C fn that takes string as input |
|
474
|
- I feel this may be less efficient but haven't benched it (requires additional arg) |
|
475
|
- separate packages are a pain to query symbols with |
|
476
|
|
12
|
477
|
* TODO vc 0.1 [2/3] :lisp:vc: |
9
|
478
|
:LOGBOOK: |
|
479
|
- State "TODO" from [2024-02-29 Thu 16:10] |
|
480
|
:END: |
|
481
|
** TODO vc-mirrors-update replacement |
|
482
|
:LOGBOOK: |
|
483
|
- State "TODO" from [2024-08-10 Sat 01:33] |
|
484
|
:END: |
|
485
|
** DONE git :vc:git: |
|
486
|
:LOGBOOK: |
|
487
|
- State "TODO" from [2023-12-16 Sat 00:55] |
|
488
|
- State "DONE" from "TODO" [2024-08-10 Sat 01:34] |
|
489
|
:END: |
|
490
|
** DONE hg :vc:hg: |
|
491
|
:LOGBOOK: |
|
492
|
- State "TODO" from [2023-12-16 Sat 00:56] |
|
493
|
- State "DONE" from "TODO" [2024-08-10 Sat 01:34] |
|
494
|
:END: |
|
495
|
|
|
496
|
* TODO dat 0.1 :lisp:dat: |
|
497
|
:LOGBOOK: |
|
498
|
- State "TODO" from [2024-08-11 Sun 00:08] |
|
499
|
:END: |
|
500
|
** WIP dat/parquet :lisp: |
|
501
|
:PROPERTIES: |
12
|
502
|
:Effort: 80:00 |
9
|
503
|
:END: |
|
504
|
:LOGBOOK: |
|
505
|
- State "WIP" from [2024-07-19 Fri 21:51] |
|
506
|
:END: |
|
507
|
|
|
508
|
** TODO dat/csv column selectors :lisp:dat: |
|
509
|
:PROPERTIES: |
12
|
510
|
:Effort: 8:00 |
9
|
511
|
:END: |
|
512
|
:LOGBOOK: |
|
513
|
- State "TODO" from [2024-08-05 Mon 20:53] |
|
514
|
:END: |
|
515
|
- a function which accepts a single arg which is either a number, |
|
516
|
indicating index-based selection or a list of column names for |
|
517
|
selection by name. |
|
518
|
|
|
519
|
~(read-csv-line ... :select (lambda (x) x))~ |
|
520
|
|
|
521
|
- index-based-selection |
|
522
|
- selection-by-name |
|
523
|
|
12
|
524
|
** TODO sxp 0.2 :lisp:sxp: |
|
525
|
:LOGBOOK: |
|
526
|
- State "TODO" from [2023-12-12 Tue 19:49] |
|
527
|
:END: |
|
528
|
*** TODO WRAP-OBJECT :skel: |
|
529
|
:LOGBOOK: |
|
530
|
- State "TODO" from [2023-12-12 Tue 19:49] |
|
531
|
:END: |
|
532
|
- use to replace LOAD-AST for sk-project and friends |
|
533
|
- requires mop |
|
534
|
- take a look at UNWRAP-OBJECT too, may need rewrite for a better API |
|
535
|
**** TODO sxp standard methods |
|
536
|
:LOGBOOK: |
|
537
|
- State "TODO" from [2024-08-13 Tue 22:06] |
|
538
|
:END: |
|
539
|
- hash-table |
|
540
|
- classoid |
|
541
|
- vector |
|
542
|
- boolean |
|
543
|
- obj/ |
|
544
|
- color |
|
545
|
- uri |
|
546
|
* TODO syn 0.1 :lisp:syn: |
|
547
|
:LOGBOOK: |
|
548
|
- State "TODO" from [2024-08-13 Tue 22:15] |
|
549
|
:END: |
9
|
550
|
* TODO skel 0.2 [1/4] :lisp:skel: |
|
551
|
:LOGBOOK: |
|
552
|
- State "TODO" from [2023-12-16 Sat 00:55] |
|
553
|
:END: |
14
|
554
|
|
9
|
555
|
** DONE eval rules from CLI |
|
556
|
:LOGBOOK: |
|
557
|
- State "TODO" from [2023-12-16 Sat 00:56] |
|
558
|
- State "DONE" from "TODO" [2024-08-05 Mon 21:06] |
|
559
|
:END: |
|
560
|
- need new command or flag for rules |
|
561
|
- evaluate forms instead of looking in skelfile |
|
562
|
** TODO split out skel rules |
|
563
|
:LOGBOOK: |
|
564
|
- State "TODO" from [2024-08-11 Sun 00:10] |
|
565
|
:END: |
|
566
|
- core/rule.lisp |
12
|
567
|
** TODO implement task-pool :thread: |
9
|
568
|
:LOGBOOK: |
|
569
|
- State "TODO" from [2024-08-11 Sun 00:10] |
|
570
|
:END: |
|
571
|
** TODO implement vm |
12
|
572
|
DEADLINE: <2024-08-18 Sun> SCHEDULED: <2024-08-16 Fri> |
9
|
573
|
:LOGBOOK: |
|
574
|
- State "TODO" from [2024-08-11 Sun 00:11] |
|
575
|
:END: |
|
576
|
- core/vm.lisp |
|
577
|
* TODO std 0.2 [2/8] :lisp:std: |
|
578
|
:LOGBOOK: |
|
579
|
- State "TODO" from [2023-12-12 Tue 19:49] |
|
580
|
:END: |
|
581
|
** DONE refactor system definition |
|
582
|
:LOGBOOK: |
|
583
|
- State "TODO" from [2023-12-13 Wed 15:17] |
|
584
|
- State "DONE" from "TODO" [2023-12-13 Wed 19:38] |
|
585
|
:END: |
|
586
|
- remove package-inferred |
|
587
|
- minimize number of systems |
|
588
|
- use pkg.lisp files |
|
589
|
** TODO cleanup fu |
|
590
|
:LOGBOOK: |
|
591
|
- State "TODO" from [2023-12-13 Wed 19:39] |
|
592
|
:END: |
|
593
|
** TODO documentation sweep |
|
594
|
:LOGBOOK: |
|
595
|
- State "TODO" from [2024-02-29 Thu 16:09] |
|
596
|
:END: |
|
597
|
** TODO CLTL2 impl |
|
598
|
:LOGBOOK: |
|
599
|
- State "TODO" from [2024-02-29 Thu 16:09] |
|
600
|
:END: |
|
601
|
** TODO more bits |
|
602
|
:LOGBOOK: |
|
603
|
- State "TODO" from [2024-02-29 Thu 16:09] |
|
604
|
:END: |
|
605
|
** DONE list-package-symbols, etc |
|
606
|
:LOGBOOK: |
|
607
|
- State "TODO" from [2024-02-29 Thu 16:09] |
|
608
|
- State "DONE" from "TODO" [2024-08-07 Wed 21:07] |
|
609
|
:END: |
|
610
|
|
|
611
|
** TODO std/tests refactor |
|
612
|
:LOGBOOK: |
|
613
|
- State "TODO" from [2024-07-27 Sat 02:42] |
|
614
|
:END: |
|
615
|
- a bit too large, time to shake it up |
|
616
|
- need separation of concerns (files) for task-pool/threaded tests in |
|
617
|
particular |
|
618
|
** TODO tasks |
|
619
|
:LOGBOOK: |
|
620
|
- State "TODO" from [2024-08-10 Sat 01:29] |
|
621
|
:END: |
|
622
|
* TODO obj 0.1 [2/2] :lisp:obj: |
|
623
|
:LOGBOOK: |
|
624
|
- State "TODO" from [2023-12-17 Sun 00:59] |
|
625
|
:END: |
12
|
626
|
** NOPE uri :net: |
9
|
627
|
:LOGBOOK: |
|
628
|
- State "TODO" from [2023-12-17 Sun 01:00] |
|
629
|
- Note taken on [2023-12-20 Wed 18:26] \\ |
|
630
|
the franz impl doesn't play well with SBCL, at least with our |
|
631
|
hacks. I'm not sure how faithfully I want to follow the RFCs |
|
632
|
anyhow.. maybe we go for the dead simple approach and focus on MOP |
|
633
|
for a path and URI protocol. |
|
634
|
:END: |
|
635
|
- mostly just need the tests and to finish porting the Franz implementation |
12
|
636
|
** DONE db :db: |
9
|
637
|
:LOGBOOK: |
|
638
|
- State "TODO" from [2023-12-20 Wed 18:26] |
|
639
|
- State "DONE" from "TODO" [2024-08-05 Mon 21:08] |
|
640
|
- Note taken on [2024-08-05 Mon 21:08] \\ |
|
641
|
XDB2 is no longer used - instead provide a simple abstract API which |
|
642
|
builds up to high-level systems like RDB |
|
643
|
:END: |
|
644
|
- ported from XDB2 |
12
|
645
|
** WIP complete base obj/query package [2/3] :q:db: |
9
|
646
|
:PROPERTIES: |
|
647
|
:LOCATION: lisp/lib/obj/query.lisp |
|
648
|
:END: |
|
649
|
:LOGBOOK: |
|
650
|
- State "WIP" from [2024-07-09 Tue 22:14] |
|
651
|
:END: |
|
652
|
- object-based protocol for asking questions about data collections |
|
653
|
using data expressions |
|
654
|
- +lex+, +parse+, +compile+ - all handled in the Q system |
|
655
|
- probably in need of refactor right after |
|
656
|
- different parts of the protocol will be used by different systems |
|
657
|
- ~data-source~ will be implemented in ~DAT/CSV~ ~DAT/PARQUET~, |
|
658
|
~RDB~, etc |
|
659
|
- ~query-expression~ and ~query-plan~ will be implemented in |
|
660
|
~Q/SQL~ and ~Q/DQL~ |
|
661
|
*** DONE aggregate physical plan |
|
662
|
:PROPERTIES: |
12
|
663
|
:Effort: 2:00 |
9
|
664
|
:END: |
|
665
|
:LOGBOOK: |
|
666
|
- State "DONE" from "TODO" [2024-08-03 Sat 01:00] |
|
667
|
:END: |
|
668
|
*** DONE Physical Expressions |
|
669
|
:PROPERTIES: |
12
|
670
|
:Effort: 3:00 |
9
|
671
|
:END: |
|
672
|
:LOGBOOK: |
|
673
|
- State "TODO" from [2024-08-02 Fri 15:53] |
|
674
|
- State "TODO" from [2024-08-02 Fri 15:53] |
|
675
|
- State "DONE" from "TODO" [2024-08-03 Sat 01:00] |
|
676
|
:END: |
|
677
|
*** TODO Basic Testing |
|
678
|
:LOGBOOK: |
|
679
|
- State "TODO" from [2024-08-02 Fri 15:55] |
|
680
|
:END: |
|
681
|
|
12
|
682
|
** TODO explain impl :doc: |
|
683
|
:LOGBOOK: |
|
684
|
- State "TODO" from [2024-08-03 Sat 01:01] |
|
685
|
:END: |
|
686
|
** TODO explore impl :doc: |
|
687
|
:LOGBOOK: |
|
688
|
- State "TODO" from "TODO" [2024-08-12 Mon 22:26] |
|
689
|
:END: |
|
690
|
|
9
|
691
|
* TODO net 0.1 [5/8] :lisp:net: |
|
692
|
:LOGBOOK: |
|
693
|
- State "TODO" from [2023-12-17 Sun 01:00] |
|
694
|
:END: |
|
695
|
** TODO fixtures :rt: |
|
696
|
:LOGBOOK: |
|
697
|
- State "TODO" from [2024-08-11 Sun 00:06] |
|
698
|
:END: |
|
699
|
- implement simple network fixtures which can be used within the body of DEFTEST |
|
700
|
- start with simple sockets - UDP then TCP |
|
701
|
- work up towards HTTP |
|
702
|
** TODO tcp :core: |
|
703
|
:LOGBOOK: |
|
704
|
- State "TODO" from [2023-12-17 Sun 01:01] |
|
705
|
:END: |
|
706
|
** TODO udp :core: |
|
707
|
:LOGBOOK: |
|
708
|
- State "TODO" from [2023-12-17 Sun 01:01] |
|
709
|
:END: |
|
710
|
** DONE crew :proto: |
|
711
|
:LOGBOOK: |
|
712
|
- State "TODO" from [2023-12-17 Sun 01:01] |
|
713
|
- State "DONE" from "TODO" [2024-08-10 Sat 01:31] |
|
714
|
:END: |
|
715
|
|
|
716
|
** DONE http :proto: |
|
717
|
:LOGBOOK: |
|
718
|
- State "TODO" from [2023-12-17 Sun 01:01] |
|
719
|
- State "DONE" from "TODO" [2024-08-05 Mon 21:07] |
|
720
|
:END: |
|
721
|
** DONE dns :proto: |
|
722
|
:LOGBOOK: |
|
723
|
- State "TODO" from [2023-12-17 Sun 01:01] |
|
724
|
- State "DONE" from "TODO" [2024-08-05 Mon 21:07] |
|
725
|
:END: |
|
726
|
|
|
727
|
** DONE tlv :codec: |
|
728
|
:LOGBOOK: |
|
729
|
- State "TODO" from [2023-12-17 Sun 01:01] |
|
730
|
- State "DONE" from "TODO" [2024-08-07 Wed 21:08] |
|
731
|
:END: |
|
732
|
|
|
733
|
** DONE osc :codec: |
|
734
|
:LOGBOOK: |
|
735
|
- State "TODO" from [2023-12-17 Sun 01:03] |
|
736
|
- State "DONE" from "TODO" [2024-08-07 Wed 21:08] |
|
737
|
:END: |
|
738
|
** WIP net/srv :lisp: |
|
739
|
:LOGBOOK: |
|
740
|
- State "TODO" from [2024-07-19 Fri 21:50] |
|
741
|
- State "WIP" from "TODO" [2024-07-19 Fri 21:51] |
|
742
|
:END: |
|
743
|
- needs a solid task-pool impl completed first |
|
744
|
*** RESEARCH Woo/+ |
|
745
|
:LOGBOOK: |
|
746
|
- State "RESEARCH" from [2024-08-10 Sat 01:23] |
|
747
|
:END: |
|
748
|
* TODO pwn 0.1 [0/1] :lisp:pwn: |
|
749
|
:LOGBOOK: |
|
750
|
- State "TODO" from [2023-12-17 Sun 01:04] |
|
751
|
- Note taken on [2024-02-29 Thu 16:11] \\ |
|
752
|
Should this be a separate application? Lisp exploit development framework |
|
753
|
:END: |
|
754
|
** TODO diz |
|
755
|
:LOGBOOK: |
|
756
|
- State "TODO" from [2023-12-17 Sun 01:04] |
|
757
|
:END: |
|
758
|
* TODO gui 0.1 [0/2] :lisp:gui: |
|
759
|
:LOGBOOK: |
|
760
|
- State "TODO" from [2023-12-17 Sun 03:40] |
|
761
|
:END: |
|
762
|
** TODO wayland protocol bindings |
|
763
|
:LOGBOOK: |
|
764
|
- State "TODO" from [2023-12-17 Sun 03:40] |
|
765
|
:END: |
|
766
|
** TBD wayland compositor :rust:lisp: |
|
767
|
:LOGBOOK: |
|
768
|
- State "TBD" from "TODO" [2023-11-29 Wed 21:25] |
|
769
|
:END: |
|
770
|
:PROPERTIES: |
|
771
|
:ID: e18a90d7-10bc-44d3-8508-56483d29d385 |
|
772
|
:END: |
12
|
773
|
* TODO rt 0.1 [0/4] :lisp:rt: |
9
|
774
|
:LOGBOOK: |
|
775
|
- State "TODO" from [2024-02-29 Thu 16:06] |
|
776
|
:END: |
|
777
|
** TODO redirect I/O in tests |
|
778
|
:LOGBOOK: |
|
779
|
- State "TODO" from [2024-02-29 Thu 16:06] |
|
780
|
:END: |
|
781
|
prevent tests from printing implicitly. redirect stream locally, cache |
|
782
|
it somehow for review. |
|
783
|
** TODO *test-on-def* |
|
784
|
:LOGBOOK: |
|
785
|
- State "TODO" from [2024-02-29 Thu 17:17] |
|
786
|
:END: |
|
787
|
- simple flag to test when file is defined (part of deftest macro) |
12
|
788
|
** TODO fixture api |
|
789
|
:LOGBOOK: |
|
790
|
- State "TODO" from [2024-08-13 Tue 22:22] |
|
791
|
:END: |
14
|
792
|
* TODO emacs 0.1 :emacs: |
|
793
|
:LOGBOOK: |
|
794
|
- State "TODO" from [2024-08-16 Fri 22:39] |
|
795
|
:END: |
|
796
|
- don't really care about versioning the core/emacs configs much |
|
797
|
- may come in use later so just a general milestone when these tasks are done |
|
798
|
** TODO comp/org capture templates |
|
799
|
:LOGBOOK: |
|
800
|
- State "TODO" from [2024-08-15 Thu 23:14] |
|
801
|
:END: |
|
802
|
** TODO comp/org agenda views, export, dblock |
|
803
|
:LOGBOOK: |
|
804
|
- State "TODO" from [2024-08-15 Thu 23:15] |
|
805
|
:END: |
|
806
|
** FIXME compiler warnings |
|
807
|
:LOGBOOK: |
|
808
|
- State "FIXME" from [2024-08-16 Fri 22:42] |
|
809
|
:END: |
|
810
|
** TODO remove makefile |
|
811
|
:LOGBOOK: |
|
812
|
- State "TODO" from [2024-08-16 Fri 22:44] |
|
813
|
:END: |
|
814
|
* DONE dot 0.1 [1/1] :lisp:dot: |
9
|
815
|
:LOGBOOK: |
|
816
|
- State "TODO" from [2023-12-20 Wed 18:27] |
14
|
817
|
- State "DONE" from "NOPE" [2024-08-16 Fri 22:38] |
9
|
818
|
:END: |
14
|
819
|
- implemented in dat/dot.lisp |
9
|
820
|
** NOPE PARSE-SPECIALIZER-USING-CLASS |
|
821
|
:LOGBOOK: |
|
822
|
- State "TODO" from [2023-12-20 Wed 18:28] |
|
823
|
:END: |
|
824
|
- experimental SB-MOP generic, may be useful in places where we would |
|
825
|
typically use =(eql OBJECT)= as a specializer for GRAPH. |
|
826
|
|
|
827
|
* TBD homer 0.1 [1/2] :lisp:homer: |
|
828
|
:LOGBOOK: |
|
829
|
- State "TBD" from "TODO" [2023-12-12 Tue 19:53] |
|
830
|
:END: |
|
831
|
** DONE review GNU stow API |
|
832
|
:LOGBOOK: |
|
833
|
- State "TODO" from [2023-12-24 Sun 19:32] |
|
834
|
- State "DONE" from "TODO" [2024-08-05 Mon 21:06] |
|
835
|
:END: |
|
836
|
[[https://www.gnu.org/software/stow/][homepage]] |
|
837
|
'symlink farm manager' |
|
838
|
rust impl: https://github.com/qboileau/rstow |
|
839
|
|
12
|
840
|
** TODO consolidate with skel :skel: |
9
|
841
|
:LOGBOOK: |
|
842
|
- State "TODO" from [2023-12-24 Sun 19:32] |
|
843
|
:END: |