Live data from Hacker News

Viewing profile — isaacvando

isaacvando

HN member
Joined
Mon, Nov 20, 2023, 1:46 PM UTC
HN karma
29
Public activity
26 items

About isaacvando

No profile information was provided.

Recent public activity

  1. story
  2. story
  3. story
  4. comment
    Comment #48977922

    > So it turns out this is not "unlike Rust", it's pretty much the same thing: if everything was built in safe rust, then it would be as safe. The communication of this point is not…

  5. story
  6. story
  7. story
  8. comment
    Comment #46617820

    You should try RWX! You can trigger runs from the CLI for way faster feedback loops. The automatic caching is surprisingly good too. https://www.rwx.com/

  9. comment
    Comment #46617754

    This game is a ton of fun. Try it!

  10. comment
    Comment #46039338

    We using Tonic.ai. Although I am interested in writing something myself; I suspect there are a lot of ways it could be improved such as generating the anonymized version more quick…

  11. comment
    Comment #46037423

    We use jib at work ( https://github.com/GoogleContainerTools/jib ) which also skips the Dockerfile and builds an image for a Java project directly. This certainly looks like a much…

  12. comment
    Comment #45932729

    At work we have anonymized dumps of our production data that we use for local development. This is extremely helpful as it allows testing things locally that would be completely un…

  13. comment
    Comment #45918076

    There are also an enormous number of ways to build insecure apps on AWS. I think the difficulty of setting up your own server is massively overblown. And that should be unsurprisin…

  14. comment
    Comment #44740361

    programming as theory building mentioned

  15. comment
    Comment #44596441

    How did this end up on the front page with 0 comments??

  16. comment
  17. comment
    Comment #44306051

    Nothing happens for me either

  18. comment
    Comment #44294770

    Here's the contents of a. Let me know if there are any other commands you'd like me to type. ``` handleCommandInput 1, buffer "" c 'j' handleCommandInput 2, buffer "" c 'j' after h…

  19. comment
    Comment #44294437

    I tried it in Ghostty, iTerm2, and Terminal.app and they all behaved the same.

  20. comment
    Comment #44294348

    This is super cool! Bravo. Awesome to see it written in Nim too. When I do `cha example.com` I can't figure out how to use any of the commands (hjkl, etc). The only keys I've found…

  21. comment
  22. comment
    Comment #43106153

    Looks wonderful!

  23. comment
    Comment #42942067

    I believe the main reason is for achieving the best possible performance. Someone closer to the compiler could give more detail.

  24. comment
    Comment #42940750

    Not necessarily! Each Roc app runs on a particular platform which is built in a host language for a specific domain. That host language could be Rust, Zig, C, C++, Go, Swift, etc. …

  25. comment
    Comment #42939707

    Roc couldn't be optimized for writing the Roc compiler without sacrificing some of its own goals. For example, Roc is completely memory-safe, but the compiler needs to do memory-un…