#kokalang — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #kokalang, aggregated by home.social.
-
You know how you sometimes want to review something that is not a book but doing so on a public #bookwyrm instance feels wrong?
Well, now you can do it with a tool designed for reviews of arbitrary units of media with #annexwyrm.
It's written by #ClaudeCode in #KokaLang, serving behind #Caddy, project-managed by yours truly — https://github.com/cognivore/annexwyrm
Example of me reviewing a design document of a #magicthegathering #cube I played the other day —
https://wyrm.fere.me/items/89fa00bd2da5f777e2ce7ca8
(It was a great cube)
-
You know how you sometimes want to review something that is not a book but doing so on a public #bookwyrm instance feels wrong?
Well, now you can do it with a tool designed for reviews of arbitrary units of media with #annexwyrm.
It's written by #ClaudeCode in #KokaLang, serving behind #Caddy, project-managed by yours truly — https://github.com/cognivore/annexwyrm
Example of me reviewing a design document of a #magicthegathering #cube I played the other day —
https://wyrm.fere.me/items/89fa00bd2da5f777e2ce7ca8
(It was a great cube)
-
You know how you sometimes want to review something that is not a book but doing so on a public #bookwyrm instance feels wrong?
Well, now you can do it with a tool designed for reviews of arbitrary units of media with #annexwyrm.
It's written by #ClaudeCode in #KokaLang, serving behind #Caddy, project-managed by yours truly — https://github.com/cognivore/annexwyrm
Example of me reviewing a design document of a #magicthegathering #cube I played the other day —
https://wyrm.fere.me/items/89fa00bd2da5f777e2ce7ca8
(It was a great cube)
-
You know how you sometimes want to review something that is not a book but doing so on a public #bookwyrm instance feels wrong?
Well, now you can do it with a tool designed for reviews of arbitrary units of media with #annexwyrm.
It's written by #ClaudeCode in #KokaLang, serving behind #Caddy, project-managed by yours truly — https://github.com/cognivore/annexwyrm
Example of me reviewing a design document of a #magicthegathering #cube I played the other day —
https://wyrm.fere.me/items/89fa00bd2da5f777e2ce7ca8
(It was a great cube)
-
You know how you sometimes want to review something that is not a book but doing so on a public #bookwyrm instance feels wrong?
Well, now you can do it with a tool designed for reviews of arbitrary units of media with #annexwyrm.
It's written by #ClaudeCode in #KokaLang, serving behind #Caddy, project-managed by yours truly — https://github.com/cognivore/annexwyrm
Example of me reviewing a design document of a #magicthegathering #cube I played the other day —
https://wyrm.fere.me/items/89fa00bd2da5f777e2ce7ca8
(It was a great cube)
-
Effect handlers in koka -
Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024) - YouTube
https://m.youtube.com/watch?v=A8dpmhXdjyw -
Effect handlers in koka -
Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024) - YouTube
https://m.youtube.com/watch?v=A8dpmhXdjyw -
Effect handlers in koka -
Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024) - YouTube
https://m.youtube.com/watch?v=A8dpmhXdjyw -
Effect handlers in koka -
Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024) - YouTube
https://m.youtube.com/watch?v=A8dpmhXdjyw -
Effect handlers in koka -
Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024) - YouTube
https://m.youtube.com/watch?v=A8dpmhXdjyw -
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
"Functional But In Place" languages according to the comments: Roc, Lean, Koka.
Koka is the one I got hits on when I tried to remember what Roc was called, as Koka seems to have been the first or most well-known to have been used for a paper with a functional-looking in-place-executing quicksort.
#FunctionalButInPlace #FBIP #LeanLang #KokaLang #Koka -
"Functional But In Place" languages according to the comments: Roc, Lean, Koka.
Koka is the one I got hits on when I tried to remember what Roc was called, as Koka seems to have been the first or most well-known to have been used for a paper with a functional-looking in-place-executing quicksort.
#FunctionalButInPlace #FBIP #LeanLang #KokaLang #Koka