Kartik's Avatar

Kartik

@k4rtik.bsky.social

Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering. Chicago

783 Followers  |  253 Following  |  89 Posts  |  Joined: 03.07.2023  |  2.0113

Latest posts by k4rtik.bsky.social on Bluesky

Added

04.10.2025 18:18 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Quantinuum - Research Software Engineer - Quantum Error Correction Quantinuum are hiring a research software engineer to work on compilation of fault-tolerant quantum software for the next generation of quantum computers. Quantum software relies on quantum error corr...

Hey #qec people! Do you like writing software? Do you want a #job? Come join us at #quantinuum! #quantum #quantumcomputing #jobad
jobs.eu.lever.co/quantinuum/d...

02.10.2025 00:47 โ€” ๐Ÿ‘ 9    ๐Ÿ” 6    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

You are our chief emulatician!

(Claiming sending second ever use of the term in public.)

26.09.2025 00:00 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Went to my first local Rust meetup last night. Unsure what kept me away so long (8 years in Chicago) but it brought up happy memories of being a regular at the Python meetups in Bangalore.

25.09.2025 18:21 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
RustConf Recap - The Inside Scoop!, Wed, Sep 24, 2025, 6:00 PM | Meetup Join us for three presenters on RustConf: takeaways, learnings, musings, and what's important. This year marks the 10th anniversary of Rust's 1.0 release and there was much

Just had a great talk about Rustconf 2025 in downtown Chicago!

www.meetup.com/chicago-rust...

25.09.2025 00:54 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
A Rhode Island Wind Farm Changed Their View. And Their Lives, for the Better.

A Rhode Island Wind Farm Changed Their View. And Their Lives, for the Better

www.nytimes.com/2025/09/22/c...

24.09.2025 11:09 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Nobel Prize Laureate Roger Penrose, Yvette Fuentes, and myself, request your help in order to save an archive of incredible scientific and historical value. Please raise awareness by *sharing*, or *contribute*:

www.crowdfunder.co.uk/p/roger-penr...

22.09.2025 12:47 โ€” ๐Ÿ‘ 11    ๐Ÿ” 10    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Winner of the 2025 Alonzo Church Award The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to **Paul Blain Levy** for his fundamental study of effectful ฮป-calculi through the Call-by-Push-Value calculus. The awardee book and paper are: > Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8 > > Paul Blain Levy. Call-by-Push-Value: Decomposing call-by-value and call-by-name. High.-Order Symb. Comput. 19(4): 377-414 (2006) ## The Contribution Initiated by Alonzo Church, the research programme into the ฮป-calculus as an abstract model of computation has spurred volumes of fundamental research in logic and computation. By the end of the 20th century, the studies of the ฮป-calculus in its purely logical form and its applied effectful form bifurcated. In an outstanding contribution, Levy has reunited the many existing research streams into the study of one subsuming calculus: Call-by-Push-Value (CBPV). Levy developed and presented an extraordinarily large body of evidence spanning a cross-section of the semantic theory of the ฮป-calculus and its application to programming language modelling, including: algebraic datatypes, operational semantics, denotational semantics, and equational theories. To date, CBPV remains a unifying starting point in the study of computational and logical phenomena, including: effects, polarisation, term normalisation, type-isomorphisms, and program transformations. In addition to its scientific contribution, the nominated monograph is a unique access-point into the culmination of decades of logic and programming language semantics.

I am happy to announce that my colleague Paul Blain Levy has won the Alonzo Church Award.

https://siglog.org/winner-of-the-2025-alonzo-church-award/

20.06.2025 10:22 โ€” ๐Ÿ‘ 5    ๐Ÿ” 9    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

how much power will it hog compared to the pi cluster?

21.09.2025 19:49 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

Critical part of the President's new $100,000 charge for H1-B visas: The Administration can also offer a $100,000 discount to any person, company, or industry that it wants. Replacing rules with arbitrary discretion.

Want visas? You know who to call and who to flatter.

20.09.2025 13:40 โ€” ๐Ÿ‘ 12620    ๐Ÿ” 4782    ๐Ÿ’ฌ 742    ๐Ÿ“Œ 662
Git Cheat Sheet

added a cheat sheet to the official Git website

(with a lot of help from other folks who work on the website)

git-scm.com/cheat-sheet

16.09.2025 18:28 โ€” ๐Ÿ‘ 298    ๐Ÿ” 61    ๐Ÿ’ฌ 10    ๐Ÿ“Œ 4

thought you meant the martial arts form until I reached the second line, lol

20.09.2025 23:28 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
How Guppy Got Its Name
YouTube video by Quantinuum How Guppy Got Its Name

G U P P I F A C T I O N youtu.be/Amm3QJbpKFA

16.09.2025 16:46 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Guppy Quantum-first programming language, embedded in Python.

guppylang.org ๐Ÿคฉ

08.09.2025 15:36 โ€” ๐Ÿ‘ 6    ๐Ÿ” 5    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Lightning talk on Guppy sometime after 1.45pm.

Lightning talk on Guppy sometime after 1.45pm.

Post image

Come to @aborgna.bsky.social's talk (and panel discussion) on
@quantinuum.bsky.social's Guppy programming language this afternoon if you are at #IEEEQuantumWeek.

We got some cool T-shirts!

