Viewing profile — isaacvando
isaacvando
HN member- Joined
- Mon, Nov 20, 2023, 1:46 PM UTC
- HN karma
- 29
- Public activity
- 26 items
- HN profile
- View on Hacker News ↗
About isaacvando
No profile information was provided.
Recent public activity
- story
- story
- story
-
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…
- story
- story
- story
-
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/
-
comment
Comment #46617754
This game is a ton of fun. Try it!
-
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…
-
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…
-
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…
-
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…
-
comment
Comment #44740361
programming as theory building mentioned
-
comment
Comment #44596441
How did this end up on the front page with 0 comments??
-
comment
Comment #44314660
Love it!
-
comment
Comment #44306051
Nothing happens for me either
-
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…
-
comment
Comment #44294437
I tried it in Ghostty, iTerm2, and Terminal.app and they all behaved the same.
-
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…
-
comment
Comment #43858725
Nice!
-
comment
Comment #43106153
Looks wonderful!
-
comment
Comment #42942067
I believe the main reason is for achieving the best possible performance. Someone closer to the compiler could give more detail.
-
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. …
-
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…