@Meaningness A good example of safety in a memory unsafe language is @TigerBeetleDB https://t.co/0sXvBDiiJD
By using tricks such as defining explicit limits for everything, they define a whole class of errors out of existence, even though the language they use is "unsafe".
@Meaningness I think the point I'm trying to make is that memory safety is a formal property of a programming language, whereas general safety is a property whose definition is situational and negotiated.
jiujitsu term: professor white belt
guy who's been training for a year and finally better than the people just starting, enthusiastic to teach them all the moves he knows
but doesn't realize how much of a noob he himself still is
lot of anime pfp dev content is like this
@eliesgalvira@jorandirkgreef@TigerBeetleDB Love TigerBeetle, but not sure their database will solve this. We already have ~instant transactions in the Netherlands. The tricky bit is getting everyone to join the "make things fast" scheme, not the tech
@Vernon3Austin Hi Austin, nice post! You might want to know the link to the companion piece is broken. You link to https://t.co/oC55hFdz7z, but that 404's. Did you mean https://t.co/Hlg9813YW4 perhaps?
@dundereloise@lkesteloot I have done the M&M experiment and my wife was able to distinguish between orange, brown, and not-orange-or-brown with 100% accuracy!