Anqur

Compiler engineer enchanting Julia. Former: Senior Engineer @ShopeeSG, Engineer @Huawei, Intern @Seasungames.

[Anqur @anqurlu]

I don’t see any essential hopes from current AGI until there’s an agent making C++20 modules a reality.

[Anqur @anqurlu]

In type-theoretical terms, build the very core of stuff *intensionally/constructively*, only rely on small dose of extensionality from the agents, then all the obvious mistakes can be tracked down extensionally by them too. DO NOT start solely with it, or you lose the whole view.

[Anqur @anqurlu]

Pathetically wrong. “Delivering the correct contexts” is like “write more specs and test cases for strengthening” and every dev knows the specs and tests are often larger than the code. The real problem is, why more specs instead of a senior that writes it correctly, JUST ONCE.

[TennyZhuang @zty0826]

Don't be too hard-working to work.

The classic "top talent" often is. I've been on more than one "elite" team, the kind you measure in olympiad/ACM gold and headcount from top schools, with some of the highest-paid employees you'll ever meet. In the agent era, the very confidence and diligence that made them are what hold them back. They don't believe real AGI is already here, so they won't hand the critical code, the algorithms, the research itself over to an agent. The moment an agent underperforms, the reflex is "this thing is useless," not "did I give it the right context?"

Since the start of this year, I've fully believed agents are already smarter than most people, with no ceiling I can see. Every dumb mistake traces back to context we failed to design for them. That's the whole reason I started talking about AX, Agent Experience: stop assuming there's a class of work an agent can't do, and start asking what you forgot to tell it.

The talent of this new era wants to do everything the agentic way

[Anqur @anqurlu]

@Fl0ydCampbell 本来想辟谣的，但是是真的（

[Schrodinger Zhu @UofR @ZhuSchrodinger]

Reussir is a programming language project centered on RC-based memory reuse analysis. It brings MLIR into the functional programming world through a customized bufferization pipeline designed to efficiently optimize RC-managed objects.

Check https://t.co/IMbpViOOvH

[Rynco Maekawa @[email protected] @LynzRand]

@yukimura_chika 语义不一样，比如 pratt parsing 外面用 ignored 的话里面的 fold callback 不会被调到，副作用不会触发

[Paul Snively @JustDeezGuy]

Your periodic reminder FFTW, the “Fastest Fourier Transform in the West,” is metaprogrammed in OCaml, and generates highly optimized C:

<https://t.co/3y8yt1Q4yp>

[Matri𝕏tang⚡️ @matrixkook67]

With 4 years industry experience. Specializing in traditional compiler mid-end optimizations using MLIR, with hands-on LLVM framework experience. Seeking opportunities to pursue a suitable PhD position in program analysis or "classical" compiler .🙏

[Anqur @anqurlu]

我入职第一天就被猫糕开盒了（x

[Uipalent transport @OwoTizusa]

@JXQNHZr1yUAj5Be @Fl0ydCampbell 猫糕在同源吗？

[Anqur @anqurlu]

笑死，发完发现图里有 bug，留作课后作业（

[Anqur @anqurlu]

很久没更新 RowScript 了，在新公司打怪升级了半年，现在已经进化到 RustRover 里可以给 RowScript JIT 编译出来的代码打断点的水平了😈以前关注类型系统多一些，现在在端到端体验上得找补一下下

[Edward @edward40e]

A Review of 2025: The 'Little Miracles' in Two Years After Resignation
Overcoming every 'little miracle' in life, the journey of building confidence for the timid.
https://t.co/KtV9GI4V3u

[Anqur @anqurlu]

P.S. The boss behind this language emphasized their “careful and rigorous” work ethic on this one with at least 3 follow-up posts in his social account.

[Chris Allen @theodorvaryag]

I've written a post explaining how the @moonbitlang devs are lying to the public about their performance in their "30% faster" webpage on my blog

[Jonathan Brachthäuser @__protected]

I am more than proud of my PhD students, colleagues and collaborators!

Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.

🥳🎉

The papers cover a wide range of PL and compiler topics 🧵

[Anqur @anqurlu]

@Fl0ydCampbell 哎，摸摸猫猫

[Anqur @anqurlu]

@jellyterra 日期也都是诡异的4月1（x

[Anqur @anqurlu]

Yup, simple maths on bumping versions.

[Anqur @anqurlu]

@SpedonW 作者在 C 的 Discord server 上面经常直播写 C3，变成他的地盘了（

[Anqur @anqurlu]

@usrbinmix @nyyddn 是 burning Rome，和 ROM 读音相同，够地狱的😇

[Edward @edward40e]

寻找短期工作，有意向的可以在我的个人博客查看简历及联系方式。https://t.co/7a8tdF4bSg