miloignis
0 Followers · 0 Following
  • Joined on 2023-01-28
Repositories
3
 Projects Packages Public Activity Starred Repositories
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
miloignis pushed to partially_broken at miloignis/kraken 2023-02-28 06:15:54 +00:00
3df2d02286 Merge branch 'master' into partially_broken
3d6082503c track evals, dyn 0 calls, dyn 1 calls
af2fb537c7 saving remaining before
Compare 3 commits »
miloignis pushed to master at miloignis/kraken 2023-02-28 06:15:40 +00:00
3d6082503c track evals, dyn 0 calls, dyn 1 calls
miloignis pushed to main at miloignis/nix_config 2023-02-28 05:08:46 +00:00
6fbb14e637 update