Kartik

Quantum Compiler Engineer at @QuantinuumQC. Previously: @UChicagoCS, @BrownCSDept.

[Kartik @k4rtik]

Compiler folks 👀

My team at Quantinuum is hiring a Lead / Principal Quantum Compiler Engineer (LLVM) to build the compiler stack translating quantum programs to trapped-ion hardware.

📍 Broomfield, CO
https://t.co/IRcViouNTc

[Kartik @k4rtik]

@AndrewCMyers Has anyone adapted their PLT class yet?

[Kartik @k4rtik]

Proud to be part of the @QuantinuumQC team as we marked our public listing today. Milestones like this are the result of years of work by talented people across the company, and I'm grateful to have contributed along the way. #QuantinuumIPO

[Quantinuum @QuantinuumQC]

Today, Quantinuum officially begins trading on NASDAQ under the ticker symbol QNT.

Today’s milestone is the direct result of the dedication of our team, trust of our partners, and support of the entire quantum community.

Thanks to everyone who helped us reach this historic day.

[Kartik @k4rtik]

@JAldrichPL To speculate on the reason, I believe that validation is more common since websites started worrying about massive scraping for LLM training. Alternative is paying significantly more for infrastructure.

[Kartik @k4rtik]

@JAldrichPL I've essentially stopped visiting https://t.co/QI4aGDlLmm for most paper links since they started using it. Even though I used to prefer it because of open access.

[Kartik @k4rtik]

Compiler folks 👀

My team at Quantinuum is hiring a Lead / Principal Quantum Compiler Engineer (LLVM) to build the compiler stack translating quantum programs to trapped-ion hardware.

📍 Broomfield, CO
https://t.co/IRcViouNTc

[Kartik @k4rtik]

@satnam6502 @headinthebox I'm also just visiting the Boulder area the same week, and not registering for the conference. Would love to meet people outside of the venue.

[Kartik @k4rtik]

Lightning talk submissions are open for the Quantum Software 2.6 workshop at @IEEEQuantumWeek in Toronto. Working on quantum software? We'd love to hear from you.

Workshop: https://t.co/jg4LOmbuRM
Submit: https://t.co/a9P6U1o9x1

[Kartik @k4rtik]

Recent offender: @Medium
I click on an article, I see the popup, I close the tab.

[Kartik @k4rtik]

https://t.co/efFzrsDWEf

[Kartik @k4rtik]

Hometown gets a name check in the Economist (not for the best of reasons).

[The Economist @TheEconomist]

India’s industrialised southern states complain that they are often treated shoddily despite the chunky contributions they make to national coffers. Its cities can make the same claim, but better https://t.co/ByghOWu1ho

[Kartik @k4rtik]

@ShriramKMurthi @pranesh I have been doing that for a while. I let Codex do the work and CoPilot PR Review on GitHub push back on changes. It helps to a certain extent -- especially good for correctness, not so much with the unnecessary garbage that gets introduced, which I still catch by reading code.

[Kartik @k4rtik]

@laurencetratt Why were you a skeptic?

[Andrew McCarthy @AJamesMcCarthy]

I took 1.7 million photos over 6 days to catch this photo of a commercial jet in front of the sun.

The moment it happened, TWO floating prominences were visible, making this not just my best aircraft transit photo, but one of the luckiest of my career! Videos of the transit 👇

[Talia Ringer 🕊🪬 @TaliaRinger]

So now that the internet exists and stuff, can someone invent a system in which all we need to do is list the DOI in our .bib files and it will fetch the correct citation in full? What we currently do feels pretty antiquated

[Kartik @k4rtik]

I couldn’t find a CLI tool for bulk-updating GitHub Actions, so I built one: `actupdate`.

It scans workflow YAML, checks GitHub tags, prefers moving major tags like `@v6`, falls back to exact stable tags if needed, and shows a plan before touching files.

https://t.co/oYcMRDysBw

[Kartik @k4rtik]

@HerrDreyer Derek Thompson (journalist) is fine. Fictional: Derek Zoolander and Derek from The Good Place.

[Gergely Orosz @GergelyOrosz]

AI - in theory - should make writing easier, thus expressing ideas should be a lot easier.

And yet, I don't see all that much more things that are worthwhile to read. Sure, there's a lot more junk. But I don't see more interesting eng blogs, personal tech-related blogs etc.

What is going on?

(Is this a discoverability issue? Or are people / teams not writing/sharing all that much more, indeed?)

[Kartik @k4rtik]

@ShriramKMurthi thanks, certainly hadn't seen that one. :D

[Kartik @k4rtik]

@brianhempel That was my first reaction when I saw the paper trending today. Wisely you all titled it with "... Coding in 2025"