Koldinium
banner
koldinium.com
Koldinium
@koldinium.com
A person with a corporeal form. Game dev and programmer. Likes Odin, C and Scheme. Big fan of Tak.

Account on pds.witchcraft.systems

koldinium.com
Q: would atproto people be interested in language that compiles to a lexicon but is less verbose to write, like this:

uh #atproto or something not sure how to put this post into the feeds that people use.
September 1, 2025 at 11:45 AM
i *love* the fact that the description to Hypatia is written in the first person.

github.com/kindl/Hypatia
August 21, 2025 at 11:20 AM
finally; the fun part
August 20, 2025 at 11:06 PM
for my non ML-brained followers, here's an equivalent rust example to help you see what's happening
August 20, 2025 at 10:00 PM
they're completely crazy over there
August 20, 2025 at 9:49 PM
unironically i think more languages could use something like this
August 20, 2025 at 9:48 PM
what even is a typeclass bro
August 20, 2025 at 8:39 PM
August 19, 2025 at 11:08 PM
this is what i'm talking about
August 16, 2025 at 7:37 PM
i feel like this is something obvious enough to be implicit.

i dunno the extra typing for say, a second type parameter is a little silly
August 16, 2025 at 6:45 PM
a thing i'm noticing in lean is that there are certain places where i feel like i should be able to elide type declarations but i can't.

as an example, take this declaration:
August 16, 2025 at 6:22 PM
neat!
August 16, 2025 at 5:55 PM
all programs should have a strong opening statement
August 15, 2025 at 12:55 AM
August 12, 2025 at 4:49 AM
sorry stuff happened anyway here's what i've been working on

didn't get much time to work on it so it's quite bare bones
August 9, 2025 at 6:58 PM
working on an illustrated overview of atproto.

for this specific one, i think i'll get rid of the bluesky client thing in the middle, it sort of creates the sense of a "middleman" i don't like. it's aimed at non-technical people and i think this would confuse people.
July 25, 2025 at 10:51 AM
i love tldraw so much
June 28, 2025 at 5:50 PM
baby steps
June 23, 2025 at 8:30 AM
the note of shame
June 22, 2025 at 11:35 AM
i do wish lexicons were easier to read and write for humans,

i was playing around with the idea of a DSL like this, but concluded that it's not the best thing for me to work on right this moment
June 22, 2025 at 9:02 AM
uh oh
June 22, 2025 at 8:23 AM
great post
June 13, 2025 at 4:44 PM
honorary mention to the Unlicense for having fire wording (if being legally ambiguous)
June 4, 2025 at 7:11 PM
wait till i add error handling and copy paste the same piece of code 20 times
May 30, 2025 at 11:15 PM
can you guess how long it takes for these 10 lines of code to compile?
May 29, 2025 at 8:34 AM