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
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.
uh #atproto or something not sure how to put this post into the feeds that people use.
![com.example.social.post {
description = "Social media post record definition"
// Import other lexicons
repo = import "com.atproto.repo.defs"
social = import "com.example.social.defs"
// Type definitions
PostRecord = record{
key: tid
record: Post
}
Post = object {
text: string @maxGraphemes(300)
createdAt: datetime
author: did
images: ?Image[] @maxLength(4)
reply: ?ReplyRef
embed: ?union { social#VideoEmbed, social#LinkEmbed }
tags: ?enum{"tech", "art", "social"}
}
Image = object {
alt: string @maxGraphemes(1000)
image: blob @accept(["image/*"]) @maxSize(1000000)
aspectRatio: ?AspectRatio
}
AspectRatio = object {
width: integer @minimum(1)
height: integer @minimum(1)
}
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:sqd4qv5ovqoit3zua3fj35jt/bafkreifsoacifyuowujx6v6pd65xsiy6bpppw5jvxymbefmqcnnizl4l6u@jpeg)
September 1, 2025 at 11:45 AM
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.
uh #atproto or something not sure how to put this post into the feeds that people use.
i *love* the fact that the description to Hypatia is written in the first person.
github.com/kindl/Hypatia
github.com/kindl/Hypatia
August 21, 2025 at 11:20 AM
i *love* the fact that the description to Hypatia is written in the first person.
github.com/kindl/Hypatia
github.com/kindl/Hypatia
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
for my non ML-brained followers, here's an equivalent rust example to help you see what's happening
they're completely crazy over there
August 20, 2025 at 9:49 PM
they're completely crazy over there
unironically i think more languages could use something like this
August 20, 2025 at 9:48 PM
unironically i think more languages could use something like this
what even is a typeclass bro
August 20, 2025 at 8:39 PM
what even is a typeclass bro
this is what i'm talking about
August 16, 2025 at 7:37 PM
this is what i'm talking about
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
i dunno the extra typing for say, a second type parameter is a little silly
August 16, 2025 at 6:45 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
i dunno the extra typing for say, a second type parameter is a little silly
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:
as an example, take this declaration:
August 16, 2025 at 6:22 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:
as an example, take this declaration:
all programs should have a strong opening statement
August 15, 2025 at 12:55 AM
all programs should have a strong opening statement
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
didn't get much time to work on it so it's quite bare bones
August 9, 2025 at 6:58 PM
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
didn't get much time to work on it so it's quite bare bones
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.
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
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.
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.
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
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
![// Type definitions
record PostRecord {
key: tid
record: Post
}
object Post {
text: string @maxGraphemes(300) @required
createdAt: datetime @required
author: did @required
images?: Image[] @maxLength(4)
reply?: ReplyRef
embed?: union { social#VideoEmbed, social#LinkEmbed }
tags: string[] @knownValues(["tech", "art", "music"])
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:sqd4qv5ovqoit3zua3fj35jt/bafkreifl3ddbk32rzv7b7w6pq4ro5kfnqec6jjomfgazovcjhqnsabtezu@jpeg)
June 22, 2025 at 9:02 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
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
honorary mention to the Unlicense for having fire wording (if being legally ambiguous)
June 4, 2025 at 7:11 PM
honorary mention to the Unlicense for having fire wording (if being legally ambiguous)
wait till i add error handling and copy paste the same piece of code 20 times
![func atprotoAuth(handle string, password string) {
directory := identity.DefaultDirectory()
parsed_handle, _ := syntax.ParseHandle(handle)
id, _ := directory.LookupHandle(context.Background(), parsed_handle)
pds := id.PDSEndpoint()
pds += "/xrpc/com.atproto.server.createSession"
values := map[string]string{"identifier": string(id.Handle), "password": password}
jsonValue, _ := json.Marshal(values)
resp, _ := http.Post(pds, "application/json", bytes.NewBuffer(jsonValue))
body, _ := io.ReadAll(resp.Body)
user := map[string]json.RawMessage{}
json.Unmarshal(body, &user)
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:sqd4qv5ovqoit3zua3fj35jt/bafkreiee6jvt37nkxw74sceznydu4baatkroeo7rcpthzrlxx36yukyuei@jpeg)
May 30, 2025 at 11:15 PM
wait till i add error handling and copy paste the same piece of code 20 times
can you guess how long it takes for these 10 lines of code to compile?
![use warp::Filter;
#[tokio::main]
async fn main() {
env_logger::init();
let assets_route = warp::path("assets").and(warp::fs::dir("site/assets"));
let root = assets_route.or(warp::get()
.and(warp::path::end())
.and(warp::fs::file("site/index.html")));
warp::serve(root).run(([127, 0, 0, 1], 3030)).await;
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:sqd4qv5ovqoit3zua3fj35jt/bafkreieq3uyworhv74cs2w6gor3jvjqswa2jmurtr4ctwyrxc6zlcjyhza@jpeg)
May 29, 2025 at 8:34 AM
can you guess how long it takes for these 10 lines of code to compile?