Thomas Gilray

Logic programming in a nutshell.

@krismicinski @miniapeur 4.

@miniapeur Which one is full of cat emoji avatars?

There are four broad archetypes of researchers. They are, of course, not mutually exclusive, and any given researcher may embody several of them at once. 1. Empiricists push methods forward through relentless experimentation, careful ablation, and practical heuristics, extending performance beyond our current theoretical understanding. 2. Applied researchers solve real-world problems in all their complexity, adapting methods to messy constraints and difficult settings. 3. Method builders create new methods and frameworks, often uniting distant concepts and reshaping them into original tools that open new directions. 4. Theorists uncover the deeper structure beneath methods, explaining why they work, proving guarantees, and identifying their fundamental limits. Which archetype do you fall into most?

@StarGazerMiao This is exactly what context sensitivity is meant to solve eh. Also let polymorphism and related techniques. Precision for a subtype requires analyses that distinguish it's uses from uses of other subtypes.

I have a strong feeling that wrong ploymorphism design in a language design for example: all object has type Object will massive ruin performance pf compiler's program analysis as now if you query subtype/member info table, you select everything immediately.

@krismicinski Well? Are you still copy-pasting Kris?

🤦‍♂️

@krismicinski You're breaking into his house to ask if indices start at 0 or 1. I'm breaking into his house to make sure he's up late working. One's magnum opus doesn't stay up late to write itself.

@krismicinski Everyone knows array indices go 1,2,3,4a,4b,4c,4d,5,6,7. Why? Well, simply because that's how many fingers we have.

@krismicinski Just wait for ClaudeCarve to get out of beta.

One of the attractive things about woodworking as a hobby is it is for immune to the claude code effect: good-quality custom furniture is still *radically* expensive and out of reach to all but wealthy individuals--I know people who literally pay $8k for dining tables!

@krismicinski We need to give Dr. Claude its PhD already. (Some Uni needs to step up to the plate.) I think we all know it's earned it...

Laypeople are going to lose their minds when they realize “critical thinking” is not some inherent beautiful thing unique to humans. This doesn’t mean that the LLM is god either. Good AI beats almost every human at “reasoning” now

@krismicinski It was always an unsustainable accident of history that, for a few years, one could get a high paying job by knowing a touch of html and JS, even if you rather hated the coding yourself.

@krismicinski The grain of truth is that the supply and demand around hiring developers is changing, and it makes so much less sense to go into software development unless you are genuinely passionate about the subject yourself. But that is always the thing to prioritize.

This is a really nice narrative to tell yourself but I've seen a significant increase in juniors getting jobs myself--seems like it was worst for jobs in the past few years, and now the market feels to be recovering a bit.

pure vibe coded vscode plugin

@krismicinski @samlakig

@samlakig look up how Coq al Vin is pronounced, it's the same way

wait how do you coq,

@krismicinski Did somebody leak a picture of your chest tattoo, Kris, or what happened?

has the woke mob gone too far?

Indiana Jones is a fantasy about being a professor not having to submit itemized travel expenses after every adventure.

Just visited YST Conservatory of NUS, the venue for the upcoming FARM concert at ICFP/SPLASH'25. Excited about the upcoming performances combining art, music, and creative programming! #About" target="_blank" rel="nofollow noopener">2025.splashcon.org/track/splash-2… @icfp_conference @splashcon

When it’s 10 minutes before a meeting and you open the doc you received three days in advance and get one of these

@krismicinski You're not going to convince me LLMs are anything but the text adventure games of 2025.

@krismicinski It's just a gaming-card company that's bigger than Amazon and Walmart put together. Nothing to see here.

Launching my Programming Language Pragmatics talks! These short, accessible talks cover the material in the textbook, the 5th edition of which I wrote with Michael L. Scott. The first one (link in 🧵) introduces the topic and talks about why we study programming languages!