docandrew

9 ms·

61.
by docandrew 3y ago
RGM is an American watchmaker with really interesting, often vintage-inspired typography on their watches: https://www.rgmwatches.com/
62.
by docandrew 3y ago
Runtime checks can be disabled in Ada. They’re useful for debug builds though!
63.
by docandrew 3y ago
From my experience flying and instructing students, the extra sensory input from a real airplane makes it more difficult, not less, than flying a simulator. It’s easier to get task-saturated, random things such as sun glare on your instrume
64.
by docandrew 3y ago
Both of them are a lot safer than just about everything else, with each having their own strong areas. I think it’s fair to compare the SPARK subset of Ada with the “safe” subset of Rust. Rust has a great story with memory safety though it’
65.
by docandrew 3y ago
I wonder though whether the up-front costs incurred by your team would eventually be outweighed by the long-term costs of the quick team.
66.
by docandrew 3y ago
Ada’s type system also allows compile-time checking of units like physical dimensions: https://gcc.gnu.org/onlinedocs/gcc-4.9.4/gnat_ugn_unw/Perfor... https://blog.adacore.com/uploads/dc.
67.
by docandrew 3y ago
There’s a funny comedy bit about the passive-aggressive phrasing “we need to <take out the trash, clean up the yard, etc>”. “Is that a _he_ need, or a _she_ need?” Who’s we in this scenario?
68.
by docandrew 3y ago
I’ve written this elsewhere, but I think a big part of it is that as software developers we love solving puzzles. Figuring out a quick bugfix is like solving a puzzle, so is figuring out the right combination of flags for a cli command to d
69.
by docandrew 3y ago
I had a (really creative) buddy growing up who figured out that you could do the wallpaper function in Mario Paint (which filled the canvas with repeating icons) and then stamp over some of the icons but slightly offset, and when you crosse
70.
by docandrew 3y ago
I was confused by the reference to “lossy” networks in this page. Does this have a different meaning in this context than something like lossy compression where data is actually discarded?
71.
by docandrew 3y ago
Hospital - where they’ll wake you up to give you a sleeping pill.
72.
by docandrew 3y ago
It’s easier to “raise awareness” than pick up litter or dig holes and plant trees.
73.
by docandrew 3y ago
65 million years ago an asteroid hit the earth, making untold species extinct and causing unimaginable climate change in the span of a few hours. Now, with humans on earth with telescopes and rockets and space-facing radar, we might stand a
74.
by docandrew 3y ago
I thought the D language had a really nice take on this with its notion of “weak” purity, allowing for straightforward allocations and I/O: https://klickverbot.at/blog/2012/05/purity-in-d/ I think t
75.
by docandrew 3y ago
The “tips” section on that linked page is really good!
76.
by docandrew 3y ago
There are still plenty of good SWE jobs out there that don’t require a whiteboard-style interview. But having said that, I try to think of Leetcode as akin to a crossword puzzle or sudoku, just kind of a good brain-workout for fun every now
77.
by docandrew 3y ago
This has been a part of the dlang standard library for some time: https://dlang.org/phobos/std_regex.html
78.
by docandrew 3y ago
I’ve wondered if extremely dense storage like this would give rise to a new “tape trading” or bootleg culture - if you could export Spotify’s entire catalog or every movie made so far to a single storage tape and duplicate it all, what woul
79.
by docandrew 3y ago
This brings back a lot of memories! This was a great resource - more than 20 years old now which is hard to believe.
80.
by docandrew 3y ago
The X-37B seems like a likely candidate.
81.
by docandrew 3y ago
Have you considered the military? Your background sounds a lot like mine and this was the path I ended up taking and am really happy I did. With a degree you can commission as an officer, you’ll learn a lot of discipline, time management an
82.
by docandrew 3y ago
Happy to help! I can also recommend alire (alire.ada.dev), the open source package manager for Ada. It can manage your toolchains for you and makes it very easy to get started and create new projects. It works well on M1s.
83.
by docandrew 3y ago
They can make a claim but it’s ultimately up to the VA’s doctors to determine whether they meet the criteria or not. That’s not hacking the system - they can’t get examined for something unless they first make a claim. The VA doesn’t perfor
84.
by docandrew 3y ago
I’m not sure how “gaming” it is possible when the VA either performs (or contracts out) medical exams for a veteran’s specific claim and determines whether the veteran is eligible or not. It’s not like they just take a veteran’s word for it
85.
by docandrew 3y ago
There’s a GNAT release for M1 now. The FSF Ada compiler is based on GCC so it has worked for RISC-V and other ARM CPUs for a little while now as well. Ada’s dynamic memory principles are definitely unique. For heap allocation its based arou
86.
by docandrew 3y ago
I’m probably guilty of idolizing tech at times too. Others here have echoed the importance of using tech as a means to an end, not as an end unto itself. Thanks for sharing your journey.
87.
by docandrew 3y ago
You can definitely use Ansible to provision infra as well. Whether that’s the right tool for the job is a matter of taste.
88.
by docandrew 3y ago
This is absurd. Nobody would ever say “But the core of Nazi ideas are an analysis of genetics” as though that excused anything. The fruits of both ideologies were hellish disasters, and the oppressed/oppressor dichotomy of Marxist thou
89.
by docandrew 3y ago
Also Maps, Android and YouTube were started by other companies which were acquired.
90.
by docandrew 3y ago
Sometimes I mentally substitute the word “busy” with “lazy”. Am I actually too busy to do something useful, or am I just too lazy?

More ›