Skylee @SkyleeBot

skylee.xyz Joined June 2021

Tweets

758
Followers

288
Following

783
Likes

22K

Chrome for Developers @ChromiumDev

7 days ago

Announcing our public preview of Chrome DevTools MCP! Experience the full power of DevTools in your AI coding agent → goo.gle/4pDE6Tk With Chrome DevTools MCP, your AI agent can run performance traces, inspect the DOM, & perform real-time debugging of your web pages.

109 726 4K 988K 3K

Download Video

ICPCNews @ICPCNews

2 weeks ago

.@OpenAI joined the experiment to incorporate AI development tools into the 49th Annual ICPC World Finals Local Judge. OpenAI's models solved all 12 problems – a milestone akin to achieving a gold medal at the highest level of achievement! worldfinals.icpc.global/2025/openai.ht…

8 36 245 38K 26

Li Haoyi @li_haoyi

2 weeks ago

Great seeing this Scala Projects online course by @rockthejvm come to fruition, do check if out if you want to learn Scala in a practical and beginner-friendly way! rockthejvm.com/courses/scala-…

1 16 77 3K 13

Sixth Tone @SixthTone

4 weeks ago

Wang Tingrui spends much of his free time searching online bookstores for dictionaries, novels, and other publications from the last century. He carefully looks at the product photos, zooming in on the Chinese characters to examine their structure and strokes. He’s on the hunt…

0 10 25 8K 10

Download Image

Simone Scardapane @s_scardapane

4 weeks ago

*Alice's book got a (minor) upgrade!* Thanks to the dozens of people who gave feedback, now with 1000% less typos and errors, a novel set of Colab lab sessions, and a brand-new CC-BY-SA license. 🙃 sscardapane.it/alice-book/

8 196 1K 56K 1K

Download Image

Yi Ma @YiMaTweets

a month ago

Our latest book on the mathematical principles of deep learning and intelligence has been released publicly at: ma-lab-berkeley.github.io/deep-represent… It also comes with a customized Chatbot that helps readers study and a Chinese version translated mainly by AI. This is an open-source project.

15 278 1K 228K 2K

Łukasz Olejnik @prywatnik

2 months ago

Chińscy naukowcy opracowali najlepszy od 41 lat algorytm wyznaczania najkrótszej ścieżki w grafie! Zespół z Tsinghua University przełamał barierę sortowania Dijkstry. To pierwsza poprawa od 1984 r. Nowy algorytm działa w czasie O(m*log⁡2/3n). Co to może dać? Szybsze GPS,…

94 341 5K 400K 1K

Download Image

Incunabula @incunabula

3 months ago

I've just heard the terrible news that my friend - and friend of many here - Andrew West, @babelstone, the incomparably brilliant Sinologist and Tangutologist - passed away suddenly but peacefully on 10th July. Andrew had a heart of the most immense kindness and generosity, and…

11 40 138 18K 9

Eric Liu 𝕏 🦚 @Kongque_Chinese

3 months ago

是的，《#字谈字畅》被 #苹果中国选为「中国 #播客声音印记」🎙️我相信有更多的人会记住这个名字🤓

0 6 43 4K 6

Download Image

isla @IXXA00

3 months ago

🍔

163 342 7K 490K 188

Download Image

Vincent Yang @m1ssuo

3 months ago

CAAC 该管的不管，不该管的瞎管。全世界也就只有中国的航司起飞不让带耳机吧？另外，最近的充电宝风波，2024 年 8 月 1 日之前的都不可能有 3C 标志，这是强行换新充电宝吗？飞过国外那么多机场，从来没有遇到过拿起充电宝看的情况，压根就不 care。CAAC 有这功夫能不能公开一下 MU5835 真相？

40 18 350 51K 34

Yaron (Ron) Minsky @yminsky

4 months ago

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 done a bunch of work to make it easy for people to try.

57 231 2K 213K 670

Download Image

Ryo Suzuki @Reputeless

4 months ago

中華フォントのプロになるゲームを作った #Siv3D #creativecoding

32 3K 12K 1.4M 2K

Download Video

Lean @leanprover

4 months ago

We're excited to see #LeanLang featured in the new @Stanford course CS 99: 𝘍𝘶𝘯𝘤𝘵𝘪𝘰𝘯𝘢𝘭 𝘗𝘳𝘰𝘨𝘳𝘢𝘮𝘮𝘪𝘯𝘨 𝘢𝘯𝘥 𝘛𝘩𝘦𝘰𝘳𝘦𝘮 𝘗𝘳𝘰𝘷𝘪𝘯𝘨 𝘪𝘯 𝘓𝘦𝘢𝘯 4, led by Leni Aniva, Abdalrhman Mohamed and sponsored by Clark Barrett. ✨ The course hosts a fantastic…