miloignis
  • Joined on 2023-01-28
miloignis pushed to master at miloignis/kraken 2023-04-08 18:06:09 +00:00
cad202551b Forgot we moved out to the standalone js
miloignis pushed to master at miloignis/kraken 2023-04-08 18:05:52 +00:00
4e7825cb2b Hack in copying code between the two editors and fix recursive.css's body style overridding the slides
miloignis pushed to master at miloignis/kraken 2023-04-08 17:38:25 +00:00
6ef3392aa0 prototype remarkjs slides with Kraken formatting and auto-execute code in browser on slide change! Some rough edges, including two different editors between the first slide and the reveal slide
miloignis pushed to master at miloignis/kraken 2023-04-06 01:10:21 +00:00
b89b831983 Website with changes made with/based on my graphic designer Mom's suggestions (thanks Mom!)
miloignis pushed to master at miloignis/kraken 2023-04-05 03:40:13 +00:00
a06c5854c8 The big exponential thing was ironically Hash which was being called for memo which existed to prevent exponential behavior. Reimplmenented the caching hash, and much much faster. Still some failing tests, and bvau might be looping
miloignis pushed to master at miloignis/kraken 2023-04-02 16:48:05 +00:00
8ccdfd8ab2 new invariant: when returned, each form is as evaluated as it can be. This means that union_into_tail is more rare, and only for recursion (if or deri) stopped items. If now also captures its environment if it's rec_stopped. Added memoization for legal env forms to try to deal with it, has helped some, still exponential behavior.
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