cybai
@cybai.dev
Taiwanese, never Chinese!
λ. @ServoDev contributor, Mozillian.
Opinions are my own. he/him
λ. @ServoDev contributor, Mozillian.
Opinions are my own. he/him
Reposted by cybai
An introduction to formal real analysis (Lecture 25: Swapping limits and integrals). ~ Alex Kontorovich. youtu.be/zqmUXpcj8S4 #ITP #LeanProver #Math
Lecture 25, Introduction to Formal Real Analysis, Rutgers University, Prof. Kontorovich, 12/09/2025
YouTube video by Alex Kontorovich
youtu.be
December 10, 2025 at 11:20 AM
An introduction to formal real analysis (Lecture 25: Swapping limits and integrals). ~ Alex Kontorovich. youtu.be/zqmUXpcj8S4 #ITP #LeanProver #Math
Reposted by cybai
New #AdventOfCode objects! (and new shipping options!) adventofcode.com/2025/shop
December 4, 2025 at 5:20 AM
New #AdventOfCode objects! (and new shipping options!) adventofcode.com/2025/shop
Reposted by cybai
The Servo project has defined sponsorship tiers for organizations and individuals donating money to the project. Contact us at [email protected] if you are interested. servo.org/blog/2025/11...
Servo Sponsorship Tiers - Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
The Servo project has defined sponsorship tiers for organizations and individuals donating money to the project.
servo.org
November 21, 2025 at 6:15 AM
The Servo project has defined sponsorship tiers for organizations and individuals donating money to the project. Contact us at [email protected] if you are interested. servo.org/blog/2025/11...
Reposted by cybai
The browser is becoming your authentication layer. Learn about FedCM, Digital Credentials & the passwordless APIs shipping NOW #WebAuthn #DevSummit25
Eiji Kitamura at Dev Summit 25 bit.ly/3VDyGtT
Eiji Kitamura at Dev Summit 25 bit.ly/3VDyGtT
September 26, 2025 at 1:50 AM
The browser is becoming your authentication layer. Learn about FedCM, Digital Credentials & the passwordless APIs shipping NOW #WebAuthn #DevSummit25
Eiji Kitamura at Dev Summit 25 bit.ly/3VDyGtT
Eiji Kitamura at Dev Summit 25 bit.ly/3VDyGtT
Reposted by cybai
I gave a seminar entitled "How Rust won: The quest for performant, reliable software" at the Topos Institute on Jun 3, and the video (youtu.be/k_-6KI3m31M) is now published. I hope people enjoy it!
[Berkeley Seminar] Raph Levien | How Rust won: the quest for performant, reliable software
YouTube video by Topos Institute
youtu.be
September 3, 2025 at 6:21 PM
I gave a seminar entitled "How Rust won: The quest for performant, reliable software" at the Topos Institute on Jun 3, and the video (youtu.be/k_-6KI3m31M) is now published. I hope people enjoy it!
Reposted by cybai
OxCaml SIMD primitives are looking really nice 👀
> [unboxed vector values] are passed between functions in XMM registers, stored in structures as flat data, …
> Within a function, all SIMD vectors live in floating-point registers or 16-byte aligned stack slots.
oxcaml.org/documentatio...
> [unboxed vector values] are passed between functions in XMM registers, stored in structures as flat data, …
> Within a function, all SIMD vectors live in floating-point registers or 16-byte aligned stack slots.
oxcaml.org/documentatio...
OxCaml | SIMD | Intro
oxcaml.org
June 13, 2025 at 4:25 PM
OxCaml SIMD primitives are looking really nice 👀
> [unboxed vector values] are passed between functions in XMM registers, stored in structures as flat data, …
> Within a function, all SIMD vectors live in floating-point registers or 16-byte aligned stack slots.
oxcaml.org/documentatio...
> [unboxed vector values] are passed between functions in XMM registers, stored in structures as flat data, …
> Within a function, all SIMD vectors live in floating-point registers or 16-byte aligned stack slots.
oxcaml.org/documentatio...
Reposted by cybai
立命館、米大学の留学生・若手研究者受け入れへ 5億円支援 - 日本経済新聞 www.nikkei.com/article/DGXZ...
立命館、米大学の留学生・若手研究者受け入れへ 5億円支援 - 日本経済新聞
トランプ米政権の留学生受け入れ停止措置を受け、立命館大学や立命館アジア太平洋大学（APU）を運営する学校法人立命館（京都市）は、米大学の留学生を最大100人、若手研究者を同16人受け入れると決めた。渡航費用や授業料などで総額約5億3千万円の支援を行う。2025年秋学期からを予定している。学位を取得する正規生の場合、入学試験を課したうえで、立命館大で院生、APUで学部生を受け入れる。米大学に入学
www.nikkei.com
June 3, 2025 at 3:37 AM
立命館、米大学の留学生・若手研究者受け入れへ 5億円支援 - 日本経済新聞 www.nikkei.com/article/DGXZ...
Reposted by cybai
Servo Weekly Report Nº 19
Highlights from the last week:
• Continued progress to implement ShadowDOM
• Continued Flexbox improvements
• Add ReferrerPolicy IDL attribute to iframes
• Upgraded Stylo to 2024-12-04
1/2
Highlights from the last week:
• Continued progress to implement ShadowDOM
• Continued Flexbox improvements
• Add ReferrerPolicy IDL attribute to iframes
• Upgraded Stylo to 2024-12-04
1/2
Servo - Open Collective
The embeddable, independent, memory-safe, modular, parallel web rendering engine. For more details on fees, go to https://servo.org/sponsorship/#donation-fees
opencollective.com
December 11, 2024 at 1:20 PM
Servo Weekly Report Nº 19
Highlights from the last week:
• Continued progress to implement ShadowDOM
• Continued Flexbox improvements
• Add ReferrerPolicy IDL attribute to iframes
• Upgraded Stylo to 2024-12-04
1/2
Highlights from the last week:
• Continued progress to implement ShadowDOM
• Continued Flexbox improvements
• Add ReferrerPolicy IDL attribute to iframes
• Upgraded Stylo to 2024-12-04
1/2
Reposted by cybai
React is not a library, it's a language
- JSX: the syntax
- hooks: the runtime
- use client/use server: the module system
- suspense: concurrency model
- react dom/react native: a platform (where it runs)
- server actions: built-in RPC
To me, next.js? an implementation of React
- JSX: the syntax
- hooks: the runtime
- use client/use server: the module system
- suspense: concurrency model
- react dom/react native: a platform (where it runs)
- server actions: built-in RPC
To me, next.js? an implementation of React
December 10, 2024 at 1:38 PM
React is not a library, it's a language
- JSX: the syntax
- hooks: the runtime
- use client/use server: the module system
- suspense: concurrency model
- react dom/react native: a platform (where it runs)
- server actions: built-in RPC
To me, next.js? an implementation of React
- JSX: the syntax
- hooks: the runtime
- use client/use server: the module system
- suspense: concurrency model
- react dom/react native: a platform (where it runs)
- server actions: built-in RPC
To me, next.js? an implementation of React
Reposted by cybai
Since I have many new followers here, I wanted to let you know that I wrote a book: the "Web Accessibility Cookbook". It provides you with dozens of recipes to help you build common components on the web, such as navigations, filters, forms, tables, and dialogs accessibly.
accessibility-cookbook.com
accessibility-cookbook.com
Web Accessibility Cookbook
The Web Accessibility Cookbook provides you with dozens of recipes to help you build common components on the web.
accessibility-cookbook.com
December 3, 2024 at 12:47 PM
Since I have many new followers here, I wanted to let you know that I wrote a book: the "Web Accessibility Cookbook". It provides you with dozens of recipes to help you build common components on the web, such as navigations, filters, forms, tables, and dialogs accessibly.
accessibility-cookbook.com
accessibility-cookbook.com
Reposted by cybai
国会に辿り着いた190人の全員賛成で戒厳令の解除が可決されたわね
December 3, 2024 at 4:03 PM
国会に辿り着いた190人の全員賛成で戒厳令の解除が可決されたわね
Reposted by cybai
BREAKING: South Korea's parliament votes 190-0 to lift martial law
December 3, 2024 at 4:07 PM
BREAKING: South Korea's parliament votes 190-0 to lift martial law
Reposted by cybai
🎄 T-24 hours until #AdventOfCode 2024! 🎄
November 30, 2024 at 5:23 AM
🎄 T-24 hours until #AdventOfCode 2024! 🎄
Reposted by cybai
I'm happy that @happyautomata.com is back up and running on this site! I can finally start to use my favourite assignment question again in my Theory of Computing course.
![A screenshot of a question from one of my Theory of Computing assignments. The question reads:
"The Twitter account @happyautomata (https://twitter.com/happyautomata) automatically generates examples of finite automata over both the English alphabet and the "emoji alphabet". An example of an "emoji automaton" is shown below:
[figure of automaton]
Visit the Twitter account, choose your favourite "emoji automaton" with at least three states, and convert the finite automaton to an equivalent regular expression. Show all your work in addition to giving the regular expression.
If you don’t use Twitter, then you are welcome to use the above "emoji automaton" to form your answer.
If you don’t wish to use emoji in your regular expression (or you can’t get it to work nicely), you can convert emoji to letters; for example, [blue heart] = b, [pink heart] = p, and [white heart] = w."](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:f6tvcgb4p6fmvinz23kus77k/bafkreidcbabyclbt5s6plabfidp2dlap577c37hh7xr4oglk2uygke4qum)
November 25, 2024 at 3:58 PM
I'm happy that @happyautomata.com is back up and running on this site! I can finally start to use my favourite assignment question again in my Theory of Computing course.
Reposted by cybai
大谷翔平MVP、2年連続3度目 DH専任で史上初
www.nikkei.com/article/DGXZ...
米大リーグ機構（MLB）はドジャースの大谷翔平をナ・リーグの今季MVPに選出しました。
2年連続の本塁打王と初の打点王に輝き、前人未到のシーズン「50本塁打、50盗塁」を達成。
2年連続3度目の受賞で、指名打者（DH）専任の選出は史上初の快挙となりました。
#ニュース
www.nikkei.com/article/DGXZ...
米大リーグ機構（MLB）はドジャースの大谷翔平をナ・リーグの今季MVPに選出しました。
2年連続の本塁打王と初の打点王に輝き、前人未到のシーズン「50本塁打、50盗塁」を達成。
2年連続3度目の受賞で、指名打者（DH）専任の選出は史上初の快挙となりました。
#ニュース
大谷翔平MVP、2年連続3度目 DH専任で史上初 - 日本経済新聞
米大リーグ機構（MLB）は21日（日本時間22日）、今季の最優秀選手（MVP）を発表し、ドジャースの大谷翔平をナ・リーグのMVPに選出した。2年連続の本塁打王と初の打点王に輝き、前人未到のシーズン「50本塁打、50盗塁」を達成した大谷は2年連続3度目の受賞で、指名打者（DH）専任の選出は史上初の快挙となった。【関連記事】ア・リーグのエンゼルスから移籍1年目の今季は右肘手術の影響でDHに専念した
www.nikkei.com
November 22, 2024 at 12:05 AM
大谷翔平MVP、2年連続3度目 DH専任で史上初
www.nikkei.com/article/DGXZ...
米大リーグ機構（MLB）はドジャースの大谷翔平をナ・リーグの今季MVPに選出しました。
2年連続の本塁打王と初の打点王に輝き、前人未到のシーズン「50本塁打、50盗塁」を達成。
2年連続3度目の受賞で、指名打者（DH）専任の選出は史上初の快挙となりました。
#ニュース
www.nikkei.com/article/DGXZ...
米大リーグ機構（MLB）はドジャースの大谷翔平をナ・リーグの今季MVPに選出しました。
2年連続の本塁打王と初の打点王に輝き、前人未到のシーズン「50本塁打、50盗塁」を達成。
2年連続3度目の受賞で、指名打者（DH）専任の選出は史上初の快挙となりました。
#ニュース
Reposted by cybai
We, Apple JavaScriptCore team, are hiring a senior stability engineer, focusing on stability of JavaScriptCore. If you are interested, submit resume via the URL! Let's make JavaScriptCore steady and rock solid! #WebKit #Apple jobs.apple.com/en-us/detail...
Senior JavaScript Virtual Machine Stability Engineer - Careers at Apple
Apply for a Senior JavaScript Virtual Machine Stability Engineer job at Apple. Read about the role and find out if it’s right for you.
jobs.apple.com
November 20, 2024 at 6:45 PM
We, Apple JavaScriptCore team, are hiring a senior stability engineer, focusing on stability of JavaScriptCore. If you are interested, submit resume via the URL! Let's make JavaScriptCore steady and rock solid! #WebKit #Apple jobs.apple.com/en-us/detail...
Reposted by cybai
We implemented a new value for `background-clip` called `border-area`. It lets you use CSS fill a border with a background image or gradient.
This article explains how it works, and shows up the possibilities in 7 demos.
#css #webdesign #webdevelopment #graphicdesign
webkit.org/blog/16214/b...
This article explains how it works, and shows up the possibilities in 7 demos.
#css #webdesign #webdevelopment #graphicdesign
webkit.org/blog/16214/b...
Make creative borders with background-clip border-area
How’d you like to use CSS to easily create a border from an image or gradient?
webkit.org
November 20, 2024 at 4:03 PM
We implemented a new value for `background-clip` called `border-area`. It lets you use CSS fill a border with a background image or gradient.
This article explains how it works, and shows up the possibilities in 7 demos.
#css #webdesign #webdevelopment #graphicdesign
webkit.org/blog/16214/b...
This article explains how it works, and shows up the possibilities in 7 demos.
#css #webdesign #webdevelopment #graphicdesign
webkit.org/blog/16214/b...
Is there any starter pack for PL folks? 👀
November 18, 2024 at 1:41 AM
Is there any starter pack for PL folks? 👀
Reposted by cybai
ok I made a starter pack specific to OCaml 🐫
it mostly includes people who work on OCaml or with OCaml, but also some people who've been engaging with OCaml or trying OCaml
go.bsky.app/RCGiSqw
if you want to be in this starter pack or get taken out of it, let me know!
it mostly includes people who work on OCaml or with OCaml, but also some people who've been engaging with OCaml or trying OCaml
go.bsky.app/RCGiSqw
if you want to be in this starter pack or get taken out of it, let me know!
November 15, 2024 at 9:54 AM
ok I made a starter pack specific to OCaml 🐫
it mostly includes people who work on OCaml or with OCaml, but also some people who've been engaging with OCaml or trying OCaml
go.bsky.app/RCGiSqw
if you want to be in this starter pack or get taken out of it, let me know!
it mostly includes people who work on OCaml or with OCaml, but also some people who've been engaging with OCaml or trying OCaml
go.bsky.app/RCGiSqw
if you want to be in this starter pack or get taken out of it, let me know!
Reposted by cybai
Summary of the things that have happened in the @servo.org project since January 2023 when @igalia.com started to maintain it: blogs.igalia.com/mrego/servo-...
November 15, 2024 at 6:36 AM
Summary of the things that have happened in the @servo.org project since January 2023 when @igalia.com started to maintain it: blogs.igalia.com/mrego/servo-...
Reposted by cybai
💬 Behind the code: an interview with msub2 🗣️
In this interview Daniel Adams (@msub2.com) answers some questions about their contributions to the Servo project.
servo.org/blog/2024/11...
In this interview Daniel Adams (@msub2.com) answers some questions about their contributions to the Servo project.
servo.org/blog/2024/11...
Behind the code: an interview with msub2 - Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
Q&A with Servo contributor msub2.
servo.org
November 15, 2024 at 5:29 AM
💬 Behind the code: an interview with msub2 🗣️
In this interview Daniel Adams (@msub2.com) answers some questions about their contributions to the Servo project.
servo.org/blog/2024/11...
In this interview Daniel Adams (@msub2.com) answers some questions about their contributions to the Servo project.
servo.org/blog/2024/11...
Reposted by cybai
One part of our upgraded infrastructure may affect your profile.
If you see your handle now says “Invalid handle,” please reverify it by navigating to Settings > Change my handle > Type in your current handle > Verify DNS Record > Update.
(Basically, update to the same handle.)
If you see your handle now says “Invalid handle,” please reverify it by navigating to Settings > Change my handle > Type in your current handle > Verify DNS Record > Update.
(Basically, update to the same handle.)
August 18, 2023 at 9:35 PM
One part of our upgraded infrastructure may affect your profile.
If you see your handle now says “Invalid handle,” please reverify it by navigating to Settings > Change my handle > Type in your current handle > Verify DNS Record > Update.
(Basically, update to the same handle.)
If you see your handle now says “Invalid handle,” please reverify it by navigating to Settings > Change my handle > Type in your current handle > Verify DNS Record > Update.
(Basically, update to the same handle.)
Reposted by cybai
Proud to announce the new W3C RUM community group, live from @perfnow.bsky.social, Nic Jansma, @cliffcrocker.bsky.social and I will co-chair and for everyone who uses RUM, join us! www.w3.org/community/ru...
November 14, 2024 at 3:00 PM
Proud to announce the new W3C RUM community group, live from @perfnow.bsky.social, Nic Jansma, @cliffcrocker.bsky.social and I will co-chair and for everyone who uses RUM, join us! www.w3.org/community/ru...