lexa
LightNews LightNews
banner
qexat.bsky.social
lexa
@qexat.bsky.social
1.3K followers 390 following 8.6K posts
I will often be wrong, but I will also be stubborn
Posts Replies Media Videos
qexat.bsky.social
mario sunshine ahh ost
December 22, 2025 at 1:34 PM
qexat.bsky.social
high quality picture of me
very very low quality picture of me (its just a pixel soup)
December 21, 2025 at 10:43 PM
qexat.bsky.social
screenshot of a gnome terminal window. clarisse@qexat-laptop ~ → PYTHONSTARTUP= alien python P≤├␤⎺┼ 3.13.11 (└▒␋┼, D␊␌ 7 2025, 13:01:45) [GCC 15.2.1 20251112] ⎺┼ ┌␋┼┤│ T≤⎻␊ "␤␊┌⎻", "␌⎺⎻≤⎼␋±␤├", "␌⎼␊␍␋├⎽" ⎺⎼ "┌␋␌␊┼⎽␊" °⎺⎼ └⎺⎼␊ ␋┼°⎺⎼└▒├␋⎺┼. >>> ⎻⎼␋┼├("H␊┌┌⎺, ┬⎺⎼┌␍!") H␊┌┌⎺, ┬⎺⎼┌␍! >>> ␍␊° °▒␌├(┼): ... ␋° ┼ <= 1: ... ⎼␊├┤⎼┼ ┼ ... ⎼␊├┤⎼┼ ┼ * °▒␌├(┼ - 1) ... >>> °⎺⎼ ␋ ␋┼ ⎼▒┼±␊(10): ... ⎻⎼␋┼├(°▒␌├(␋)) ... 0 1 2 6 24 120 720 5040 40320 362880 >>>
December 21, 2025 at 9:17 PM
qexat.bsky.social
making hyperpop is fun
December 17, 2025 at 11:13 AM
qexat.bsky.social
that's certainly an interesting list
Some Heroes: Casey Muratori, Andreas Kling, Jonathan Blow, Ken Thompson, Chris Lattner, Bjarne Stroustrup, Rob Pike
December 17, 2025 at 8:40 AM
qexat.bsky.social
guh what
@lemonlordminecraft 2 hours ago Hey, fair warning, the pair behind Dirt Poor Robins are like actual Alt-Right, QAnon weirdos. They're cosied up to the likes of Jordan B Peterson and Jonathan Pageau and publicly promote them. They were publicly COVID deniers among other weird grift shit. All of this sucks obviously because the whole of Queen of the Night is some of the best Electro-Swing on the Internet. @zacoo...) 5 minutes ago (edited) that's partly why I like them
December 16, 2025 at 9:54 AM
qexat.bsky.social
dontsayitdontsayitdontsayitdontsayitdontsayitdontsayit
Features • 69 language grammars included out of the box • 67 permissively licensed (MIT/Apache-2.0/CC0/Unlicense) grammars enabled by default
December 14, 2025 at 2:18 PM
qexat.bsky.social
just as i thought...
the post above, edited to make it read "im just a l i en"
December 7, 2025 at 10:21 PM
qexat.bsky.social
mmh...
julia> 🍎 != 🍊 true
December 7, 2025 at 8:34 PM
qexat.bsky.social
🎸🌆
December 7, 2025 at 4:52 PM
qexat.bsky.social
see, that's not adhd friendly at all
yellow banner that reads "This sign-in session has expired"
December 7, 2025 at 9:19 AM
qexat.bsky.social
lol
Hello, I do not have a Vercel account anymore. Why do I receive your security mails? Also, they do not include an "Unsubscribe" link, which is illegal in my country. Please remove any data related to me and my email address from your servers. Thanks.
December 7, 2025 at 9:18 AM
qexat.bsky.social
BlueSky Bluesky
December 6, 2025 at 10:27 PM
qexat.bsky.social
BlueSky Bluesky
December 6, 2025 at 10:27 PM
qexat.bsky.social
I'm spitting facts in this chat not gonna lie
Screenshot of my own Signal message. It reads: programmers will invent problems they don't have and say "oh i need a type for this"
December 4, 2025 at 11:07 PM
qexat.bsky.social
added a little of my own :3
Screenshot of the GNOME Terminal running Python. The visible output is ASCII art of two girls kissing. It is based on the one linked in the skeet which this reply responds to, but with a few tweaks to use some characters in the Box Drawing Unicode block.
December 4, 2025 at 10:46 PM
qexat.bsky.social
Screenshot of a Discord message sent by myself. My profile picture is the same as the one I use on Bluesky, I have a Discord tag with a pink bolt that reads "flaaffy", the message was sent on 10/6/25, 1:58 PM and reads: “Complacent logic is a derogatory term used for logic systems that "don't try very hard to prevent unsoundness"[1].”
December 4, 2025 at 9:37 AM
qexat.bsky.social
my actual solution looked like this
let part1 input = input |> String.trim |> String.split_on_char '\n' |> List.map (String.map (function | 'L' -> '-' | 'R' -> '+' | c -> c)) |> List.map int_of_string |> scan_left (addmod ~modulo:100) 50 |> List.filter (( = ) 0) |> List.length
December 3, 2025 at 1:53 PM
qexat.bsky.social
my solution for AoC 2025 day 1 part 1:
let addmod ~modulo:m a b = (a + b) mod m let part1 input = List.( length ((addmod ~modulo:100 /* (int_of_string @@ String.( ((function | 'L' -> '-' | 'R' -> '+' | c -> c) @@ trim input) / '\n'))) ~init:50 = 0))
December 3, 2025 at 1:44 PM
qexat.bsky.social
*dolphins out your camel*
# let camel_to_dolphin = String.map (function '\171' -> '\172' | c -> c) val camel_to_dolphin : string -> string = <fun> # camel_to_dolphin "x";; - : string = "x" # camel_to_dolphin "🐫";; - : string = "🐬" # camel_to_dolphin "🐠";; - : string = "🐠"
December 3, 2025 at 10:22 AM
qexat.bsky.social
Screenshot of a GNOME Terminal Window in dark style. It shows a command, colortest, which outputs a pretty table with eight columns and 3 rows. Each column is a different ANSI color (from left to right: black, red, green, yellow, blue, magenta, cyan, white). The first two rows are the normal and bright variants for the foreground, each vertically subdivided for unstyled, bold and dim styles. The last row is the color used as background. The colors of the terminal theme have a subtle warm feeling, giving the vibe of a Gruvbox with deeper, more contrasted colors. Screenshot of a GNOME terminal window in dark style. The title reads "yay -Syu --sudoloop ~", which corresponds to the command being run with the shell below. The output is a list of packages to upgrade, asking for the user to specify which packages to exclude, warning that it may cause partial upgrades and break systems. The colors of the terminal theme are the same as the previous screenshot.
November 27, 2025 at 10:22 PM
qexat.bsky.social
however...
let rec ind z r m = match m with | Return x -> r x | Zero -> z let bind m f = ind zero f m
November 27, 2025 at 12:07 PM
qexat.bsky.social
?????????
frontend slut (selfie) sending a discord message at 7:54 PM: "nix is an overengineered mess that has no real world applications"
November 21, 2025 at 7:23 PM
qexat.bsky.social
MajorTanyaDegurechaff: raise SystemQexat
November 21, 2025 at 7:02 PM
qexat.bsky.social
this is a genuine question : what do you actually do with ocaml asside of making other langs or smth like that tangible, real useful things
November 20, 2025 at 9:04 PM