Raymond Tay

Lifelong Student in Rust, Haskell & Scala. I blog at All opinions are mine. Building Products

[Raymond Tay @RaymondTayBL]

"You do your best thinking by slowing down and concentrating".
https://t.co/VRQ4YWLRI8

[Google DeepMind @GoogleDeepMind]

We’re expanding our partnership with Singapore to help safely deploy AI at scale. 🇸🇬

Together with country experts, our new programs will focus on accelerating scientific discovery, advancing pandemic preparedness, and improving healthcare.

Find out more → https://t.co/V0rFGHXOGy

[Raymond Tay @RaymondTayBL]

Qwen3.6 is under test in my home setup working predominantly in C++ codebases, and it’s more efficient than qwen3.5 models. I’ve tested using Haskell codebases and it works relatively well. It has become quite the assistant 🙂

[Raymond Tay @RaymondTayBL]

There were no surprises in this one i guess

[Raymond Tay @RaymondTayBL]

Working through TLA+ which is sometimes giving me smiles, at times it’s very trying.

[Raymond Tay @RaymondTayBL]

@debasishg I’ve just started using it and I’m a little surprised how effective it is in Java

[Raymond Tay @RaymondTayBL]

definitely vectorised operations in the IR, ASM below maps to AArch64, macOS
.build_version macos, 15, 0
.globl"<encoded name of r>"
"<encoded name of r>":
mul.4hv0, v1, v0
ret
its instructive to learn that, I can dive even deeper but I'll let it go now.

[Raymond Tay @RaymondTayBL]

Started going back to my first love, high performance computing and exploring Mojo.

fn r[size: Int](va: SIMD[DType.int8, size],
vb: SIMD[DType.int8, size],
out vc: SIMD[DType.int8, size]):
vc = va * vb

[Raymond Tay @RaymondTayBL]

print("--- Unoptimized LLVM IR ---")
print(compile.compile_info[r[4], emission_kind="llvm"]())

print("\n--- Optimized LLVM IR ---")
print(compile.compile_info[r[4], emission_kind="llvm-opt"]())

which gives me
def r {
%3 = mul <4 x i8> %1, %0
ret <4 x i8> %3
}

[Raymond Tay @RaymondTayBL]

@debasishg @oxbow_lakes exactly, mileage does vary.

[Raymond Tay @RaymondTayBL]

@oxbow_lakes @debasishg I've often wonder that candidates probably know more than 1 way to solve the presented problems, but their brains might go "let me try something new to impress and increase my chances of getting an offer" - i know i've given that kind of thought more than once

[Raymond Tay @RaymondTayBL]

@BharukaShraddha ML

[Raymond Tay @RaymondTayBL]

Exploration of loop optimisations in OpenMP and how LLVM can help https://t.co/6JMhQZnYon ; https://t.co/VK7N6nBDtl (no pay wall)

[Raymond Tay @RaymondTayBL]

Awesome listen if you are keen to understand what are the latest trends in AI in china https://t.co/lWuMICapNm

[Raymond Tay @RaymondTayBL]

I just published Taming ValueTracking in LLVM20: a beginner’s notes https://t.co/iaLDmQFRm2

[Raymond Tay @RaymondTayBL]

Documented my journey around adding a custom x86 instruction using llvm 20. let me know what you think?

https://t.co/lzQn6mm8fY

[Raymond Tay @RaymondTayBL]

@ktosopl A lot of people were misled unfortunately and I heard the so called victim was hired into Scala Center iirc. Anyway, scala will always be the language I loved.

[Raymond Tay @RaymondTayBL]

@debasishg I know a few of them IRL and it sucked how they’ve destroyed the entire community. Hope they’re happy with their “achievements “

[Raymond Tay @RaymondTayBL]

Looking for sources around Reliability Engineering based on conditional probabilistic models eg books, papers thanks !

[Raymond Tay @RaymondTayBL]

@debasishg I’m watching the std::move space as well.