docandrew

7 ms·

31.
by docandrew 2y ago
It’s possible to write unsafe code in either but it’s also much easier to write safe code in both Pascal and Ada than C/C++. And it’s easier to write safe code in C++ than C. Memory safety exists in a spectrum, it’s not all or nothing.
32.
by docandrew 2y ago
I needed this. I have so many half-finished projects, it’s nice to think that there’s still a way to make them valuable in some way.
33.
by docandrew 2y ago
With SPARK mode you can check them at compile-time with provers and elide the runtime checks. You can do _very_ sophisticated type predicates this way.
34.
by docandrew 2y ago
Java?
35.
by docandrew 2y ago
When they put hidden cameras inside packages to catch porch pirates, plenty of thieves have a decent apartment, big screen TV. They’re not stealing groceries, they’re stealing things to fence.
36.
by docandrew 2y ago
The advantage to virtualization is having an API that can be used to spin up new k8s nodes. Bare metal provisioning is still a mess of PXE, badly-supported firmware, finicky DHCP and network settings and poor tooling. Server vendors could d
37.
by docandrew 2y ago
There are some fun things you can do with it like terminal image viewing, etc. The notcurses library uses it, some of their demo videos are really neat.
38.
by docandrew 2y ago
CPUs are imperative.
39.
by docandrew 2y ago
Yup, first-class support has been coming: https://kubernetes.io/blog/2023/08/24/swap-linux-beta/
40.
by docandrew 2y ago
Disabling swap is recommended on k8s nodes, since the idea there is to schedule workloads to use up the actual RAM/CPU of the box.
41.
by docandrew 2y ago
Serious Sam was such a fun game - this was a really interesting write up too. I wish this kind of dedication to low latency and efficiency was more widespread.
42.
by docandrew 2y ago
Nvidia didn’t start there - they took down a lot of established competitors in the GPU space, and a lot of other big companies are gunning for their position. I’d say their business operations and leadership are definitely worth studying.
43.
by docandrew 2y ago
It’s always hallucinating… but sometimes the hallucinations are of things that actually happened.
44.
by docandrew 2y ago
My team is also in the process of refactoring a number of shell script CI pipelines into Go. With `go run` it might as well be interpreted, from a UX standpoint it’s as easy to call as a shell script but with the benefit of static types and
45.
by docandrew 2y ago
You could make the reverse argument - that the conference organizers think what defense contractors are doing is purely bad and could in no way be thought of as being good. Ultimately it’s up to _us_ (proxied through our elected officials)
46.
by docandrew 2y ago
I proposed something similar for D a long time ago, I didn’t realize though that there was prior art there with Smalltalk!
47.
by docandrew 2y ago
We do - Ada!
48.
by docandrew 3y ago
I’m a prodigious note-taker with pen and paper, and have made peace with the idea that I’ll never reference 99% of the notes I write. Same with webpages I bookmark for later. But for me, just the act of writing helps me to stay more focused
49.
by docandrew 3y ago
I read the article, I still think it’s overly harsh punishment.
50.
by docandrew 3y ago
I was kinda wondering the same thing. I guess importing non-native species can be bad, but cross-breeding is something we’ve done for millenia. Seems like his real crime was doing this while not being an employee of Monsanto.
51.
by docandrew 3y ago
Hopefully this comes to fruition (with AMD on board too). I wonder if it might spur some more hobbyist OS research.
52.
by docandrew 3y ago
I think that’s the GP’s point though. 70 years from now are we going to look back on these studies and think “what the heck were we thinking?”
53.
by docandrew 3y ago
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1933933/?page=1
54.
by docandrew 3y ago
I seem to recall that Gobo turned on case-insensitive shell tab-completions by default so in practice it was a non-issue.
55.
by docandrew 3y ago
I ran Gobo for a while and really enjoyed some of their ideas. It was started by Hisham Muhammad, the author of htop. It’s a shame that it didn’t get more traction. We probably wouldn’t have needed Docker or any of the gazillion package man
56.
by docandrew 3y ago
Given how fast the D compiler is, this might be a nice alternative to something like LuaJIT for an embedded scripting language in other apps.
57.
by docandrew 3y ago
It’s not untrustworthy because it’s offensive, it’s offensive because it’s untrustworthy. If people think that Google is trying to rewrite history or hide “misinformation” or enforce censorship to appease actual or perceived powers, they’re
58.
by docandrew 3y ago
Have they actually engaged in anticompetitive behavior or are they just the only player?
59.
by docandrew 3y ago
Is it easier now? Back then you could learn C++ in 21 days, nowadays it takes years and years and you’re still just scratching the surface. :)
60.
by docandrew 3y ago
Making IOCP work underneath stateful protocols like TLS is more complicated still, and then add on multithreaded handlers and things get messy real quick. It’s a similar story with io_uring. It can be done (I’ve done it) but its not easy to

More ›