isaacvando

9 ms·

1.
AI and the University – Carson Gross [video](youtube.com)
2 points by isaacvando 1mo ago|0 comments
2.
Dependency Cultures – Richard Feldman [video](youtube.com)
9 points by isaacvando 2mo ago|1 comments
3.
by isaacvando 2mo ago
> 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 great at all, so much so I don't thi
4.
Creators of Zig, SQLite, Htmx, Roc Speaking at SSW(softwareshould.work)
3 points by isaacvando 4mo ago|0 comments
5.
Nondeterminism's Not the Problem(isaacvando.com)
15 points by isaacvando 4mo ago|9 comments
6.
Software Should Work Conference(softwareshould.work)
1 points by isaacvando 8mo ago|0 comments
7.
by isaacvando 8mo ago
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/
8.
by isaacvando 8mo ago
This game is a ton of fun. Try it!
9.
by isaacvando 10mo ago
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 quickly.
10.
by isaacvando 10mo ago
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 nicer experience than docker build, esp
11.
by isaacvando 10mo ago
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 unrealistic to setup otherwise. Your whole dataset might not b
12.
by isaacvando 10mo ago
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 unsurprising given that there are so many companies that benefit from d
13.
by isaacvando 1y ago
programming as theory building mentioned
14.
by isaacvando 1y ago
How did this end up on the front page with 0 comments??
15.
by isaacvando 1y ago
Love it!
16.
by isaacvando 1y ago
Nothing happens for me either
17.
by isaacvando 1y ago
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 handleComma
18.
by isaacvando 1y ago
I tried it in Ghostty, iTerm2, and Terminal.app and they all behaved the same.
19.
by isaacvando 1y ago
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 that have any effect are typing numbers which sho
20.
by isaacvando 1y ago
Nice!
21.
by isaacvando 2y ago
Looks wonderful!
22.
by isaacvando 2y ago
I believe the main reason is for achieving the best possible performance. Someone closer to the compiler could give more detail.
23.
by isaacvando 2y ago
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. It's possible the basic-webserver platform will be rewr
24.
by isaacvando 2y ago
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-unsafe things. Introducing memory-unsafety into Roc would
25.
by isaacvando 2y ago
Yes! In Roc you specify all of your packages in your main.roc file, there's never a need for an external config file. It is extremely nice to always be able to run stand alone files. https://www.roc-lang.org/ An exampl