English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
c20's profile picture. PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_

Yuka Ikarashi

@c20

PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_

2KPosts 3KFollowers 648Following
You might like
c20's profile picture.
Yuka Ikarashi
 @c20
Nov 3

mass migration of proofs to appendix

0
0
8
0
508
c20's profile picture.
Yuka Ikarashi
 @c20
Sep 7

Just finished reading Project Hail Mary. Good good good.

3
0
15
2
4K
c20's profile picture.
Yuka Ikarashi
 @c20
Sep 5

Wow thanks for the shout out!

yminsky's profile picture. Occasional OCaml programmer. Host of @signalsthreads. @yminsky@discuss.systems @yminsky.bsky.social https://t.co/kiUGRvWOO2
Yaron (Ron) Minsky
 @yminsky
Sep 4

I should say, there are research projects in this space that I think are compelling. Exo is cool! It's from the researchers who did Halide, an influential PL aimed at graphics. The exo folk are looking to update the approach for modern GPUs. exo-lang.dev

1
0
10
2
5K
0
1
14
0
4K
Yuka Ikarashi reposted
ztatlock's profile picture.
Zachary Tatlock
 @ztatlock
Aug 7

Dave Patterson’s op-ed is a great overview on how taxpayer-funded research built the backbone of modern tech: RISC, RAID, cloud, ... the list goes on. Encourage your representatives to fully fund the NSF and CISE! thehill.com/opinion/techno…

ztatlock's tweet card. Virtually every smartphone on the planet runs on a chip paid for by American taxpayers — a chip that I helped invent. Now Congress is moving to cut funding for the National Science Foundation that …
Congress wants to cut the smartest investment taxpayers ever made
Source: thehill.com
0
2
11
2
3K
c20's profile picture.
Yuka Ikarashi
 @c20
Jun 27

I'm giving a talk at GPU mode tomorrow. Feel free to join the livestream: youtube.com/live/J58AdFTHp…

c20's tweet card. EXO 2

youtube.com

YouTube

EXO 2

Source: youtube.com
0
8
65
20
18K
Yuka Ikarashi reposted
tomaspueyo's profile picture.
Tomas Pueyo
@tomaspueyo
Jun 19

Can there be an invasion of Iran? Hardly. Two maps explain why, and also why Iran is the way it is today, whether its regime will fall, what other superpowers will do, and in general why Iran is the way it is today 1. Iran is a mountain & desert fortress

tomaspueyo's tweet image. Can there be an invasion of Iran? Hardly. Two maps explain why, and also why Iran is the way it is today, whether its regime will fall, what other superpowers will do, and in general why Iran is the way it is today 1. Iran is a mountain & desert fortress
143
757
4K
2K
612K
c20's profile picture.
Yuka Ikarashi
 @c20
Mar 25

Story of all the 5th year PhD students

ngosuke's profile picture. Ph.D candidate @MIT. Bluesky @nagao.bsky.social
Keisuke Nagao
 @ngosuke
Mar 24

We started our Ph.D.s during COVID-19. Now, we’re graduating into political chaos | Science | AAAS science.org/content/articl…

ngosuke's tweet card. “It is difficult to absorb all the uncertainty and still hold on to hope,” this Ph.D. student writes
We started our Ph.D.s during COVID-19. Now, we’re graduating into political chaos
Source: science.org
0
1
14
1
8K
1
0
36
4
7K
c20's profile picture.
Yuka Ikarashi
 @c20
Mar 13

Exo 2 news is out!

MIT_CSAIL's profile picture. MIT's Computer Science & Artificial Intelligence Laboratory (CSAIL). Media Inquiries: rachelg@csail.mit.edu Check out the latest CSAIL content ⬇️
MIT CSAIL
@MIT_CSAIL
Mar 13

A new programming language from MIT could enable high-performance coding that can compete w/state-of-the-art libraries w/a few hundred lines of code, instead of tens or hundreds of thousands. Called "Exo 2," the approach enables reusable scheduling libraries external to…

MIT_CSAIL's tweet image. A new programming language from MIT could enable high-performance coding that can compete w/state-of-the-art libraries w/a few hundred lines of code, instead of tens or hundreds of thousands. Called "Exo 2," the approach enables reusable scheduling libraries external to…
7
76
320
178
86K
3
7
44
8
7K
c20's profile picture.
Yuka Ikarashi
 @c20
Jan 12

I've been watching Timothy Snyder's class on Ukrainian history. This is super interesting, not only for learning about Ukraine's history, but also for getting a better understanding of what history is. youtu.be/bJczLlwp-d8?si…

c20's tweet card. Timothy Snyder: The Making of Modern Ukraine. Class 1: Ukrainian...

youtube.com

YouTube

Timothy Snyder: The Making of Modern Ukraine. Class 1: Ukrainian...

Source: youtube.com
1
0
15
7
4K
c20's profile picture.
Yuka Ikarashi
 @c20
