Filter RSS
Corbin's History

2024-03-23
2024-03-04
2024-01-13
2024-01-01
03:53
[PersonalForge] Newly created chamber: Every (every)
An ADHD-friendly regular task tracker
2023-12-29
2023-10-21
13:55
[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
[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
[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-07-08
[Git] commits were pushed to 'flitter-nix' (current: 8aa997f0c15b38ce52569a1387afea104f4bcdb5)
Make Gold.to_image foldable. Okay! This was the missing piece. Now to restore the big patch...
2023-07-04
2023-06-12
03:15
[Git] commits were pushed to 'zirpu' (current: 356751b59d378fbe6ea336211e0c3588cd08eccb)
Add WP query access, and fix a few bugs. Most importantly, make choices on RWKV work. The same t...
2023-06-06
2023-06-05
2023-05-31
[Git] commits were pushed to 'flitter-nix' (current: 46bc328e49cefdc314f68f637f3ca2e9c06e1961)
Encapsulate prepared statements, caching them. SQLite doesn't automatically cache prepared state...
2023-05-26
[Git] commits were pushed to 'flitter-nix' (current: 442635013a88c060ff0fd919ce7ae048b4a7b418)
Finish hacking on summary tool. All of the queries seem to report accurate data. Summation of se...
2023-05-24
[Git] commits were pushed to 'flitter-nix' (current: 6df03b7fc8079ff67780c9c2c8b1c900b0701550)
Start factoring SQLite access. Also, reuse the existing Welford implementation. The SQLite user-...
2023-05-23
[Git] commits were pushed to 'flitter-nix' (current: b108d273dd8362f31613ae57680bb4f0460b1675)
Start rebuilding summary tool. Haven't ported the statistics yet. Need sleeps first.
2023-05-20
04:04
[Git] commits were pushed to 'zirpu' (current: cfbf97cd1d5d10fa0fd77ef16b2b582c5463d7c8)
Well, it works. But it sucks. Fuck it. Nobody gives a shit anyway.