vendiddy

8 ms·

91.
by vendiddy 2y ago
You know I just realized after all these years I still don't quite know what a shell is. You have iTerm, Terminal, etc. But what do those do? Those are not the shells themselves right?
92.
by vendiddy 2y ago
I've re-read Ousterhout's book about four times. It has influenced the way I think about writing software more than any other book I've read. I had the same reaction when reading this post.
93.
by vendiddy 2y ago
I feel that it's worth mentioning that Kay and others believe the web browser has a fundamental flaw: you send data formats that the browser interprets rather than self contained "objects" that know how to execute themselves.
94.
by vendiddy 2y ago
It's not clear what point you are trying to make because so far you are describing problems common to all programming languages.
95.
by vendiddy 2y ago
Was mentioned in this thread, but I can also endorse qpdf as being a great library. It gives you a JSON representation of the PDF data structure. What's nice is that doesn't hide the underlying format but it takes care of a lot of
96.
by vendiddy 2y ago
I wish the remarkable tablets weren't so locked down. It's one of my favorite pieces of hardware and wish there were more apps for it.
97.
by vendiddy 2y ago
When you convince yourself of the program correctness, are you using techniques from the class? Any advice on reasoning about correctness?
98.
by vendiddy 2y ago
This is how I feel about Nix. I've given it a try and it's quite incredible how easy certain things are. The problem is the Nix language and the developer experience are really rough. There's a chance that Nix could figure
99.
by vendiddy 2y ago
I'm gonna keep using the term. Part of me wonders about master vs main and if anyone was actually offended by the term. Or did a small group of people get offended on the behalf of others?
100.
by vendiddy 2y ago
I found myself doing this with o1 recently for software architecture. I will evaluate design ideas with the model, express concerns on trade-offs, ask for alternative ideas, etc. Some of the benefit is having someone to talk to, but with pr
101.
by vendiddy 2y ago
Are there any contenders to provide a nitpick on this?
102.
by vendiddy 2y ago
Somewhat related - I wonder if LLMs are trained with a compiler in the loop to ensure they understand the constraints of each language.
103.
by vendiddy 2y ago
Maybe a naive question but why wasn't the timestamp designed as seconds since the epoch with zero adjustments? Everything would be derived from that. I suppose it would make some math more complex but overall it feels simpler.
104.
by vendiddy 2y ago
I disagree with the op and found the book to be very good. If you haven't read it, I would recommend reading it and judging for yourself.
105.
by vendiddy 2y ago
I too write FP code but I found this book very valuable in how he treats complexity and his concept of "deep modules". I acknowledge that he does not cover purity and mutations as a source of complexity (and they are big sources o
106.
by vendiddy 2y ago
I feel the same. I tried many css solutions over the years and always made a mess. Tailwind is by far the first time I'm productive with styling. I'm impressed with everything they've built.
107.
by vendiddy 2y ago
What worries me about nuclear is that it requires sophistication to maintain. And that's not a fixed thing. Just look at Boeing safety today vs two decades ago. Why not go all in on solar?
108.
by vendiddy 2y ago
Thanks for saving me the time.
109.
by vendiddy 2y ago
I wish they adopted more of an actor model to emulate concurrency. Or at least made it easier. I think I introducing locks is a mistake for the browser.
110.
by vendiddy 2y ago
I don't know anything about AI but I've always wished I could just upload a bunch of documents/books and the AI would perform some basic keyword searches to figure out what is relevant, then auto include that in the prompt.
111.
by vendiddy 2y ago
I'm curious if AtomVM is compatible with Erlang nodes. Could you have a Pi on Nerves talking to microcontrollers? I've never really worked with hardware but this all looks fascinating.
112.
by vendiddy 2y ago
Are there any gentle intros to how a simple SQL engine implemented under the hood? I vaguely remember someone telling me that it has mathematical underpinnings.
113.
by vendiddy 2y ago
This is an interesting point. All these years I've been doing that reordering and didn't even realize!
114.
by vendiddy 2y ago
Even if for educational purposes, a tool intended for security should have good security.
115.
by vendiddy 2y ago
I'm equally surprised. It has been a few years and my Android assistant is still dumb. I would have expected the iOS/Android assistants to be much better by now.
116.
by vendiddy 2y ago
That is a valid reason to pick Python.
117.
by vendiddy 2y ago
They are I've been asked about several of them from beginners.
118.
by vendiddy 2y ago
Yeah I would like to see more ideas like this. I really hope there's a model out there for OSS at least where folks can get paid. I always wondered what if engineers had a $100/month budget to donate to OSS founders. It wouldn&#x2
119.
by vendiddy 2y ago
Is Game Programming Patterns relevant to those who are not building games?
120.
by vendiddy 2y ago
https://docs.modular.com/mojo/faq#will-mojo-be-open-sourced Further reading. TLDR: they plan to open source it gradually over time. There's no evidence to suggest otherwise.

More ›