OSDN -- 开发和下载开源软件
简体中文翻译状态 translation status for zh

Filter RSS
Chamber History: Cammy

2024-07-01
06:28
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 94316419d77d60a26f67487754df350dfc1a0290)
Add a sort of Maxwell's-laws presentation. I don't personally put much stock in this sort of thi...
2024-05-24
14:11
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 97a7a3ed2f25a148e138e7dedb43af9b84a405b4)
jelly: Fix the problematic rule.
2024-04-25
11:12
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 8b60dc0d6200a93008d69c118732d46bdc7a72d3)
Get 2to3.py to build a v3 hive. I haven't verified that the contents of the hive are correct, an...
2024-03-12
06:22
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 530f14a3d6cb9afae5b36e613341c4af10e901e3)
Include zaha.
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...