riki/treehouse
riki/treehouse
1
Fork 0
Code Issues 33 Activity

rebranding from liquidex.house to riki.house

Browse source
This commit is contained in:
りき萌 2025-01-05 20:15:10 +01:00
parent 93c24859d0
commit 2d687977c8
87 changed files with 381 additions and 175 deletions
Download patch file Download diff file Expand all files Collapse all files

2
content/programming/blog/or-types.tree
View file

@ -60,7 +60,7 @@ my intuitive understanding was this:
% id = "01HTWN4XAD1MF8MGFK2BQPNQJQ"
- now you might ask "what does this have to do with types mr. liquidex?"
- now you might ask "what does this have to do with types mr. riki?"
% id = "01HTWN4XADE1NAXYNE0MWP03SP"
- I've always thought of product types as being very similar to a Boolean `AND` of two types, and sum types as being very similar to a Boolean `OR` of two types.

2
content/programming/blog/vfs.tree
View file

@ -286,7 +286,7 @@ like... you know. a _virtual_ file system?
- ### [Radio Edit (radio edit)](https://www.youtube.com/watch?v=WQzx9o2-0d0){.secret}
% id = "01JDJGVC7BH3VFBZ4MG5TXJT25"
- _but wait liquidex! what's that `edit_path` do?_
- _but wait riki! what's that `edit_path` do?_
% id = "01JDJGVC7B7WD9RA8KZ1RT4MPS"
- one notable thing about this virtual file system is that it doesn't allow writing to the virtual files.