Kristin

@wiredaemon.bsky.social

172 Followers 102 Following

Formal Methods, Programming languages, Specifications. discord: wiredaemon she / her 🏳️‍⚧️

Evangelion fans: first time?
Madoka magica fans: huh?

screenshot from the game "space warlord baby trading simulator" showing a graph of how i traded and shorted stocks, which are in this game, babies.

Your ΔE_OK JND:

0.0023

You're seeing differences that most colour scientists would call noise. If you're not already calibrating displays for a living, you're leaving money on the table.

Error message that says "German operating systems do not support this program"

drawing of a flower with descriptive text on it. the text above the flower reads "What Am I doing Here?"

(z/zig :build :run)

screenshot of vscode showing an extern zig function with one parameter and a generated array of strings corresponding to that function containing the name of the parameter.

example snippet of inline assembly via a custom f# computation expression called "asm"

Upload, download, transmit, display, or grant access to content that includes graphic depictions of sexuality or violence,
Collect or harvest personally identifiable information without permission. This includes, but is not limited to, account names and email addresses,

Drake meme: Definition of Done vs. Kill Condition

cookpot

$screenshot showing a clojure map of a list of argument types mapped to function symbols that have mangled names: {:impls {[java.lang.String] coffi.mem/bar-^1Z!%, [java.lang.Long] coffi.mem/bar-^1L!%, [long] coffi.mem/bar-^1l!%}}$

Execution time mean : 3,519647 µs
Execution time std-deviation : 16,816551 ns
Execution time lower quantile : 3,502002 µs ( 2,5%)
Execution time upper quantile : 3,542295 µs (97,5%)

Execution time lower quantile : 22,298903 µs ( 2,5%)
Execution time upper quantile : 9,543531 ms (97,5%)

packed brain meme with "rats rats we are the rats" as the thing inside the brain

Mai Tai's from Westin Resort and Spa