OSDN -- Develop and Download Open Source Software

Filter RSS
Chamber History: Cammy

2023-10-21
13:55
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 1edc88bf86dd526d4d1b39bd88a228f8b09e40fa)
Try prototyping type inference for algebras. I'm really *really* thinking about how to avoid hav...
2023-09-26
11:32
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: b79c5ebb049c3faa59ab38748214eac30d6067e0)
Successfully insert and fetch a nested AST. What is left before making a blog post? Probably tra...
2023-09-19
12:58
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: ec13b168d1f54a4e1c71d97a4676dc5347fa68c3)
Flesh out a basic tree-insertion tool. This is sufficient to implement a basic set of expression...
2023-06-05
03:05
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 34b5bd080fba78325682c72d41a3d07336461f13)
cammyo: Fix a typo.
2023-04-25
14:40
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: c6a044720457da525939f1e5142dbe5661028658)
Clean up Nix expressions.
2023-04-03
15:34
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 6a8366ee56760ce851c638da2089f149632957bc)
Print basic descriptions of arrows.
2023-03-28
05:54
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 9d5217685979ed7890a78bc374a7a9af1ca6ea67)
Add a few more rules for Booleans.
2023-03-13
16:54
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: ea8fa4c13cd15e3cdc3a357f2486a5237e9f0642)
Allow basic entry/display of templates.
2023-03-03
15:21
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: baafff008d25054cdd6025b8c069bc62f5e30320)
Enable the JIT during animations. 60 FPS!
2023-02-26
16:53
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 00f0108a7c05a0ab9419bae62b233e2a9a0f9622)
Force the principal branch for f-sqrt. This halves the search space.
2023-02-21
03:37
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 50431ae28415aa3be88bed333b8245341c4d1ce2)
Fix n-add, basically.
2023-02-16
07:45
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: fc5364cb07370fb5aa5fdc2d03980c4c22d8de1e)
Hammer out the core of an interpreter for CCCs with NNO. The only thing I don't really like is t...
2023-02-03
06:43
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: ecdf2d23263be3dd786afc2e1a44475ff133bce2)
Figure out FP multiplication. Test it out by implementing f-sqrt. It somewhat works? But has som...
2023-02-02
14:44
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 23bcde0c09f26571b9c259618fa2bfdfb0880c99)
Debug FP multiplication somewhat. For some reason, ground inputs are not giving a ground output....
2023-01-31
16:52
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 65b06ab9133989eaefb3312bbad8f37c34427471)
Clean up imports, fix FP unifications. FP values are still off by a bit, but this seems to work ...
2023-01-28
14:32
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 0f322cea91c2fa1e671ada0a2ab8fda1477c7e44)
Search backwards through eval° and cammy°. I figured it out for eval°, but I do not at all under...
2023-01-25
15:38
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 9e2117fa3082abbb63bef99824bc7007c7307b9a)
Use a faster sorting routine. SRFI-132 replaces SRFI-1's quadratic-time approach with a good old...
2023-01-14
09:07
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: d33882093f56758a151388896270bd7cb62539f3)
Optimize dissolved expressions, always. Similar to the old logic, but now that I have a REPL aga...
2023-01-03
14:35
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: a493d594f55f546bed94bbed9f5a08547ff4ba02)
Really get hacking with graph reduction in RPython.
2022-12-28
12:13
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: dced8f9d1557e94b91e62630f19b29d4c70d0e33)
Rewrite djinn core. Now we pull apart types first, synthesizing expressions from the pieces. The...