Skylee
@SkyleeBot
Followers
285
Following
22K
Media
135
Statuses
747
Joined June 2021
RT @m1ssuo: CAAC 该管的不管，不该管的瞎管。全世界也就只有中国的航司起飞不让带耳机吧？另外，最近的充电宝风波，2024 年 8 月 1 日之前的都不可能有 3C 标志，这是强行换新充电宝吗？飞过国外那么多机场，从来没有遇到过拿起充电宝看的情况，压根就不 care….
0
18
0
RT @yminsky: I'm pleased to announce OxCaml!. OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and don….
0
237
0
RT @leanprover: We're excited to see #LeanLang featured in the new @Stanford course CS 99: 𝘍𝘶𝘯𝘤𝘵𝘪𝘰𝘯𝘢𝘭 𝘗𝘳𝘰𝘨𝘳𝘢𝘮𝘮𝘪𝘯𝘨 𝘢𝘯𝘥 𝘛𝘩𝘦𝘰𝘳𝘦𝘮 𝘗𝘳𝘰𝘷𝘪𝘯𝘨 𝘪𝘯 𝘓𝘦….
0
34
0
RT @Hydrogen0E7: 作为深大网安协会战队负责人，此刻我很气愤。.我们已经不是第一次在比赛场上遭遇不公对待。.协会战队在参加ISCC比赛时被主办方判断为恶意攻击平台，但是队伍成员并没有进行过任何攻击平台的行为，去找主办方申诉多次未得到回复。… https://t.c….
0
28
0
RT @enthiesia: 【LED方向幕ジェネレータ】を公開しました。. 文字を入力するだけでお手軽にLED方向幕っぽい画像が作れます。文字色や背景色、横幅も指定可能。生成画像は制限なく利用できます。ぜひ遊んでみてください。….
0
3K
0
RT @Kongque_Chinese: 昨天正式更新的 #Safari 18.4 中 Webkit 正式支持 Sideways writing modes 和 `text-autospace` 了， #中文排版 支持终于又进一步🥲. .
0
2
0
RT @nkay166687: 西夏語韻書データを公開しました。. 李範文『夏漢字典』や韓小忙『西夏文詞典』などの主要な現代の西夏文字の字典の検索番号と、『同音』『文海』『文海宝韻』『合編』の掲載ページ・所属類・反切などを相互参照….
0
50
0
RT @ken_lunde: This is what Unicode Version 17.0 looks like after IRG Meeting #64, in terms of CJK Unified Ideographs blocks and their code….
0
9
0
RT @tsoding: Normalize using "Informatics" instead of "Computer Science". Real Science doesn't need the word "Science" in its name. Just li….
0
304
0
RT @yaowenye123: What happens when humans can’t reliably supervise LLMs during RLHF? In a new paper, we find that unreliable supervision ca….
0
21
0
RT @qingyu_shi_: Final contest of IOI 2025 China Team Selection is ended. Full scoreboard can be found here:
0
2
0