Jared Forsyth
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
pattern from the Alhambra in Granada, Spain
October 31, 2025 at 3:55 AM
pattern from the Alhambra in Granada, Spain
an art
based on a macro-pattern from the Mirador de Lindaraja in the Alhambra
based on a macro-pattern from the Mirador de Lindaraja in the Alhambra
September 3, 2025 at 3:11 AM
an art
based on a macro-pattern from the Mirador de Lindaraja in the Alhambra
based on a macro-pattern from the Mirador de Lindaraja in the Alhambra
I'm struggling to understand what www.npmjs.com means by "Recently updated" 🤔
April 30, 2025 at 2:03 AM
I'm struggling to understand what www.npmjs.com means by "Recently updated" 🤔
Here's another flex 💪 we can have a function of two arguments where *at least one* of the arguments needs to have a given attribute defined.
April 25, 2025 at 11:04 PM
Here's another flex 💪 we can have a function of two arguments where *at least one* of the arguments needs to have a given attribute defined.
ok this is just really cool. the constraints system I set up gives you "optional record arguments" for free!
it would be simple to add syntax affordances for it as well, e.g. ({one, two, three = true}) => ...
it would be simple to add syntax affordances for it as well, e.g. ({one, two, three = true}) => ...
April 25, 2025 at 4:00 AM
ok this is just really cool. the constraints system I set up gives you "optional record arguments" for free!
it would be simple to add syntax affordances for it as well, e.g. ({one, two, three = true}) => ...
it would be simple to add syntax affordances for it as well, e.g. ({one, two, three = true}) => ...
Ok so it's possible I'm overlooking something crucial, but I think I might have gotten polymorphic records to work?? without needing a distinction between (extend) and (override), as well as allowing for multiple-extend, e.g. {...a, ...b, c: 2}
I haven't seen papers that can pull this off 😳
I haven't seen papers that can pull this off 😳
April 24, 2025 at 3:53 AM
Ok so it's possible I'm overlooking something crucial, but I think I might have gotten polymorphic records to work?? without needing a distinction between (extend) and (override), as well as allowing for multiple-extend, e.g. {...a, ...b, c: 2}
I haven't seen papers that can pull this off 😳
I haven't seen papers that can pull this off 😳
we have full rewind & replay, including viewing live results of evaluation at every step 🎉 😎
April 20, 2025 at 4:14 AM
we have full rewind & replay, including viewing live results of evaluation at every step 🎉 😎
update test snapshots inline 🎉
April 10, 2025 at 2:56 AM
update test snapshots inline 🎉
inline test success/failure reporting
April 9, 2025 at 2:21 AM
inline test success/failure reporting
Type inference of mutually recursive values!
April 5, 2025 at 12:46 AM
Type inference of mutually recursive values!
status update: parser & basic type inference hooked up for ground level language. once I finish fleshing out the type inference, I'll move on to inline execution
March 30, 2025 at 3:01 AM
status update: parser & basic type inference hooked up for ground level language. once I finish fleshing out the type inference, I'll move on to inline execution
March 26, 2025 at 7:35 PM
Are there any languages that allow you to "re-enter" the switch control flow, if you determine that the branch you're on isn't right? I sometimes find myself having e.g. nested switches, and I want to be able to "jump out" to the parent switch and keep going, often in a default case. same with "if"s
February 6, 2025 at 2:53 AM
Are there any languages that allow you to "re-enter" the switch control flow, if you determine that the branch you're on isn't right? I sometimes find myself having e.g. nested switches, and I want to be able to "jump out" to the parent switch and keep going, often in a default case. same with "if"s
imagine, conway's game of life, but, hexagons
(the rules are the same, cells still have 9 neighbors, every other row is just shifted over a bit. it's a display-only change)
(the rules are the same, cells still have 9 neighbors, every other row is just shifted over a bit. it's a display-only change)
January 25, 2025 at 1:03 AM
imagine, conway's game of life, but, hexagons
(the rules are the same, cells still have 9 neighbors, every other row is just shifted over a bit. it's a display-only change)
(the rules are the same, cells still have 9 neighbors, every other row is just shifted over a bit. it's a display-only change)
was feeling a little braindead the 3rd day of POPL so I made a colorific game of life
inspired by @todepond.com's huegene (www.todepond.com/lab/cells/dr...)
inspired by @todepond.com's huegene (www.todepond.com/lab/cells/dr...)
January 25, 2025 at 12:51 AM
was feeling a little braindead the 3rd day of POPL so I made a colorific game of life
inspired by @todepond.com's huegene (www.todepond.com/lab/cells/dr...)
inspired by @todepond.com's huegene (www.todepond.com/lab/cells/dr...)
finally implemented decimal-point handling, so 2.3 doesn't get parsed as attribute access 😅
December 14, 2024 at 5:51 AM
finally implemented decimal-point handling, so 2.3 doesn't get parsed as attribute access 😅
considering switching from in-place "placeholders" to tooltips that only show when your cursor is over the blank node.
Thoughts?
Thoughts?
December 13, 2024 at 11:52 PM
considering switching from in-place "placeholders" to tooltips that only show when your cursor is over the blank node.
Thoughts?
Thoughts?
hey I heard you like xml in your codes
December 12, 2024 at 5:05 AM
hey I heard you like xml in your codes
I'm thinking a regex literal as a match case, so like
December 11, 2024 at 4:00 PM
I'm thinking a regex literal as a match case, so like