Heather Miller(@heathercmiller) 's Twitter Profileg
Heather Miller

@heathercmiller

Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union

ID:22874473

linkhttp://heather.miller.am calendar_today05-03-2009 03:39:27

6,6K Tweets

14,6K Followers

1,0K Following

Ben L. Titzer(@TitzerBL) 's Twitter Profile Photo

Somehow I missed this when it came out two months ago. Scheme in the browser via WebAssembly GC. So cool. A wonderful future for PLs is ahead!

spritely.institute/news/guile-hoo…

account_circle
Heather Miller(@heathercmiller) 's Twitter Profile Photo

I'm just going to post this, because Ben L. Titzer hasn't and should...

Ben L. Titzer (and I, but more Ben) are looking for PhD students at CMU interested in WebAssembly!
Deadline: Dec 13

We're also looking for a research engineer!

RT for reach plz?♥️

If interested in a…

account_circle
Heather Miller(@heathercmiller) 's Twitter Profile Photo

I'm just going to post this here, because Ben L. Titzer hasn't and should...

Ben L. Titzer (and I, but more Ben) are looking for PhD students interested in WebAssembly!
Deadline: Dec 13

We're also looking for a research engineer to help build crazy new wasm tools!

RT for reach plz?♥️

account_circle
Omar Khattab(@lateinteraction) 's Twitter Profile Photo

Man! Mamba is so cool! 🤩

Sasha's tweet reminds me: Every time you use ColBERTv2, you're using Keshav Santhanam's C++ (or CUDA) kernels implementing PLAID late interaction

No other way it could search multi-vector 140,000,000 documents in 100 milliseconds, even *without* a GPU!

Man! Mamba is so cool! 🤩 Sasha's tweet reminds me: Every time you use ColBERTv2, you're using Keshav Santhanam's C++ (or CUDA) kernels implementing PLAID late interaction No other way it could search multi-vector 140,000,000 documents in 100 milliseconds, even *without* a GPU!
account_circle
Ben L. Titzer(@TitzerBL) 's Twitter Profile Photo

I'm pleased to announce that my new paper on Wizard's baseline JIT compiler (and baseline JIT compilers for Wasm in general) has been accepted to CGO 2024. A preprint is available on ArXiv.

arxiv.org/abs/2305.13241

account_circle
Omar Khattab(@lateinteraction) 's Twitter Profile Photo

DSPy is all about *compiling* LM programs. Why 'compile'❓

Traditional compilers translate programs to machine code for _specific hardware_

A compiler for LM programs** translates code with LM calls into prompt [or finetune] chains for _specific LMs_

** i.e. only DSPy so far!

account_circle
jake lazaroff(@jlazaroff) 's Twitter Profile Photo

Surprise part three to my CRDT blog post series: Making CRDTs 98% More Efficient! We'll learn how to significantly reduce the state-based CRDT metadata overhead. jakelazaroff.com/words/making-c…

account_circle