Dec 20

The acceptance rate is quite high

ShriramKMurthi's profile picture. @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Shriram Krishnamurthi (primary: Bluesky)
 @ShriramKMurthi
Dec 19

Re. OOPSLA 2025, in R1, here are the stats on how the decisions were distributed: Accept: 22 CondAccept: 24 Minor: 12 Major: 30 Reject: 55

1
1
30
0
10K
3
0
7
0
7K
Yuka Ikarashi reposted
ZhiyuChen4's profile picture.
Zhiyu Zoey Chen
@ZhiyuChen4
Dec 14

I'm shocked to see racism happening in academia again, at the best AI conference @NeurIPSConf. Targeting specific ethnic groups to describe misconduct is inappropriate and unacceptable. @NeurIPSConf must take a stand. We call on Rosalind Picard @MIT @medialab to retract and…

ZhiyuChen4's tweet image. I'm shocked to see racism happening in academia again, at the best AI conference @NeurIPSConf. Targeting specific ethnic groups to describe misconduct is inappropriate and unacceptable. @NeurIPSConf must take a stand. We call on Rosalind Picard @MIT @medialab to retract and…
133
274
2K
278
416K
c20's profile picture.
Yuka Ikarashi
 @c20
Dec 4

Gave a talk at the SIGGRAPH Asia Women in CG session!

c20's tweet image. Gave a talk at the SIGGRAPH Asia Women in CG session!
0
0
28
4
4K
Yuka Ikarashi reposted
Ani_9_'s profile picture.
Shoko Kimura,Aniie😊
 @Ani_9_
Nov 18

🙍‍♀️Women in CG💁‍♀️ #SIGGRAPHAsia2024 ❣️Join us❣️ Wed4Dec,11am-12pm Yuri Mikawa @yurimik217 Maria Larsson @mala34301068 Noshaba Cheema @i_noshnosh Jingjing Li @UNIV_TSUKUBA_JP Yuka Ikarashi @c20 @MIT Info asia.siggraph.org/2024/presentat… @siggraphasia @siggraph #SIGGRAPH #SIGGRAPHAsia

Ani_9_'s tweet image. 🙍‍♀️Women in CG💁‍♀️ #SIGGRAPHAsia2024 ❣️Join us❣️ Wed4Dec,11am-12pm Yuri Mikawa @yurimik217 Maria Larsson @mala34301068 Noshaba Cheema @i_noshnosh Jingjing Li @UNIV_TSUKUBA_JP Yuka Ikarashi @c20 @MIT Info asia.siggraph.org/2024/presentat… @siggraphasia @siggraph #SIGGRAPH #SIGGRAPHAsia
0
4
11
2
4K
Yuka Ikarashi reposted
tikhonjelvis's profile picture.
Tikhon Jelvis
 @tikhonjelvis
Nov 16

Any language-design paper that starts out talking about letting languages grow and citing Guy Steele's talk is immediately interesting :)

c20's profile picture. PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_
Yuka Ikarashi
 @c20
Nov 15

We published the Exo 2 paper on arXiv! It's about designing user-extensible scheduling languages. arxiv.org/pdf/2411.07211

2
6
57
12
14K
0
1
8
2
3K
Yuka Ikarashi reposted
matt_dz's profile picture.
Matt
 @matt_dz
Nov 15

Exo 2: Growing a Scheduling Language arxiv.org/abs/2411.07211 github.com/exo-lang/exo Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Bernstein, Jonathan Ragan-Kelley ASPLOS (@ASPLOSConf) 2025

matt_dz's tweet image. Exo 2: Growing a Scheduling Language arxiv.org/abs/2411.07211 github.com/exo-lang/exo Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Bernstein, Jonathan Ragan-Kelley ASPLOS (@ASPLOSConf) 2025
matt_dz's tweet image. Exo 2: Growing a Scheduling Language arxiv.org/abs/2411.07211 github.com/exo-lang/exo Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Bernstein, Jonathan Ragan-Kelley ASPLOS (@ASPLOSConf) 2025
matt_dz's tweet image. Exo 2: Growing a Scheduling Language arxiv.org/abs/2411.07211 github.com/exo-lang/exo Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Bernstein, Jonathan Ragan-Kelley ASPLOS (@ASPLOSConf) 2025
matt_dz's tweet image. Exo 2: Growing a Scheduling Language arxiv.org/abs/2411.07211 github.com/exo-lang/exo Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Bernstein, Jonathan Ragan-Kelley ASPLOS (@ASPLOSConf) 2025
c20's profile picture. PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_
Yuka Ikarashi
 @c20
Nov 15

We published the Exo 2 paper on arXiv! It's about designing user-extensible scheduling languages. arxiv.org/pdf/2411.07211

2
6
57
12
14K
0
3
29
10
4K

United States Trends

You might like

Something went wrong.


Something went wrong.