freenode/#sicl - IRC Chatlog
Search
8:38:27
splittist
beach: when you say "sicl production code" I think I know what you mean. But: what do you mean?
8:40:12
beach
The source code of stuff that will run in the final system, as opposed to special code written for the purpose of bootstrapping.
8:41:25
splittist
OK. Are you trying to delay loading as much prodcode as possible until after the knot is tied?
8:42:20
no-defun-allowed
although i don't know if it applies to prod, i think one goal was to use common code for as many envs as possible
8:42:47
beach
In a way, yes. I am not trying to avoid loading production code before. I am trying to avoid having specific bootstrapping code.
8:43:31
beach
I will load as much code as needed to tie the knot, but I do want to tie the knot as early as possible.
8:44:17
beach
Yes, at some point (soon) I will factor the bootstrapping code so that I can reuse it in several phases.
15:23:57
scymtym
something to look at on a slow day: https://techfak.de/~jmoringe/difference-logic-and-equality.png . this is partial integration of difference logic (i.e. x - y ≤ c) and equivalence with uninterpreted functions into the SMT solver
15:26:06
scymtym
for debugging as always. this stuff is hard to think about without visualization (for me)
15:27:49
scymtym
once i finish the difference logic part, i think i can attack gf dispatch and TYPECASE for real