Viewing profile — humam_alhusaini

Seems inefficient, why not just distribute a version history with the document?

This is great lol Can you release a version playable on mobile?

This was featured at PLDI 26 [1]. I'm not yet convinced that the issue of C's unsafety is better solved by translating it to Rust rather than using Fil-C [2]. https://pldi26.sigpla…

Curious, are you using the 10 agents for personal projects or for work?

This website is making my browser slow.

Doesn't Scantron already solve that problem?

What will OpenRouter use the $100m for? You say that it "makes the company extremely durable" and is "good validation to employees", but I'd imagine that there are more interesting…

Surprising that the article doesn't mention the kardashev scale, which I learned about in high school human geography.

Hello, I'm a college student pursing a bachelors in computer science. My degree program requires that I do a "science sequence"; essentially classes 1 and 2 of general chemistry, p…

I'm curious as to why Z3 is so much more popular than CVC5 if CVC5 is better for solving complex problems. Is it because Z3 is older?