vendiddy

8 ms·

61.
by vendiddy 1y ago
That sounds interesting. Thanks for the recommendation!
62.
by vendiddy 1y ago
I'm describing how I learned Spanish. Spanish is not a programming language.
63.
by vendiddy 1y ago
I'm neither, but I tried learning Spanish from a "language teacher" and it didn't work. I'm not alone. I've spoke to dozens who had the same experience. Years later I learned from people with the same method I
64.
by vendiddy 1y ago
The programming model of message passing between processes lends itself well to certain types of apps even if you don't need to handle millions of connections. For example Elixir/Erlang are currently used in certain IoT applicatio
65.
by vendiddy 1y ago
How is the security?
66.
by vendiddy 1y ago
Can't someone learn this stuff with the assumption that certain functions are hard to invert? Like assuming f(x) is hard, let us try to prove these other properties of security.
67.
by vendiddy 1y ago
Nix specifically may have governance problems, but this connection seems like a stretch to me
68.
by vendiddy 1y ago
I do think AI could be a better language tutor than an average language teacher, but I don't think Duolingo's approach is very effective. The ideal AI-powered tutor would work more closely to a private language tutor. It would spe
69.
by vendiddy 1y ago
You're not the market
70.
by vendiddy 1y ago
I don't find this to be absolutely true. At our company we reinvented a handful of wheels because the existing solutions were too complex. And complexity slows you down. It's not this clear cut.
71.
by vendiddy 1y ago
I really like doing this. I find that in many cases you can cut out 80 percent of the code of the original library. Most of the deleted code is flexibility and features we don't need. It's surprising how small the essence of a sol
72.
by vendiddy 1y ago
I've used it these past few months to better understand the PDF format, Nix, and a few other technical concepts. I try to use AI to automate things I already know and force myself to learn things I don't know. It takes discipline&
73.
by vendiddy 1y ago
How do you find Aider compares to Claude code?
74.
by vendiddy 1y ago
I think they are capable of doing it, but it requires prompting. I constantly have to instruct them: - Go step by step, don't skip ahead until we're done with a step - Don't make assumptions, if you're unsure ask questi
75.
by vendiddy 1y ago
Managing complexity pays off sooner than one would think. Even a project that's like 15k lines of code would benefit from a conscious effort to fight against complexity.
76.
by vendiddy 1y ago
Yep I want Zed to win but it has not yet become my daily driver
77.
by vendiddy 1y ago
What makes this tough is there are so many variables. What an AI could not do last week might be possible this week. Or maybe my prompt didn't have enough guidance. For the time being we have to keep testing the waters.
78.
by vendiddy 1y ago
That's a good one. One analogy I use a lot: if I have a professor sitting next to me, what is the best way to learn a topic? Struggle through it on my own and I won't be leveraging the professors knowledge. Ask the professor to do
79.
by vendiddy 1y ago
No worries I did not take it that way!
80.
by vendiddy 1y ago
I may not have been clear, but it was given to us as a definition in class. As in we saw the matrix and the corresponding equation. But nobody even told us why! And at that time I never thought to ask.
81.
by vendiddy 1y ago
It took me a long time to realize math consisted of abstractions. I was never told, for example, that matrices are a useful abstraction (shorthand?) for representing linear equations. Or that imaginary numbers were an invented abstraction t
82.
by vendiddy 1y ago
As a lay person, apps like Office feel like they stay the same between updates and somehow manage to get fatter and slower. (I'm sure they've got some new improvements tucked away but I don't notice them.) Or every time I upd
83.
by vendiddy 1y ago
I love coding but I also love AI. I don't know if I'm a minority but I'd like to think there are a lot of folks like me out there. You can compare it to someone who is writing assembly code and now they've been introduce
84.
by vendiddy 1y ago
Those oauth permission dialogs come to mind but they may need to improve significantly to become useful. I don't think most of those are granular enough.
85.
by vendiddy 1y ago
It's easy to forget how tedious things used to be before React became popular. Keeping data in sync with the UI was a huge mental burden even with relatively simple UIs. I have no desire to go back to that.
86.
by vendiddy 2y ago
I think this is spot on. I feel like folks on both sides would stop talking past each other if they were willing to understand the other POV rather than dismissing it as crazy.
87.
by vendiddy 2y ago
I think AI will have a dual effect. It will make some folks smarter and others dumber. For example, you could have ChatGPT write your code for you, then explain it to you step by step. It can be an interactive conversation. Or you could cop
88.
by vendiddy 2y ago
I'm very happy that something like this exists! I'm wondering why have there have been no good IDE experiences so far for Postgres? Or put another way, what has been the most challenging part of building this? Nothing I have tried
89.
by vendiddy 2y ago
I'm glad I'm not the only person in awe with LLMs. It feels like it came straight out of science fiction novel. What does it take to impress people nowadays? I feel like if teleportation was invented tomorrow, people would complai
90.
by vendiddy 2y ago
Some of your points are valid (like the LSP) but for our company I've found Elixir has been a great developer experience if you take the good with the bad. I'm curious what you're working on with Elixir because my experience

More ›