docandrew

10 ms·

1.
by docandrew 2mo ago
We still use leaded gasoline (100LL) in prop airplanes today, for what it’s worth. So it’s not clearly a net-negative technology.
2.
by docandrew 6mo ago
I use it for many of my side projects. I just like the language, the strong typing fits well with my work.
3.
by docandrew 11mo ago
Hype aside, if you can get an answer to a computing problem with error bars in significantly less time, where precision just isn’t that important (such as LLMs) this could be a game changer.
4.
by docandrew 11mo ago
I had a Palm Pre and really enjoyed this, shame it didn’t make it.
5.
by docandrew 11mo ago
Feels like maybe this is retreading ground covered by Why3ML, but perhaps I’m missing something. https://www.why3.org/doc/whyml.html
6.
by docandrew 1y ago
My favorite diagramming tool hands-down! It’s the only one that’s ever “clicked” for me, I use it all the time.
7.
by docandrew 1y ago
Maybe other folks’ vibe coding experiences are a lot richer than mine have been, but I read the article and reached the opposite conclusion of the author. I was actually pretty impressed that it did as well as it did in a largely forgotten
8.
by docandrew 1y ago
nginx and Roblox and redis and nmap and neovim and cryengine … the list goes on There are a LOT of tools with embedded Lua scripting capabilities.
9.
by docandrew 1y ago
Not having to put length-1 everywhere is a good thing, actually.
10.
by docandrew 1y ago
I think his point is that ORMs (and maybe DBs in general) are used for data persistence by folks who just don’t know any alternative.
11.
by docandrew 2y ago
Fun side projects mostly, my GH username is the same as here if you’re (morbidly) curious.
12.
by docandrew 2y ago
It’s a little like go in that it compiles quickly enough to replace scripts while still yielding good enough performance for a lot of systems tasks. It predates go and I wish Google had just supported D, it’s a much nicer language IMO
13.
by docandrew 2y ago
Ada for bigger projects, D for quick one-offs and more “scripty” work.
14.
by docandrew 2y ago
Move to EKS and you still need a k8s engineer, but one who also knows AWS, and you also pay the AWS premium for the hosting, egress, etc. It might make sense for your use case but I definitely wouldn’t consider it a cost-saving measure.
15.
by docandrew 2y ago
“etcd, apiserver, and controllers.” …and containerd and csi plugins and kubelet and cni plugins and kubectl and kube-proxy and ingresses and load balancers…
16.
by docandrew 2y ago
It started as a side project. They may not match the rate of upstream development, but doing their own thing is going to be a faster path to their goal of Rust in the kernel than trying to convince everyone else to do something that they do
17.
by docandrew 2y ago
I don’t see why forking is not an option here. If the upstream maintainers don’t want to adopt it, the Rust folks can gradually rewrite the bits they want to and let the market decide. Use the Ballmer “embrace, extend, extinguish” model.
18.
by docandrew 2y ago
I’d argue that libraries shouldn’t read environment variables at all. They’re passed on the initial program stack and look just like stack vars, so the issue here is essentially the same as taking the address of a stack variable and misusin
19.
by docandrew 2y ago
You can embed and work with UTF-8 strings with no issue (I have source with emoji string literals), but if you need complex manipulation of code points vs glyphs etc. I’m not sure how robust the libraries are for what you are trying to do.
20.
by docandrew 2y ago
One thing that’s kind of interesting about SPARK in particular - all the contracts get compiled to why3ml as an intermediate step before running through the solvers. If there are any VCs that can’t be discharged using the automatic provers,
21.
by docandrew 2y ago
What’s nice is that you can do it in steps - you may have a hard time proving full specification, but you can prove absence of bad behavior like buffer overruns, etc and go from there.
22.
by docandrew 2y ago
Steve Klabnik (of Rust fame) wrote a (very generous IMO) article about Ada, interesting comparison: https://steveklabnik.com/writing/learning-ada/
23.
by docandrew 2y ago
FWIW I just tried on KDE (built from source on NixOS) and had some weird cursor dpi issues and GDK errors. Looks like it is tailored more for GTK-based DEs for now.
24.
by docandrew 2y ago
If family farms are socialism why did the bolsheviks kick family farmers off their land and collectivize the farms?
25.
by docandrew 2y ago
It’s objectively cheaper to outsource software development to countries with lower costs of living too. How’s that working out?
26.
by docandrew 2y ago
I’m working through it now, for someone with a computer engineering, EE or math background I think this is a great resource to get started with CS fundamentals.
27.
by docandrew 2y ago
What the heck did I just watch?
28.
by docandrew 2y ago
I liked the conclusion: gratitude for a human in the loop who could make human decisions. Like the old IBM presentation said, “A computer can never be held accountable, therefore a computer must never make a management decision.” (Of course
29.
by docandrew 2y ago
I think getting recalled as a retiree is about as likely as a regular civilian being drafted though. Both theoretical risks but about equal, for career planning purposes.
30.
by docandrew 2y ago
The tax stuff is total bullshit. If it wasn’t the schools in Las Vegas would be the best in the country and the teachers there would be the best paid. They aren’t by a long shot.

More ›