miloignis
  • Joined on 2023-01-28
miloignis pushed to master at miloignis/kraken 2023-03-29 05:58:10 +00:00
3c5bb127e2 Work on saving env on calls and suspended symbols, only use as env if legal. Seemingly causing exponential behavior, need to have it done incrementally... todo
miloignis pushed to main at miloignis/nix_config 2023-03-29 01:34:59 +00:00
087a160601 Add font install & config for foot, using recursive for now
miloignis pushed to master at miloignis/kraken 2023-03-27 05:27:33 +00:00
8fa7acbdf1 Actually using the evaled param lookups with cons pairs etc - Tests failing - need to figure out how to really handle the *weird* case, and also the failing tests if the *wierd* case isn't the cause. Not sure if we need to track to prevent the dropping of the *not* redundant veval, or if the suspended symbol should hold onto the half-done env, or what
miloignis pushed to master at miloignis/kraken 2023-03-27 04:28:47 +00:00
664b336a48 trac suspended param eval, with proper back conversion
miloignis pushed to main at miloignis/nix_config 2023-03-26 05:33:42 +00:00
7ba91ab1a4 Upgrade
miloignis pushed to master at miloignis/kraken 2023-03-25 20:59:27 +00:00
70ac3e3633 Add theming and a 'slick' theme based on Inter and JetBrains Mono
miloignis pushed to master at miloignis/kraken 2023-03-22 05:06:26 +00:00
049624a840 Baby steps towards handling non-val car/cdr (eventually cons)
miloignis pushed to master at miloignis/kraken 2023-03-22 04:27:26 +00:00
85454fda79 unneeded anchors
30c4d4b28c some website edits
Compare 2 commits »
miloignis pushed to master at miloignis/kraken 2023-03-20 05:06:42 +00:00
92bcb6f358 All tests passing when run with --release. Not sure if this is really correct, or if the algorithm is being too wasteful and re-executing versions of functions taht should have been inlined or something (this may esp be true without the parameter/wrap_level stuff, and also I'm a little sus of the env chains - oh hay, it might even just be becasue only legal env chains are allowed which prevents pe-ing)
48de9517c9 An unvaled Pair should have a True override for its IDs
9162b456d2 Oh some were just changes in formatting. First real issue looks like it's VMAP
1df3acccd7 Some tests passing again, namely all of basic and fact
7b334e96df Finally finished sketching out the new version, lets get on the compile errors
Compare 16 commits »
miloignis pushed to partially_broken at miloignis/kraken 2023-03-20 05:06:27 +00:00
92bcb6f358 All tests passing when run with --release. Not sure if this is really correct, or if the algorithm is being too wasteful and re-executing versions of functions taht should have been inlined or something (this may esp be true without the parameter/wrap_level stuff, and also I'm a little sus of the env chains - oh hay, it might even just be becasue only legal env chains are allowed which prevents pe-ing)
miloignis pushed to partially_broken at miloignis/kraken 2023-03-19 15:15:25 +00:00
48de9517c9 An unvaled Pair should have a True override for its IDs
miloignis pushed to partially_broken at miloignis/kraken 2023-03-19 06:03:44 +00:00
9162b456d2 Oh some were just changes in formatting. First real issue looks like it's VMAP
miloignis pushed to partially_broken at miloignis/kraken 2023-03-19 05:52:21 +00:00
1df3acccd7 Some tests passing again, namely all of basic and fact
miloignis pushed to partially_broken at miloignis/kraken 2023-03-19 04:59:51 +00:00
7b334e96df Finally finished sketching out the new version, lets get on the compile errors
miloignis pushed to partially_broken at miloignis/kraken 2023-03-18 18:57:34 +00:00
04bf1c6249 Website reformat - content still TBD
miloignis pushed to partially_broken at miloignis/kraken 2023-03-15 05:16:48 +00:00
d4920ec4b6 Notes for hopefully the full simple kraken PE, with initial implementation of new NeededIds (split between head and tails (heads are ids for which progress will be made, tails might not progress but are contained), body_under and if_under).
miloignis pushed to partially_broken at miloignis/kraken 2023-03-15 00:14:20 +00:00
865fc1b4b6 Update flake, split ast out into ast & pe_ast, and main into main & test
46e6e27f88 pre change
Compare 2 commits »
miloignis pushed to main at miloignis/nix_config 2023-03-14 23:34:25 +00:00
fceb70c5e5 remove old wireguard config
miloignis pushed to main at miloignis/nix_config 2023-03-03 01:09:08 +00:00
c344e97678 updates, try glusterfs
miloignis pushed to partially_broken at miloignis/kraken 2023-03-01 05:33:46 +00:00
d836a66e66 more numbers of evals/calls