Kristin
@wiredaemon.bsky.social
Formal Methods, Programming languages, Specifications.
discord: wiredaemon
she / her 🏳️⚧️
discord: wiredaemon
she / her 🏳️⚧️
there's the stereotype of the u-haul lesbian. i'm proposing the extension of this concept to the shipping-container lesbian.
May 11, 2025 at 6:03 PM
there's the stereotype of the u-haul lesbian. i'm proposing the extension of this concept to the shipping-container lesbian.
me: does thing
others: you gonna do thing?
me: i don't think so
me: here's update on thing
others: so you really wanna do thing, huh?
me: I really don't want to do thing
others: but you'll keep working on it?
me: ... yes
others: you gonna do thing?
me: i don't think so
me: here's update on thing
others: so you really wanna do thing, huh?
me: I really don't want to do thing
others: but you'll keep working on it?
me: ... yes
May 9, 2025 at 11:32 PM
me: does thing
others: you gonna do thing?
me: i don't think so
me: here's update on thing
others: so you really wanna do thing, huh?
me: I really don't want to do thing
others: but you'll keep working on it?
me: ... yes
others: you gonna do thing?
me: i don't think so
me: here's update on thing
others: so you really wanna do thing, huh?
me: I really don't want to do thing
others: but you'll keep working on it?
me: ... yes
Reposted by Kristin
T makes you Gnome, E makes you Plasma
May 4, 2025 at 12:18 PM
T makes you Gnome, E makes you Plasma
my airfryer fills me with joy and chicken nuggets
April 18, 2025 at 10:58 PM
my airfryer fills me with joy and chicken nuggets
"Sorry for being so pedantic about bread earlier" is probably the most german thing i've ever said holy shit
April 17, 2025 at 10:50 PM
"Sorry for being so pedantic about bread earlier" is probably the most german thing i've ever said holy shit
being away from the internet for a few days feels pretty good
but now i'm like "what did i miss? :D"
but now i'm like "what did i miss? :D"
April 15, 2025 at 1:38 PM
being away from the internet for a few days feels pretty good
but now i'm like "what did i miss? :D"
but now i'm like "what did i miss? :D"
I'm a sucker for contrast
March 30, 2025 at 6:51 PM
I'm a sucker for contrast
It was the end of March. Spring was just beginning. The words war and peace got thrown around a lot by all the people on TV, but the sound of their words got blown across the sky with that first spring breeze. All we thought about was clothes on sale, release dates of new games, and the beginning of
March 30, 2025 at 4:31 PM
It was the end of March. Spring was just beginning. The words war and peace got thrown around a lot by all the people on TV, but the sound of their words got blown across the sky with that first spring breeze. All we thought about was clothes on sale, release dates of new games, and the beginning of
friend: "how does that work??"
me, waving with my hands: "it's all, uh, you know, it's not just anything, it's code!
it seems like my oratory skills from teaching at uni haven't degraded one bit.
(it was about how i'm generating code with and without lisp macros)
me, waving with my hands: "it's all, uh, you know, it's not just anything, it's code!
it seems like my oratory skills from teaching at uni haven't degraded one bit.
(it was about how i'm generating code with and without lisp macros)
March 28, 2025 at 10:30 AM
friend: "how does that work??"
me, waving with my hands: "it's all, uh, you know, it's not just anything, it's code!
it seems like my oratory skills from teaching at uni haven't degraded one bit.
(it was about how i'm generating code with and without lisp macros)
me, waving with my hands: "it's all, uh, you know, it's not just anything, it's code!
it seems like my oratory skills from teaching at uni haven't degraded one bit.
(it was about how i'm generating code with and without lisp macros)
It's so sad to see people unable to truly break up with their toxic typed functional programming language, even after continued suffering.
They eventually just return to then get willingly abused by their typechecker all over again.
I guess some people never get clojure ... 😞
They eventually just return to then get willingly abused by their typechecker all over again.
I guess some people never get clojure ... 😞
March 23, 2025 at 8:03 PM
It's so sad to see people unable to truly break up with their toxic typed functional programming language, even after continued suffering.
They eventually just return to then get willingly abused by their typechecker all over again.
I guess some people never get clojure ... 😞
They eventually just return to then get willingly abused by their typechecker all over again.
I guess some people never get clojure ... 😞
me, when i was teaching at university: you see, this is why you fundamentally cannot use regex to parse a lot of things of interest, such as grammars containing even braces. it's just impossible. use a parser generator, parser combinators, etc.
also me: recursive regex matching goes brrrrr
also me: recursive regex matching goes brrrrr
March 22, 2025 at 2:26 PM
me, when i was teaching at university: you see, this is why you fundamentally cannot use regex to parse a lot of things of interest, such as grammars containing even braces. it's just impossible. use a parser generator, parser combinators, etc.
also me: recursive regex matching goes brrrrr
also me: recursive regex matching goes brrrrr
since i was asked what this means, this was a marathon reference.
if you want to lose your mind to an obscure and old game series, the marathon series is definitely not the worst to do that with.
abridged text and image taken from marathon.bungie.org/story/eatthe...
if you want to lose your mind to an obscure and old game series, the marathon series is definitely not the worst to do that with.
abridged text and image taken from marathon.bungie.org/story/eatthe...
March 22, 2025 at 2:19 PM
since i was asked what this means, this was a marathon reference.
if you want to lose your mind to an obscure and old game series, the marathon series is definitely not the worst to do that with.
abridged text and image taken from marathon.bungie.org/story/eatthe...
if you want to lose your mind to an obscure and old game series, the marathon series is definitely not the worst to do that with.
abridged text and image taken from marathon.bungie.org/story/eatthe...
Existence is simple: find the food, push the button, hit the treadmill.
But sometimes it gets much harder.
Cross over the cell bars, find a new maze, make the maze from it's path, find the cell bars, cross over the bars, find a maze, make the maze from its path, eat the food, eat the path.
But sometimes it gets much harder.
Cross over the cell bars, find a new maze, make the maze from it's path, find the cell bars, cross over the bars, find a maze, make the maze from its path, eat the food, eat the path.
March 16, 2025 at 6:18 PM
Existence is simple: find the food, push the button, hit the treadmill.
But sometimes it gets much harder.
Cross over the cell bars, find a new maze, make the maze from it's path, find the cell bars, cross over the bars, find a maze, make the maze from its path, eat the food, eat the path.
But sometimes it gets much harder.
Cross over the cell bars, find a new maze, make the maze from it's path, find the cell bars, cross over the bars, find a maze, make the maze from its path, eat the food, eat the path.
Why do I have the urge to write a clojure (jvm) debugger? I know getting it to a state I would find satisfactory will hurt me mentally.
March 11, 2025 at 9:39 AM
Why do I have the urge to write a clojure (jvm) debugger? I know getting it to a state I would find satisfactory will hurt me mentally.
The first Mozilla TOS are a joke. They state that "use of Firefox must follow Mozilla’s Acceptable Use Policy" in which they state that "You may not use any of Mozilla’s services to:" even display sexual content. Watching porn is now illegal on firefox i guess. Who came up with this nonsense?
February 28, 2025 at 12:43 PM
The first Mozilla TOS are a joke. They state that "use of Firefox must follow Mozilla’s Acceptable Use Policy" in which they state that "You may not use any of Mozilla’s services to:" even display sexual content. Watching porn is now illegal on firefox i guess. Who came up with this nonsense?
It's funny how zig is actively removing features that I like and that are necessary for what I want to do with zig. Like actively breaking changes and removing access to information that zig internally clearly has and had, "because you're not supposed to depend on that" 🥲
February 27, 2025 at 9:52 AM
It's funny how zig is actively removing features that I like and that are necessary for what I want to do with zig. Like actively breaking changes and removing access to information that zig internally clearly has and had, "because you're not supposed to depend on that" 🥲
Oh man, tomato scrambled eggs over rice is a fantastic dish
February 25, 2025 at 6:42 AM
Oh man, tomato scrambled eggs over rice is a fantastic dish
clojure def with the ^:const metadata is extremely evil.
if you use it on non-primitive datatypes or strings, etc, it *can* work ... to a degree. but it then might blow up spectacularly once the type of the value is being inspected.
And the error is some nondescript `Bad type on operand stack`
if you use it on non-primitive datatypes or strings, etc, it *can* work ... to a degree. but it then might blow up spectacularly once the type of the value is being inspected.
And the error is some nondescript `Bad type on operand stack`
February 23, 2025 at 8:27 PM
clojure def with the ^:const metadata is extremely evil.
if you use it on non-primitive datatypes or strings, etc, it *can* work ... to a degree. but it then might blow up spectacularly once the type of the value is being inspected.
And the error is some nondescript `Bad type on operand stack`
if you use it on non-primitive datatypes or strings, etc, it *can* work ... to a degree. but it then might blow up spectacularly once the type of the value is being inspected.
And the error is some nondescript `Bad type on operand stack`
i wrote a clojure function that *will* use the zig compiler. no, you cannot say no.
it'll use the one in the `zig-compiler` folder
alternatively it will extract a platform specific archive from the jar
alternatively it'll use zig that's on PATH
alternatively it'll download zig from ziglang org
it'll use the one in the `zig-compiler` folder
alternatively it will extract a platform specific archive from the jar
alternatively it'll use zig that's on PATH
alternatively it'll download zig from ziglang org
February 19, 2025 at 11:21 PM
i wrote a clojure function that *will* use the zig compiler. no, you cannot say no.
it'll use the one in the `zig-compiler` folder
alternatively it will extract a platform specific archive from the jar
alternatively it'll use zig that's on PATH
alternatively it'll download zig from ziglang org
it'll use the one in the `zig-compiler` folder
alternatively it will extract a platform specific archive from the jar
alternatively it'll use zig that's on PATH
alternatively it'll download zig from ziglang org
there's so much productivity advice that just doesn't work if you're some specific flavor of adhd and/or autism
e.g. eating the frog (doing the ugliest task first) is a surefire way to procrastinate for me. for me it's all about that momentum and this is like starting the car in 6th gear
e.g. eating the frog (doing the ugliest task first) is a surefire way to procrastinate for me. for me it's all about that momentum and this is like starting the car in 6th gear
February 12, 2025 at 8:06 AM
there's so much productivity advice that just doesn't work if you're some specific flavor of adhd and/or autism
e.g. eating the frog (doing the ugliest task first) is a surefire way to procrastinate for me. for me it's all about that momentum and this is like starting the car in 6th gear
e.g. eating the frog (doing the ugliest task first) is a surefire way to procrastinate for me. for me it's all about that momentum and this is like starting the car in 6th gear
i found a dev diary from 2017. it has this comment:
"In the long run a vulkan backend seems like the way to go, but with vulkan the bootstrap IS the project "
it's sad that in ... 8 years, things have gotten better (1.3 whoo), but not to the point that this statement would be incorrect now
"In the long run a vulkan backend seems like the way to go, but with vulkan the bootstrap IS the project "
it's sad that in ... 8 years, things have gotten better (1.3 whoo), but not to the point that this statement would be incorrect now
February 11, 2025 at 1:32 PM
i found a dev diary from 2017. it has this comment:
"In the long run a vulkan backend seems like the way to go, but with vulkan the bootstrap IS the project "
it's sad that in ... 8 years, things have gotten better (1.3 whoo), but not to the point that this statement would be incorrect now
"In the long run a vulkan backend seems like the way to go, but with vulkan the bootstrap IS the project "
it's sad that in ... 8 years, things have gotten better (1.3 whoo), but not to the point that this statement would be incorrect now
i am more lost than i am able to convey with words
January 27, 2025 at 10:45 PM
i am more lost than i am able to convey with words
i keep making mild pepperspray on accident and it's worrying how little i learn from this
January 25, 2025 at 9:26 PM
i keep making mild pepperspray on accident and it's worrying how little i learn from this