Clarisse

Clarisse

@qex.at

⚢ she ✶ kuru·arana tamu 🜍 exogenic ︎︎︎⦼ symbiont

271 followers181 following2.8K posts

Pinned

Clarisse
@qex.at

hi, i'm still looking for a job few things that have changed: - i am now around wrocław - im relaxing the "no mandatory use of LLM" constraint as long as I can use a model from a company outside of the US, such as deepseek or kimi i still value code quality and robustness more than anything

Clarisse@qex.at

hi, just a reminder that I'm still looking for a job in the paris region or remote. i'm fluent in (typed) python and ocaml and adept of functional patterns (with a tint of pragmatism) and imperative shell, functional core in particular my skills shine in maintaining and cleaning up existing code

Clarisse reposted

abadidea
@0xabad1dea.infosec.exchange.ap.brid.gy

The Dutch reviews of Classical Chinese are in: “eww”. Harsh… (It stands for eigenschapwerkwoord, an awkward attempt to capture the non-Indo-European verb semantics. The registered trademark is apparently for “radical”…) #classicalchinese

Clarisse
@qex.at

A compiler is a pipeline of more and more restrictive languages and transformations that attempt to convert a program in one stage to the next one

View full thread
Clarisse
@qex.at

Parsing consists in determining whether you can convert it such that it is a valid program in the AST language you have designed. You'd call it syntactically valid from the PoV of your PL. More generally, the validity of a program is actually relative to the language it is encoded in.

Clarisse
@qex.at

In fact, this is why it is possible to reuse components of a compiler for different programming languages! This is also why saying "I'm designing a programming language" hides so well the complexity of doing so. You actually have to design *a bunch* of languages in a huge trenchcoat!

Clarisse
@qex.at

A compiler is a pipeline of more and more restrictive languages and transformations that attempt to convert a program in one stage to the next one

Clarisse
@qex.at

The source code is written in the language of strings, that is extremely permissive. Tokenizing consists in determining whether you can convert it such that it is a valid program in the token-based language you have designed. You'd call it lexically valid from the PoV of your PL.

Clarisse
@qex.at

whoever made the video is so me I fear

Bits@bitshammer.bsky.social

2077 has great combat music

Clarisse reposted

Isaac Corbrey
@isaaccorbrey.com

I'm accepting contract and consulting work! - Jujutsu: Adoption, training, integration - Atproto: Integration, data modelling, user experience - Rust and Bevy: Training, bootstrapping, architecture My DMs are open 😁

Clarisse
@qex.at

To me, this has always been a hint that maybe files are not the right abstraction after all

Rebane@rebane2001.bsky.social

the hardest problem in computer science is getting a file from one computer to another

Clarisse reposted

Google Open Source
@opensource.google

"This blog is about celebrating that friendship" with open source developers. That was our first post in Feb 2008. Today, all 1,557 posts (2008–2026) live in the Atmosphere as verified @standard.site records: https://opensource.googleblog.com/2008/02/welcome-to-google-open-source-blog.html

opensource.googleblog.comWelcome to the Google Open Source BlogPosted by Chris DiBona, Open Source Team Three years and some 320 posts ago, we launched the code.google.com blog with a post detailing (with too m...
View full thread
Clarisse
@qex.at

Retracting my statement about it feeling more central than associativity.

Clarisse
@qex.at

I don't really know much about complexity theory but it seems to have interesting implications

Clarisse
@qex.at

They should write a paper on how profile pictures massively influence my preemptive opinion of people (bad|good)

Clarisse
@qex.at

The job market is so shit, the people who are applying to the same jobs as me are on average vastly overqualified 😭

View full thread
Clarisse
@qex.at

So: you need both commutativity and associativity to derive mediality. You can derive associativity from identity and mediality alone. A unital magma that's medial is a monoid. A commutative semigroup is medial. Fascinating.

Clarisse
@qex.at

quote skeet to see who's a real follower of qexat and who is not

Luis Villa@lu.is

TIL: someone has ported English to Rust github.com/Aaryan-Kapoo...

github.comGitHub - Aaryan-Kapoor/english-rs: English, rewritten in Rust: grammar as trait bounds, pronouns as borrows, and englishc, a compiler with rustc-style diagnostics for proseEnglish, rewritten in Rust: grammar as trait bounds, pronouns as borrows, and englishc, a compiler with rustc-style diagnostics for prose - Aaryan-Kapoor/english-rs
Clarisse
@qex.at

genuinely insane how delicious this is

Clarisse@qex.at

today's lunch :) recipe of my own, second time preparing it. ingredients include leek, lardons, crème fraîche, goat cheese and a bit of gray pepper. even tastier if you have some lime juice at hand (which I didn't this time) best eaten with sliced bread, as pictured

Clarisse
@qex.at

two downsides are that its pretty fat and definitely not vegan. but otherwise its cheap, easy and quick to make for something that is genuinely one of my favorite meals taste wise