cλbai
@_cybai
Taiwanese, never Chinese! λ. @ServoDev contributor, Mozillian. Opinions are my own. he/him
Talvez você curta
Calling all motivated students and researchers to be part of the PLDI'26 Artifact Evaluation Committee! The first round of self-nominations ends on Dec. 22: pldi26.sigplan.org/track/pldi-202…
＜寒波が襲来＞ 明後日12月2日(火)頃から次第に寒気が南下します。 ピークとなる4日(木)は北陸や西日本の平野部でも雪になる所がある見込みです。全国的に気温が下がり、冬本番の寒さとなります。 weathernews.jp/news/202511/30…
＜今週中頃は大雪警戒＞ 12月3日(水)頃から日本列島の上空に強い寒気が南下します。 日本海側は広い範囲で雪になり、内陸部や山沿いでは大雪となる見込みです。北陸や西日本の平野部でも初雪の可能性があります。 weathernews.jp/news/202511/30…
Ho-ho-ho! 🎄 The most wonderful time of the year is almost here… #AdventOfCode starts in just 2 days! This year brings 12 days of puzzles, so you can definitely make it! 🧩 Calling all Rust developers – showcase your skills! Take it slow or race for a chance to win a USD 150…
We're running a little advent-of-fpga challenge. Solve at least one AoC problem with a hardware design, and you might win an fpga dev kit, and all working submissions get a hardcaml t-shirt!
Sharing moments shouldn’t depend on the phone you have. Starting today with the Pixel 10 family, Quick Share now works with AirDrop, making secure file transfers between Android phones and iPhones more seamless. This builds on our commitment to cross-OS compatibility to bridge…
It's #passkeysweek . Feel free to promote your passkey related products using the #passkeysweek hash tag. We'll promote some of our contents through @ChromiumDev and @AndroidDev too!
Xavier Leroy’s new book “ Control structures in programming languages: from goto to algebraic effects” discuss.ocaml.org/t/book-draft-c…
Big news in this year's GitHub Octoverse report: TypeScript is now the most-used language on GitHub! We are thrilled and grateful to see the TypeScript and JavaScript community continue to grow and thrive. 🚀 Read up more at github.blog/news-insights/…
How Cloudflare Uses Racket and Rosette to Verify DNS Changes Keynote presentation by James Larisch and Suleman Ahmad at (fifteenth RacketCon) October 4-5, 2025 UMass Boston youtu.be/7Twlh-Opq5E
【お詫び】 ネットストアの物流障害の影響により現在、以下の一部サービス・機能を停止しております。 大変ご迷惑をおかけしますが再開をお待ちください。 最新状況はこちらをご確認ください。 bit.ly/4hk9GSm
アスクル株式会社は本日、ランサムウェア感染によるシステム障害が発生したことをお知らせいたします。 個人情報や顧客データなどの外部への流出を含めた影響範囲は現在調査を進めており、わかり次第お知らせいたします。 また、本システム障害により、現在LOHACOの受注・出荷業務を停止しております。
Great talk by @zacgarby on "The Calculated Typer", a functional pearl at Haskell 2025! Talk: tinyurl.com/yc2f5wtp; Paper: tinyurl.com/42cfnmnk
I am more than proud of my PhD students, colleagues and collaborators! Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25. 🥳🎉 The papers cover a wide range of PL and compiler topics 🧵
It's finally here. Zed is available on Windows. Built from scratch, and rendering at 1 million pixels/millisecond. Download it today 👇
I am a functional programmer not because of the company I work for, but for the company I keep. -- @satnam6502 "Functional Programming and Hardware Design" is such a generic title for such an incredibly dynamic and heartfelt talk. Well worth your time! youtube.com/watch?v=1oBOu6…
![kmett's tweet card. [ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events...](https://pbs.twimg.com/card_img/1995780630316285953/9hSaYKQx?format=jpg&name=orig)
youtube.com
YouTube
[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events...
United States Tendências
- 1. Cloudflare 30.8K posts
- 2. #heatedrivalry 29.9K posts
- 3. Cowboys 73.7K posts
- 4. Happy Farmers 1,903 posts
- 5. LeBron 114K posts
- 6. Warner Bros 31.8K posts
- 7. Lions 93K posts
- 8. fnaf 2 27.7K posts
- 9. Wizkid 178K posts
- 10. Pickens 15.1K posts
- 11. rUSD N/A
- 12. #PowerForce N/A
- 13. Shang Tsung 35.7K posts
- 14. scott hunter 6,704 posts
- 15. Paramount 21.8K posts
- 16. Gibbs 21K posts
- 17. Jake Tapper 43.7K posts
- 18. Davido 98.4K posts
- 19. Scott and Kip 3,892 posts
- 20. Cary 47.1K posts
Talvez você curta
-
LiangC
@LiangCh95173853 -
Kalan ◂Ⓘ▸
@kalanyei -
Harold Wu
@yfw3u -
Yakko Wu
@yakkowu -
Isaac Huang | イサコ
@caasih -
Bruce 🌈 Taiwanese
@brucehsu -
I'm 小傑
@welkineins -
FizzyElt
@FizzyElt -
Ray Shih
@existential_ray -
Clojure Taiwan
@clojuretw -
PJCHEN
@pjchender -
A.Y.
@andrewyaaan -
Weihang Lo 𓃺𓃹
@weihanglo -
𝚁𝚊𝚙𝚑𝚊𝚗𝚞𝚜 𝙻𝚘 g0v.social/@coldturnip
@coldturnip -
kakashi
@kakashiliu
Something went wrong.
Something went wrong.