Will Smith
@tihan.bsky.social
dbt Labs. Interested in all things software engineering, but I do like compilers
Ex-Microsoft on F#/RyuJIT/Xamarin
Ex-Microsoft on F#/RyuJIT/Xamarin
A sad week for MSFT folks, especially DevDiv. I’m sorry this is happening. Stay in good spirits and talk with people close to you.
May 14, 2025 at 3:24 PM
A sad week for MSFT folks, especially DevDiv. I’m sorry this is happening. Stay in good spirits and talk with people close to you.
What's a better name, 'float3' or 'vec3'?
May 6, 2025 at 6:43 PM
What's a better name, 'float3' or 'vec3'?
Well, image generation is definitely improving. I can’t believe it got the “Xamarin” on the shirt perfectly right.
April 24, 2025 at 9:46 PM
Well, image generation is definitely improving. I can’t believe it got the “Xamarin” on the shirt perfectly right.
Reposted by Will Smith
Heya, I just released https://github.com/xoofx/AsmArm64 🎉
The most powerful and complete ARM64 Assembler and Disassembler API library for .NET (ok, it is missing SVE/SVE2 but will do that later 😅)
The assembler API is particularly unique with a strongly typed API that can encode […]
The most powerful and complete ARM64 Assembler and Disassembler API library for .NET (ok, it is missing SVE/SVE2 but will do that later 😅)
The assembler API is particularly unique with a strongly typed API that can encode […]
Original post on mastodon.social
mastodon.social
February 17, 2025 at 5:30 PM
Heya, I just released https://github.com/xoofx/AsmArm64 🎉
The most powerful and complete ARM64 Assembler and Disassembler API library for .NET (ok, it is missing SVE/SVE2 but will do that later 😅)
The assembler API is particularly unique with a strongly typed API that can encode […]
The most powerful and complete ARM64 Assembler and Disassembler API library for .NET (ok, it is missing SVE/SVE2 but will do that later 😅)
The assembler API is particularly unique with a strongly typed API that can encode […]
I've now open-sourced my side-side-project of building a game engine with Oly.
github.com/TIHan/Evergr...
No docs, just code unfortunately - I still need to write docs for Oly...
github.com/TIHan/Evergr...
No docs, just code unfortunately - I still need to write docs for Oly...
GitHub - TIHan/Evergreen: Just a fun side-project using the Oly language to build a game engine
Just a fun side-project using the Oly language to build a game engine - TIHan/Evergreen
github.com
January 4, 2025 at 2:25 AM
I've now open-sourced my side-side-project of building a game engine with Oly.
github.com/TIHan/Evergr...
No docs, just code unfortunately - I still need to write docs for Oly...
github.com/TIHan/Evergr...
No docs, just code unfortunately - I still need to write docs for Oly...
Spent too much time yesterday tackling a single Oly feature.
In C# .NET, you can use "new()" as a constraint for a type parameter.
Ex: "void M<T>() where T : new()"
In Oly, I am translating C#'s "new()" to Oly's anonymous shape feature.
Ex: "M<T>(): () where T: { new() }"
In C# .NET, you can use "new()" as a constraint for a type parameter.
Ex: "void M<T>() where T : new()"
In Oly, I am translating C#'s "new()" to Oly's anonymous shape feature.
Ex: "M<T>(): () where T: { new() }"
December 30, 2024 at 9:02 PM
Spent too much time yesterday tackling a single Oly feature.
In C# .NET, you can use "new()" as a constraint for a type parameter.
Ex: "void M<T>() where T : new()"
In Oly, I am translating C#'s "new()" to Oly's anonymous shape feature.
Ex: "M<T>(): () where T: { new() }"
In C# .NET, you can use "new()" as a constraint for a type parameter.
Ex: "void M<T>() where T : new()"
In Oly, I am translating C#'s "new()" to Oly's anonymous shape feature.
Ex: "M<T>(): () where T: { new() }"
Reposted by Will Smith
Just got the bad news that my client is cutting budgets and all contracts are not being renewed, so I'll be available to start work in the New Year
I'm a Senior Contract .NET C#/F# Engineer with 15 years experience, comfortable working across AWS and Azure. RT's appreciated!
I'm a Senior Contract .NET C#/F# Engineer with 15 years experience, comfortable working across AWS and Azure. RT's appreciated!
December 10, 2024 at 11:27 AM
Just got the bad news that my client is cutting budgets and all contracts are not being renewed, so I'll be available to start work in the New Year
I'm a Senior Contract .NET C#/F# Engineer with 15 years experience, comfortable working across AWS and Azure. RT's appreciated!
I'm a Senior Contract .NET C#/F# Engineer with 15 years experience, comfortable working across AWS and Azure. RT's appreciated!
Oly now has analyzer support! Needed an analyzer to validate specific rules for SPIR-V.
December 7, 2024 at 9:23 PM
Oly now has analyzer support! Needed an analyzer to validate specific rules for SPIR-V.
Rockstar is so cool
github.com/RockstarLang...
The thing I find most inspiring is the community around it.
github.com/RockstarLang...
The thing I find most inspiring is the community around it.
GitHub - RockstarLang/rockstar: Home of the Rockstar programming language
Home of the Rockstar programming language. Contribute to RockstarLang/rockstar development by creating an account on GitHub.
github.com
December 3, 2024 at 2:34 PM
Rockstar is so cool
github.com/RockstarLang...
The thing I find most inspiring is the community around it.
github.com/RockstarLang...
The thing I find most inspiring is the community around it.
Current Oly-Spirv design:
December 1, 2024 at 12:10 AM
Current Oly-Spirv design:
Reposted by Will Smith
I spy... Spectre.Console: devblogs.microsoft.com/dotnet/intro...
dotnet scaffold - Next Generation Project Creation for .NET - .NET Blog
Introducing a new command line tool dotnet scaffold, a new interactive way to create projects in .NET.
devblogs.microsoft.com
November 21, 2024 at 5:49 PM
I spy... Spectre.Console: devblogs.microsoft.com/dotnet/intro...
Reposted by Will Smith
I was hesitant to post this because I think all the things I do are bad... but I wrote a blog post on how to Make a Snake game in F# 🐍 probably a cool read if you're a software developer and you've thought about using F# before but haven't yet.
Making a Snake game in F#
This blog post has been sitting in my drafts for over a year. I finally found someone to take a look at it and annoy me to post it. Thank…
wiredsis.medium.com
November 19, 2024 at 8:50 PM
I was hesitant to post this because I think all the things I do are bad... but I wrote a blog post on how to Make a Snake game in F# 🐍 probably a cool read if you're a software developer and you've thought about using F# before but haven't yet.
Oly -> Spirv is failing, but the test is written. The comment shows what the equivalent code would look like in GLSL. Now, it's just a matter of getting the test to pass.
November 17, 2024 at 8:35 AM
Oly -> Spirv is failing, but the test is written. The comment shows what the equivalent code would look like in GLSL. Now, it's just a matter of getting the test to pass.
I delayed it for a while, but I’m going to start implementing a Spirv target for my language Oly. I can already serialize/deserialize the bytecode, now it’s just a matter of writing the emitter to convert the IR to it. SSA will be the challenging part.
November 17, 2024 at 12:42 AM
I delayed it for a while, but I’m going to start implementing a Spirv target for my language Oly. I can already serialize/deserialize the bytecode, now it’s just a matter of writing the emitter to convert the IR to it. SSA will be the challenging part.
Reposted by Will Smith
A tribute to people, without whom F# 9 wouldn't have been possible:
github.com/dotnet/fshar...
Can't thank y'all enough!
github.com/dotnet/fshar...
Can't thank y'all enough!
Celebrating the F# 9 Release: A Tribute to Our Contributors · Issue #17996 · dotnet/fsharp
We would like to take a moment and thank all of our contributors and congratulate them with successful release of F# 9. F# is historically developed as a collaboration between the .NET Foundation, ...
github.com
November 13, 2024 at 1:12 PM
A tribute to people, without whom F# 9 wouldn't have been possible:
github.com/dotnet/fshar...
Can't thank y'all enough!
github.com/dotnet/fshar...
Can't thank y'all enough!
Reposted by Will Smith
I see a lot folks discussing LTS (long term support) and STS (standard term support).
THERE IS NO QUALITY DIFFERENCE
People keep saying that STS is somehow 'less baked' or 'experimental'. That's simply false.
🧵
THERE IS NO QUALITY DIFFERENCE
People keep saying that STS is somehow 'less baked' or 'experimental'. That's simply false.
🧵
November 13, 2024 at 5:52 PM
I see a lot folks discussing LTS (long term support) and STS (standard term support).
THERE IS NO QUALITY DIFFERENCE
People keep saying that STS is somehow 'less baked' or 'experimental'. That's simply false.
🧵
THERE IS NO QUALITY DIFFERENCE
People keep saying that STS is somehow 'less baked' or 'experimental'. That's simply false.
🧵
Looks like Bluesky is taking off and I am here for it.
November 12, 2024 at 1:52 PM
Looks like Bluesky is taking off and I am here for it.
Yea, I’m pretty nervous about the election.
October 29, 2024 at 3:28 PM
Yea, I’m pretty nervous about the election.
How is this platform compared to X?
October 25, 2023 at 6:55 PM
How is this platform compared to X?