I'm also on Mastodon as https://hachyderm.io/@BoydStephenSmithJr .
If you read the literature, particularly "Types and Programming Language", you'll find that "dynamic typing" isn't even considered typing. If you can have a type error at runtime you've defeated the reason to add a type system: to reduce runtime errors. The hope is that "well-typed programs don’t go wrong" tho there are some limits to what any type system can do (e.g. Rice's Theorem).
That said. Static v. Dynamic is much more precise than Strong v. Weak and should be preferred.
Implicit v. Manifest is less useful just because it's a broad spectrum, basically inculcating how much type inference is done and "how much" generally depends a lot the input program(s). Haskell does whole-program inference, tho GHC (the only Haskell compiler) has a number of syntactic forms that can't be inferred. Scala only does local inference. C doesn't infer types, though is gets close with how it treats functions with no-argument in the prototype and varargs stuff. C++ uses auto for some type inference, which is still somewhat manifest, but also mostly implicit.
I think weak typing is a good name for when there are invisible coercions, but that doesn't actually have much to do with proper types.
Anyway, great comment, If more people would use static/dynamic and explicit/implicit instead of strong/weak, there'd be less miscommunication.
I'm not sure if any of those commits did, but I worked 2 years doing Haskell backend and jQuery+Bootstrap frontend for Masterword. Before that I did some work for Wire: https://github.com/wireapp/wire-server/commits?author=stephen-smith Before that, I worked at TGCS for nearly a decade.
But, right now I am still looking for work. I've actually been looking since April 2025 when my time at Masterword ended, but I did update my "hire me" posts back in February because my living situation changed, opening up more opportunities. Originally I needed something remote so I could continue to take care of my father (RIP), now relocation is certainly an option.
If anyone reading this has a position available, or is just curios, my current resume public: https://docs.google.com/document/d/1ORf48b557nK0gYI4h6J0xP7nzOVRoqtOogYsukUMREU
- JumpDeleted
Permanently Deleted
No.
I was a worse person with less stuff.
I certainly enjoyed myself at the time, but I there was a lot I didn't (and probably couldn't) know.
Yes and "tipping" has gone insane. Not just amounts (tho even when I was a child, my parents consider 10% the bare minimum) but also you get prompted to leave a tip for transactions that don't involve a tipped position.
My experience is from one of the shittier states for workers (Arkansas), right-to-work effectively eliminates all union activity, the state would remove the minimum wage if it could, and there's even people that want to make it easier for 14-18 year olds to work.
As wish many things American, it goes back to slavery. Tipped workers were a way for employers to avoid paying (mostly black) workers, effectively providing slavery-lite even after slavery had ended (Happy Juneteenth).
In any case, current U.S. labor law has specific carve-outs for certain tipped jobs that allow the minimal wage to be not the already unlivable $7.25/hr but the unsustainable $2.15/hr. Technically, employers are required to bring a tipped workers pay up to $7.25/hr if they do not report enough tips, but in practice employers encourage reporting incorrect tips and find reasons (if needed) to dismiss employees that do not report enough tips.
Fisherman, Sailor, Teamster, and Chef are not tipped positions. Waitstaff is a tipped position.
Good to know we are in careful, caring hands. /s
Thanks for being a Union Worker.
It's a good comic, but escalators can kill: https://www.cnn.com/videos/world/2015/07/27/escalator-death-china-cctv.cnn
I'd like to think that even if your shoelace got caught that either the lace would fail or your fit would fail (and the shoe would come off) before your person got caught, and if not that, hopefully someone would be able to find the emergency stop before you were mortally injured.
But, be careful out there. It's getting increasingly rare for organization responsible for maintenance and safety to be held meaningfully liable, even though many safety regulations are "written in blood".
The people I knew when I was 330lbs treated me the same when I was 205lbs. Strangers might have treated me differently, but I was probably oblivious to it.
I'm back up to 263lbs, tho. And, BMI and BF% says I need to be closer to 165lbs. So, I probably never crossed any hotness threshold, if there is one. (I'm a cis male, FYI.)
You could look into ESG and SRI funds. There's no guarantee they will keep their value, but they are relatively easy to liquidate if you need the value converted to cash.
You can sink capital into community infrastructure to use it for good, but you might not be able to liquidate it easily (or at all). It can be still be considered an investment, if you actually to value the good that the infrastructure does more than you value the capital expended. If your value is only "cash value", then it's not an investment, but it still might do good.
Good luck finding something. I'm in various ESG funds until I hit "my number" and then I will start directing all the capital I have in excess of "the number" to "good" that's not under my control, primarily through normal, no-strings-attached donations to local charities in my community.
Wikipedia doesn't back me up. They say the playboy bunny outfits are stylized after the logo, and the logo was approved by Hef because: "The rabbit, the bunny, in America has a sexual meaning; and I chose it because it's a fresh animal, shy, vivacious, jumping - sexy. First it smells you then it escapes, then it comes back, and you feel like caressing it, playing with it."
I think the "sexual meaning" he's referring to is the "breed like rabbits" idiom but ... even in that case, there seems to be a little more to it.
Well, I think the general public probably is a bit confused about that. But, I think the disagreement is on the exposure of workers, and the practices around that.
IIRC, nuclear reactors for power have surprisingly high operating costs, even tho the fuel costs are quite low, and most of those costs are radiation controls. (And, no one is saying we need to eliminate controls, just dial them back a bit based on better science of how radiation affects humans.)
IIRC, the playboy "bunny" outfits weren't to make people think about the look or practice of rabbits, but rather to have them think of the alleged promiscuity of rabbits.
Agreed. I don't think it should be called typing; it's more tagging (yes, like tagged unions). But, I don't think I'll see that semantic shift in my lifetime.
Anyway, I prefer my types static and my functions curried, which is why I do PureScript, Idris, and Haskell for my personal projects.