Manas is a bird 🇮🇳

@[email protected]
36 Followers
230 Following
69 Posts

Compilers, PLD, OSDev, QC

GPG: 0x7fdcf6837e7d0d93

Pronounshe/him
Githubhttps://github.com/weirdsmiley
Homepagehttps://wssite.vercel.app/
Manas is a bird 🇮🇳3d ago
Cliff Click3d ago
https://youtu.be/I8bk2mYWhSo
Codex on Simple, type issues, sep compile, Modules, weak symbols, pc-rel addr, Linker, patching, ASRL. SIMD tokenizer, reg-alloc heuristics, Formal verify reg-alloc, generics. Making types simpler. Error msgs, generics. Unification, subtyping.
Coffee Compiler Club, 2026_06_19

YouTube
Manas is a bird 🇮🇳Jun 12
Cliff ClickJun 12
https://youtu.be/pCRNpQLhbZE
Simple update, unresolved symbols in a separate compilation, grep vs AI, old server vs newer ones,
AI on Simple, SoN graphics, Externs, main resolve.
Max Update, Ruby, Python. Ruby speed vs Python speed, Ruby JIT, inlining vs outlining, power
Coffee Compiler Club, 2026_06_05

YouTube
Manas is a bird 🇮🇳Jun 6
Cliff ClickJun 5
https://youtu.be/Aj2oegogfbg
Lazy init, self modifying code. Memory ordering, volatile, fences, Icache. Dynamic linking, LLVM limitations. Simple: .o, linking, relocating, exports, internal patching, more codegen. Simple phases.
Switching to Sea of Nodes(SoN), why or why not?
Coffee Compiler Club, 2026_06_05

YouTube
Manas is a bird 🇮🇳Jun 5
Chandler CarruthJun 4

Really frustrating to see the "official story" C++ documentary, absent all the voices and perspectives of people refused to participate in it, and worse, those who were never asked to participate...

I even largely agree with what is said in it (at least about the language), I'm just sad about all the things _not_ said, and all the voices _not_ heard here...

Manas is a bird 🇮🇳Jun 3

I am seeing Qwen3.6 looping much more frequently than Qwen3.5.

Pretty crazy!

#ai #llamacpp #qwen

Manas is a bird 🇮🇳Jun 1

What's the point of various websites (and research publishers too) putting captchas now, after all AI companies have scrapped their data anyways? I can't even read the paper without selecting fire hydrants.

#ai

Manas is a bird 🇮🇳May 28
mattpdMay 28
A Friendly Tour of Substructural, Uniqueness, Ownership, and Capabilities Types and more!
https://federicobruzzone.github.io/posts/eter/a-friendly-tour-of-substructural-uniqueness-ownership-and-capabilities-types-and-more.html
A friendly tour of the type-theoretic landscape behind memory safety by Federico Bruzzone
A Friendly Tour of Substructural, Uniqueness, Ownership, and Capabilities Types — and more!

Manas is a bird 🇮🇳May 25
Philip ZuckerMay 25
A New Blog Post: Lifting E-Graphs https://www.philipzucker.com/lifting_egraph/ #egraphs
Lifting E-Graphs

I submitted a talk to the EGRAPHS workshop and it was accepted! https://pldi26.sigplan.org/details/egraphs-2026-papers/13/Lifting-E-Graphs-A-Function-Isn-t-a-Constant

Hey There Buddo!
Manas is a bird 🇮🇳May 24
#lean #leanprover #lean4 #formalverification
https://mastodon.social/@h4ckernews/116629380474326776
Manas is a bird 🇮🇳May 23

Why do I often see 'Error 503 Connection reset by peer' on crates.io?

#rust #rustlang