codeworm❄️ (@codeworm96) header
codeworm❄️ (@codeworm96) profile picture

codeworm❄️

@codeworm96

PGP: A8C2 E390 DE57 AB1C | SW-1488-3590-3413

 ピッツバーグ
Joined March 2018
  • Tweets1.5K
  • Following106
  • Followers471
217Media
Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)
Replying to @gorilla0513
When I first wrote SQLite, I didn't know much about SQL database engines. But I was familiar with compilers. So it was natural for me to treat the problem of writing an SQL database engine as a compiler-construction problem. Hence, SQLite compiles SQL into byte-code.
4
196
13
865
78,777
codeworm❄️ retweeted
KC Sivaramakrishnan (@kc_srk) profile picture
KC Sivaramakrishnan@kc_srk12 Apr 2024
jobs.lever.co/convergentrese… $168,000 - $252,000 a year (US, remote) to work on Lean! > you will play a crucial role in developing and enhancing Lean, collaborating with leading mathematicians and computer scientists worldwide, and contributing to the FRO’s long-term ...
KC Sivaramakrishnan (@kc_srk) profile pictureKC Sivaramakrishnan@kc_srk11 Apr 2024
Who is hiring in PL/FM areas in the industry (remote)? Someone who has worked ~5 years in industrial formal verification, ~10 years teaching OCaml and other subjects in an R1 university, PL PhD, is looking for new opportunities. They are based in the US.
2
23
1
78
24,570
codeworm❄️ retweeted
Saza (@saza_ku) profile picture
Saza@saza_ku18 Feb 2024
発表してきた😁 Mewz、たくさんスターがもらえてホクホクしてます。でもまだまだ欲しい🤩 github.com/mewz-project/mewz
Image from Saza (@saza_ku)
21
1
130
22,657
codeworm❄️ retweeted
Naoki MATSUMOTO (@PiBVT) profile picture
Naoki MATSUMOTO@PiBVT18 Feb 2024
Wasm 特化の unikernel とシステムインタフェースの標準としての WASI、夢がありまくりで感動した ipa.go.jp/jinzai/mitou/it/20…
未踏IT人材発掘・育成事業：2023年度採択プロジェクト概要（上田・野崎PJ） | デジタル人材の育成 | IPA 独立行政法人 情報処理推進機構

未踏IT人材発掘・育成事業：2023年度採択プロジェクト概要（上田・野崎PJ） | デジタル人材の育成 | IPA 独立行政法人 情報処理推進機構

情報処理推進機構（IPA）の「未踏IT人材発掘・育成事業：2023年度採択プロジェクト概要（上田・野崎PJ）」に関する情報です。

ipa.go.jp
9
1
61
7,883
PL in 3 words
Image from Marisa "Long Middle Name Looks Cool" Kirisame (@MarisaVeryMoe)
5
20
1
148
10,566
👋🥹
Astrobotic (@astrobotic) profile pictureAstrobotic@astrobotic19 Jan 2024
(3/3) Carnegie Mellon University's Iris rover wheels wave goodbye. Ad luna per aspera.
2
7
34
1,286
codeworm❄️ retweeted
Yaron (Ron) Minsky (@yminsky) profile picture
Yaron (Ron) Minsky
@yminsky6 Jan 2024
We have a new video series out, from our very own @RaeHaskell, called OCaml Unboxed. (Ironically, it's going to start out talking about modes, rather than unboxed types. But I imagine we'll get there soon enough.) youtube.com/watch?v=PgUsmO0Y…
Introducing the OCaml Local Mode | OCaml Unboxed

Introducing the OCaml Local Mode | OCaml Unboxed

This video introduces how to make and use local parameters in OCaml...

