Got my first mention on the engineering blog. My proudest contributions are parallel recheck and IDE services, and indexing based global find references.
engineering.fb.com/2025/05/15/d...
engineering.fb.com/2025/05/15/d...
Introducing Pyrefly: A new type checker and IDE experience for Python
Today we are announcing an alpha version of Pyrefly, an open source Python type checker and IDE extension crafted in Rust. Pyrefly is a static typechecker that analyzes Python code to ensure type c…
engineering.fb.com
May 15, 2025 at 7:46 PM
Got my first mention on the engineering blog. My proudest contributions are parallel recheck and IDE services, and indexing based global find references.
engineering.fb.com/2025/05/15/d...
engineering.fb.com/2025/05/15/d...
It's the third time at work where I find that another slow VSCode extension is slowing things down for a fast language extension. I will write more in detail about this later, but there is the quick test results with an intentionally slow extension:
github.com/SamChou19815...
github.com/SamChou19815...
SamChou19815/packages/vscode-intentionally-slow-extension at main · SamChou19815/SamChou19815
A monorepo of Sam's smaller projects. Contribute to SamChou19815/SamChou19815 development by creating an account on GitHub.
github.com
January 6, 2025 at 2:17 AM
It's the third time at work where I find that another slow VSCode extension is slowing things down for a fast language extension. I will write more in detail about this later, but there is the quick test results with an intentionally slow extension:
github.com/SamChou19815...
github.com/SamChou19815...
What will React look like if it's in Rust? A lot of APIs will be different and heavily bend by the borrow checker, but at the same time an entire class of react-rule violations will be impossible by construction.
November 24, 2024 at 4:31 AM
What will React look like if it's in Rust? A lot of APIs will be different and heavily bend by the borrow checker, but at the same time an entire class of react-rule violations will be impossible by construction.