humam_alhusaini

3 ms·

1. 1.▲
   Ask HN: What newspapers are you subscribed to?

   2 points by humam_alhusaini 2mo ago|3 comments
2. 2.▲
   by humam_alhusaini 2mo ago

   Seems inefficient, why not just distribute a version history with the document?
3. 3.▲
   by humam_alhusaini 3mo ago

   This is great lol Can you release a version playable on mobile?
4. 4.▲
   by humam_alhusaini 3mo ago

   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-20
5. 5.▲
   by humam_alhusaini 3mo ago

   Curious, are you using the 10 agents for personal projects or for work?
6. 6.▲
   by humam_alhusaini 3mo ago

   This website is making my browser slow.
7. 7.▲
   by humam_alhusaini 4mo ago

   Doesn't Scantron already solve that problem?
8. 8.▲
   by humam_alhusaini 4mo ago

   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 doll
9. 9.▲
   by humam_alhusaini 5mo ago

   Surprising that the article doesn't mention the kardashev scale, which I learned about in high school human geography.
10. 10.▲
    Do I just forget everything I've learned?

    5 points by humam_alhusaini 5mo ago|1 comments
11. 11.▲
    by humam_alhusaini 6mo ago

    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?