I'm now writing a JSON parser in Koka.
-
I'm now writing a JSON parser in Koka. It's easier than I expected because it comes with very easy to use parser combinators
-
I'm now writing a JSON parser in Koka. It's easier than I expected because it comes with very easy to use parser combinators
Afterwards I'll do JSON-LD. Straight from baby mode to "oh god oh fuck, why am I doing this to myself"
-
Afterwards I'll do JSON-LD. Straight from baby mode to "oh god oh fuck, why am I doing this to myself"
@volpeon time to make brdWoozy
-
@volpeon time to make brdWoozy
@ShadowJonathan Vel already got us covered
-
I'm now writing a JSON parser in Koka. It's easier than I expected because it comes with very easy to use parser combinators
-
I'm now writing a JSON parser in Koka. It's easier than I expected because it comes with very easy to use parser combinators
@volpeon I have a CS degree and I'm ashamed I don't know what most of this means -
Afterwards I'll do JSON-LD. Straight from baby mode to "oh god oh fuck, why am I doing this to myself"
Long term plan is an ActivityPub server which implements my ideas to fix microblogging (see my recent posts). If nobody picks them up, I'll just do it myself. Either it turns out they're bad and it was simply a fun little experiment, or they're good and maybe this prompts other servers to follow suit
-
@volpeon I have a CS degree and I'm ashamed I don't know what most of this means
@sun The documentation explains everything in more detail. I found it easy to understand, but I also worked with Haskell before and that permanently rewires your brain
-
@volpeon I have a CS degree and I'm ashamed I don't know what most of this means
-
@sun The documentation explains everything in more detail. I found it easy to understand, but I also worked with Haskell before and that permanently rewires your brain
@volpeon This language looks neat, thanks for mentioning it. -
Afterwards I'll do JSON-LD. Straight from baby mode to "oh god oh fuck, why am I doing this to myself"
@volpeon
JavaScript Object Notation for Linked Data
JavaScript Object Notation Low Density -
Long term plan is an ActivityPub server which implements my ideas to fix microblogging (see my recent posts). If nobody picks them up, I'll just do it myself. Either it turns out they're bad and it was simply a fun little experiment, or they're good and maybe this prompts other servers to follow suit
@volpeon@icy.wyvern.rip Exactly.
-
@volpeon I have a CS degree and I'm ashamed I don't know what most of this means@sun @volpeon the only one that i'm not super clear what they mean is 'composable'
'composable'
https://en.wikipedia.org/wiki/Composability
stateless & self-contained apparently, though the wikipedia article needs love so it's probably a recent-ish term
and maybe 'ambient state'
'ambient state' seems pretty straightforward : just a background state
https://www.hp.com/us-en/shop/tech-takes/what-is-ambient-computing -
Long term plan is an ActivityPub server which implements my ideas to fix microblogging (see my recent posts). If nobody picks them up, I'll just do it myself. Either it turns out they're bad and it was simply a fun little experiment, or they're good and maybe this prompts other servers to follow suit
-
@volpeon@icy.wyvern.rip Exactly.
@volpeon@icy.wyvern.rip BTW aber Vorsicht, mit zeitgemäßen Funktionen und einer anständigen App für iOS und Android könntest Du erfolgreicher sein als Mastodon.
-
Afterwards I'll do JSON-LD. Straight from baby mode to "oh god oh fuck, why am I doing this to myself"
Since Koka has no network stdlib yet, I'll have to implement URI and IRI handling first
-
Since Koka has no network stdlib yet, I'll have to implement URI and IRI handling first
@volpeon going down the next rabbit hole? -
@volpeon going down the next rabbit hole?
@stefan The grind never ends
-
Since Koka has no network stdlib yet, I'll have to implement URI and IRI handling first
Positive side effect compared to Haskell: I can unify the URI and IRI code because if there aren't any standards, I am the one making them :brdCool: In Haskell, they were in separate packages and it was kinda clunky
-
Since Koka has no network stdlib yet, I'll have to implement URI and IRI handling first
Well, guess what
I need to write a module for unit testing, too 