youtube.com
3
23
1
113
10,215
2018年以来5年ぶりの上海THOライブ🎸 中国が激アツすぎて凄かった！イベントもライブもとても盛り上がっていて、tomoya氏が今年、5年ぶりに飛行機に乗れるようになってくれて本当に良かったと思いました🙏また行きたい！🇨🇳✨ #2023年振り返り
Image from yukina@ShoyuSound/TUMENECO (@yuzyuz_x)
Image from yukina@ShoyuSound/TUMENECO (@yuzyuz_x)
Image from yukina@ShoyuSound/TUMENECO (@yuzyuz_x)
Image from yukina@ShoyuSound/TUMENECO (@yuzyuz_x)
3
12
1
73
3,495
codeworm❄️ retweeted
codeworm❄️ (@codeworm96) profile picture
codeworm❄️@codeworm9620 Nov 2023
Replying to @_FirstLoveLife_
我觉得一个原因是 vector/ArrayList 这种逐渐扩展内部 buffer 的实现需要元素至少是可移动的，但在 kernel 中，这个条件常常不成立
1
190
codeworm❄️ retweeted
Delta Lake (@DeltaLakeOSS) profile picture
Delta Lake
@DeltaLakeOSS23 Aug 2020
Read the @VLDB2020 paper on #DeltaLake - one of the most exciting new technologies from @Databricks. Adding ACID transactions over cloud object stores enables the #lakehouse paradigm - data-warehouse-like capabilities on low-cost, HA cloud storage. databricks.com/wp-content/up…
Image from Delta Lake (@DeltaLakeOSS)
Image from Delta Lake (@DeltaLakeOSS)
Image from Delta Lake (@DeltaLakeOSS)
32
7
104
I’m flying free now, having separated from the Centaur. That was quite a ride! Thank you, @ULAlaunch and @NASA_LSP. ⭐ #CountdownToMars
228
2,273
439
17,950
codeworm❄️ retweeted
WLR2678🌌 (@WLR_2678) profile picture
WLR2678🌌@WLR_267823 Jul 2020
#中国航天 #中国火星探测 #天问一号 #Tianwen1 7月23日12时41分，我国在中国文昌航天发射场，用长征五号遥四运载火箭成功发射首次火星探测任务天问一号探测器，火箭飞行约2167秒后，成功将探测器送入预定轨道，开启火星探测之旅，迈出了我国行星探测第一步！ 配图来自@新华视点微博：
Image from WLR2678🌌 (@WLR_2678)
WLR2678🌌 (@WLR_2678) profile pictureWLR2678🌌@WLR_267823 Jul 2020
【天问一号探测器发射升空 目标火星！】刚刚，中国首次火星探测任务天问一号探测器，在海南岛东北海岸中国文昌航天发射场，由长征五号遥四运载火箭发射升空。图一来自 @林晓弈微博，图二图三为萌新857283235一直播截图。
Image from WLR2678🌌 (@WLR_2678)
Image from WLR2678🌌 (@WLR_2678)
Image from WLR2678🌌 (@WLR_2678)
4
14
4
53
codeworm❄️ retweeted
Takuya UESHIN (@ueshin) profile picture
Takuya UESHIN@ueshin17 Jul 2020
Koalas 1.1.0 をリリースしました。 github.com/databricks/koalas…
2
10
codeworm❄️ retweeted
Comet NEOWISE (@c2020f3) profile picture
Comet NEOWISE@c2020f315 Jul 2020
I am shining bright, my dear Earthlings! Have you already seen me? Let me know! #FollowTheComet
46%Yes
54%Not yet
511 votes • Final results
3
7
1
10
🎂今日(5/28)は、冬馬かずさ（WHITE ALBUM2）の誕生日です！ aquaplus.jp/wa2vita/characte…

WHITE ALBUM2 幸せの向こう側 PS Vita

PlayStation®Vita「WHITE ALBUM2 幸せの向こう側 」2013.11.28

aquaplus.jp
33
807
33
1,221
codeworm❄️ retweeted
Michael Anti (@mranti) profile picture
Michael Anti
@mranti11 May 2020
只要在中国政府和美国政府里有人有“加速主义”的冲动，中美冲突就会加速进行。当然我知道这是很多人期待的，觉得中美结构性问题无法解决、不如早死早超生。我就once for all地清晰表达下自己的观点，我反对加速主义。我理解各方的考虑，但我觉得中美结构问题应该有、而且肯定有更良善的解决方案。
59
18
12
157
SIGBOVIK 2020 is happening today (April 1st) evening at 5 PM EDT! Please check sigbovik.org/2020 for links to our Zoom meeting as well as a link to our YouTube live stream.
12
1
22
codeworm❄️ retweeted
Pusheen the cat (@Pusheen) profile picture
Pusheen the cat
@Pusheen14 Mar 2020
Happy #PiDay! 🥧 bit.ly/PusheenComics
18
630
32
1,823
codeworm❄️ retweeted
NASA Earth (@NASAEarth) profile picture
NASA Earth
@NASAEarth28 Feb 2020
Airborne Nitrogen Dioxide Plummets Over China earthobservatory.nasa.gov/im… #NASA
Airborne Nitrogen Dioxide Plummets Over China - NASA Science

Airborne Nitrogen Dioxide Plummets Over China - NASA Science

NO2 amounts have dropped with the coronavirus quarantine, Chinese New Year, and a related economic slowdown.

science.nasa.gov
649
8,106
2,175
15,300
codeworm❄️ retweeted
vaibhav sagar (@vbhvsgr) profile picture
vaibhav sagar@vbhvsgr20 Feb 2020
love when people ask me where i'm 'originally' from. do they mean 1. where i was born 2. where i grew up 3. which passport i have 4. where i lived immediately before this or do they just want me to say india to confirm their pre-existing biases
141
188
56
1,840
Load more