Will Smith's Avatar

Will Smith

@tihan.bsky.social

dbt Labs. Interested in all things software engineering, but I do like compilers Ex-Microsoft on F#/RyuJIT/Xamarin

391 Followers  |  178 Following  |  33 Posts  |  Joined: 25.07.2023  |  1.6829

Latest posts by tihan.bsky.social on Bluesky

Itโ€™s so good

01.10.2025 13:28 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The thing is, they know this. They donโ€™t care; they are only wanting to be cruel and get rich.

18.09.2025 04:24 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Layoffs across MSFT. DevDiv was hit hard this time round.

14.05.2025 15:53 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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.

14.05.2025 15:24 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

What's a better name, 'float3' or 'vec3'?

06.05.2025 18:43 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

Well, today was a day.

02.05.2025 23:21 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Chatgpt

25.04.2025 08:42 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Well, image generation is definitely improving. I canโ€™t believe it got the โ€œXamarinโ€ on the shirt perfectly right.

24.04.2025 21:46 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Fucking horrible is what it was.

28.02.2025 23:16 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Look at dates while you are at it.

17.02.2025 23:25 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Original post on mastodon.social

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 [โ€ฆ]

17.02.2025 17:30 โ€” ๐Ÿ‘ 8    ๐Ÿ” 6    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Last year, JIT team used Capstone to help them decode and verify SVE :)

14.02.2025 16:28 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Everyone is going to love it so much... ๐Ÿ˜ž

03.02.2025 02:46 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

:(

23.01.2025 16:02 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
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

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...

04.01.2025 02:25 โ€” ๐Ÿ‘ 7    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Canโ€™t make this up

03.01.2025 20:53 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Tricky because structs in .NET will always satisfy the "new()" constraint, even if it doesn't have a default constructor.
I had to make Oly follow this logic using the anonymous shape. Not particularly happy about it.

30.12.2024 21:04 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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() }"

30.12.2024 21:02 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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!

10.12.2024 11:27 โ€” ๐Ÿ‘ 21    ๐Ÿ” 32    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 3

Very cool. I tested bindless a few months ago and showed similar results.

14.12.2024 03:58 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Oly now has analyzer support! Needed an analyzer to validate specific rules for SPIR-V.

07.12.2024 21:23 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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.

Rockstar is so cool
github.com/RockstarLang...
The thing I find most inspiring is the community around it.

03.12.2024 14:34 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Current Oly-Spirv design:

01.12.2024 00:10 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

๐Ÿ‘๐Ÿ‘๐Ÿ‘

28.11.2024 01:04 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Coming back from Canada one time, a U.S. border officer asked me, โ€œDo you love yourself?โ€ He wasnโ€™t happy I was only in Canada for a day.

22.11.2024 00:03 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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.

I spy... Spectre.Console: devblogs.microsoft.com/dotnet/intro...

21.11.2024 17:49 โ€” ๐Ÿ‘ 40    ๐Ÿ” 3    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0
Preview
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โ€ฆ

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.

19.11.2024 20:47 โ€” ๐Ÿ‘ 157    ๐Ÿ” 32    ๐Ÿ’ฌ 9    ๐Ÿ“Œ 4

We can set something up next week before U.S. thanksgiving ๐Ÿฆƒ

18.11.2024 02:52 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

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.

17.11.2024 08:35 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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.

17.11.2024 00:42 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

@tihan is following 20 prominent accounts