02.09.2025 16:55 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I'm at IEEE Quantum Week. Talk to me about GuppyLang, QIR, and quantum programming languages & compilers in general.

#IEEEQuantumWeek

31.08.2025 12:09 โ€” ๐Ÿ‘ 6    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Guppy: Programming the Next Generation of Quantum Computers Today, the Quantinuum software team is excited to announce Guppy, a new quantum programming language for the next generation of quantum computingโ€”designed to work with upcoming hardware like Helios, o...

1. guppylang.org / quantinuum.com/blog/guppy-p...
2. qir-alliance.org
3. git.io/qpl-bib

31.08.2025 16:28 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I'm at IEEE Quantum Week. Talk to me about GuppyLang, QIR, and quantum programming languages & compilers in general.

#IEEEQuantumWeek

31.08.2025 12:09 โ€” ๐Ÿ‘ 6    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

๐ŸŒŸ A huge thank you to our incredible supporters for making ๐˜‚๐—ป๐—ถ๐˜๐—ฎ๐—ฟ๐˜†๐—–๐—ข๐—ก ๐Ÿฎ๐Ÿฌ๐Ÿฎ๐Ÿฑ possible!
Hosted at ๐—œ๐—˜๐—˜๐—˜ ๐—ค๐˜‚๐—ฎ๐—ป๐˜๐˜‚๐—บ ๐—ช๐—ฒ๐—ฒ๐—ธ ๐Ÿฎ๐Ÿฌ๐Ÿฎ๐Ÿฑ, ๐˜‚๐—ป๐—ถ๐˜๐—ฎ๐—ฟ๐˜†๐—–๐—ข๐—ก brings together the global quantum open-source community. See all you in a week!

27.08.2025 14:01 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Built for All: Introducing Our New Software Stack Our next-generation quantum computer, Helios, will come online this year as more than a new chip. It will arrive as a full-stack platform that sets a new standard for the industry.

We want you to get fired up about our next-gen system, Helios! ๐Ÿ”ฅ

So, today we're revealing full details about our new software stack, which will empower developers to get the most out of Helios (and all our future systems).

Unpack the Stack: www.quantinuum.com/blog/built-f...

#QuantumComputing ๐Ÿ”ฌโš›๏ธ

20.08.2025 15:02 โ€” ๐Ÿ‘ 9    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I've needed that feature since forever! Exactly for this reason.

24.08.2025 15:21 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Guppy: Programming the Next Generation of Quantum Computers Today, the Quantinuum software team is excited to announce Guppy, a new quantum programming language for the next generation of quantum computingโ€”designed to work with upcoming hardware like Helios, o...

www.quantinuum.com/blog/guppy-p... blog post

20.08.2025 12:58 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Guppy Quantum-first programming language, embedded in Python.

docs.quantinuum.com/guppy/ the docs are really nice as well!

20.08.2025 12:51 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Quantum PL & Verification Bibliography Quantum Programming Languages & Verification Bibliography

Just updated the Quantum Programming Languages & Verification Bibliography with 20 papers from the PACMPL papers since 2024.

git.io/qpl-bib

Thanks to @certifiablyrand (Robert Rand) for the PR.

21.08.2025 13:04 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Built for All: Introducing Our New Software Stack Our next-generation quantum computer, Helios, will come online this year as more than a new chip. It will arrive as a full-stack platform that sets a new standard for the industry.

๐Ÿงต 1/? Today #quantinuum announced Guppy, the new programming language my team has been developing, and Selene the new simulator that goes with it. This is the software stack that supports our new Helios #quantum computer, and it successors. #quantumcomputing

www.quantinuum.com/blog/built-f...

20.08.2025 23:19 โ€” ๐Ÿ‘ 18    ๐Ÿ” 3    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

A bunch of us are organising QUANTUM SOFTWARE 2.1 as part of IEEE Quantum Week. If you want to like quantum software but you think it basically sucks, then this workshop is for you. There will be a bunch of very cool projects presented! #quantum #quantumcomputing #quantumsoftware #quantumweek

19.08.2025 21:58 โ€” ๐Ÿ‘ 6    ๐Ÿ” 4    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
The Quantum Software Stack Built for All
YouTube video by Quantinuum The Quantum Software Stack Built for All

What we've been working on for the last few years: a modern programming language (Guppy ๐Ÿ ), compilation tooling and emulation for the next generation of quantum computing, all open source. guppylang.org

Give it a go and tell us what you think!

www.youtube.com/watch?v=dFki...

20.08.2025 15:15 โ€” ๐Ÿ‘ 10    ๐Ÿ” 5    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
The Quantum Software Stack Built for All
YouTube video by Quantinuum The Quantum Software Stack Built for All

www.youtube.com/watch?v=dFki... It's the big day where we can finally talk about what we've been working on. Nice to see everyone I work with speaking enthusiastically about the work they've been putting so much effort into building the most capable quantum software stack out there!

20.08.2025 12:46 โ€” ๐Ÿ‘ 7    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Are GUM sticks different from brushes and soft picks mentioned in the article?

17.08.2025 20:28 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
I reviewed for IEEE Quantum Week , join me Register now

Join me at IEEE Quantum Week 2025! invt.io/1bxbt3svye7

08.08.2025 23:59 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@k4rtik is following 20 prominent accounts