表示フィルター RSS
作業部屋 Cammy の履歴

2024-07-01
06:28
Cammy
corbin
[Git] 'cammy' へ push を行いました (最新: 94316419d77d60a26f67487754df350dfc1a0290)
Add a sort of Maxwell's-laws presentation. I don't personally put much stock in this sort of thi...
2024-05-24
2024-04-25
11:12
Cammy
corbin
[Git] 'cammy' へ push を行いました (最新: 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
2023-10-21
13:55
Cammy
corbin
[Git] 'cammy' へ push を行いました (最新: 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] 'cammy' へ push を行いました (最新: 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] 'cammy' へ push を行いました (最新: ec13b168d1f54a4e1c71d97a4676dc5347fa68c3)
Flesh out a basic tree-insertion tool. This is sufficient to implement a basic set of expression...
2023-06-05
2023-04-25
2023-04-03
2023-03-28
2023-03-13
2023-03-03
15:21
Cammy
corbin
2023-02-26
16:53
Cammy
corbin
[Git] 'cammy' へ push を行いました (最新: 00f0108a7c05a0ab9419bae62b233e2a9a0f9622)
Force the principal branch for f-sqrt. This halves the search space.
2023-02-21
2023-02-16
07:45
Cammy
corbin
[Git] 'cammy' へ push を行いました (最新: 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] 'cammy' へ push を行いました (最新: 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] 'cammy' へ push を行いました (最新: 23bcde0c09f26571b9c259618fa2bfdfb0880c99)
Debug FP multiplication somewhat. For some reason, ground inputs are not giving a ground output....
2023-01-31
16:52
Cammy
corbin
[Git] 'cammy' へ push を行いました (最新: 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] 'cammy' へ push を行いました (最新: 0f322cea91c2fa1e671ada0a2ab8fda1477c7e44)
Search backwards through eval° and cammy°. I figured it out for eval°, but I do not at all under...