Top New Best Ask Show Jobs

humam_alhusaini

5 karma · joined January 19, 2026

Undergraduate pursuing computer science at the University of Texas at Dallas. I'm interested programming languages research.

Humam.Alhusaini@UTDallas.edu

submissions comments

humam_alhusaini··on Danish high schoolers will have to verbally defend written assignments

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

humam_alhusaini··on Show HN: Super Dario

This is great lol

Can you release a version playable on mobile?

humam_alhusaini··on Cpp2Rust: Translates C++ to safe Rust automatically

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.sigplan.org/program/program-pldi-2026/

https://fil-c.org/

humam_alhusaini··on Herdr: One terminal to rule them all

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

humam_alhusaini··on Zo Computer

This website is making my browser slow.

humam_alhusaini··on Citing 'severe' math deficits, UC faculty demand a return to SAT tests for STEM

Doesn't Scantron already solve that problem?

humam_alhusaini··on OpenRouter raises $113M Series B

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 things to do with 100 million dollars.

humam_alhusaini··on Why birth rates are falling everywhere all at once

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

humam_alhusaini··on A Dumb Introduction to Z3 (2025)

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?