For me it’s probably speech therapy and everything pertaining to that. I’m yet to encounter someone on here who is one apart from me (in training).
What about you?
Bad day to be into computers
I was a citizen of the internet before the www started.
Same. Internet was for usenet, e-mail and irc.
My very specific niche in programming.
If you ask me about some very common things, I have no clue. JavaScript? More like JavaShit amirite? But if someone can explain OCI layers, describe the boot process of a RISC-V device as it leads U-boot and a Linux kernel, and talk about performance optimisations in modern Python… Well, my team is looking for more developers and this combination of skills seems impossible to find.
Plumbing, since I’ve been a professional plumber in both North America and Europe. Not the most interesting knowledge base but alas, it is what it is. Other than that, Age of Empires II maybe?
Um probably most people here know more about their work subject than the average Lemmy user
For me it’s beekeeping and honey processing
PS my other half did her degrees in speech/language therapy and psychology
Ah ha, my moment to brag about it:
90% of Lemmy are Westerners, I probably know about Chinese Languages than most here. (Except a few users like @[email protected], they probably know it better)
I can speak Cantonese and Mandarin and kinda understand Taishanese (台山話）(Taishan not Taiwan)
I can read basic Chinese characters, type Pinyin and Jyutping. Can’t write on paper tho, idk how to recall it from memory, but I can recognize it if someone else wrote it down.
(But don’t ask me to teach you lol, I only went to grade 2, not exactly a pro at it, I lack the vocabulary)
Btw: I watched some youtube videos about foreign visitors to China, and um… their tones are kinda off, like waayyy off. Even people who’ve been there for like 10 yeats still have the tones being kinda wrong. (Its very hard, probably impossible if you didn’t grow up used to the difference in tones.)
Hum, I’d say probably drawing technique. Since it feels like the majority of the lemmy denizens are still tech people, my skills are enough to be above average. Our artist community is growing, so I’m happy for that, and hoppefully it fills the fediverse with more OC! :)
Using sex toys anally/anal sex toys
My record is a 9 inch circumference
Have you ever tried a jar
Nope, definitely not safe. Honestly I just stay away from glass toys entirely. Silicone plugs are a lot nicer anyways.
High pressure boiler systems.
I dunno the inner workings of Walmart? Been here for over a decade and I’ve held a few positions of authority within.
Been here for over a decade
My deepest condolences.
Like an American Walmart? Like in the US?
So: Do they really sell guns or is that a meme? Or is that a red state thing? Because I don’t think I saw any in the walmarts around me.
They used to. Most Walmarts now only sell a limited selection of shells, like 12 gauge, and some rifle cartridges meant mainly for hunting.
Afaik, no store in the company sells actual firearms anymore. We have a selection of airsoft guns though.
My Walmart sells guns. The one closest to my kid’s in Arkansas does too.
Is that why it’s named AR-Kansas?
It’s the same as Kansas but they sell AR’s in walmart.LOL, I highly doubt that. Shopped guns in AR Walmarts. They only sell hunting-style kinda stuff. No pistols, nothing “scary”.
(I’m probably missing the joke. 🙄)
Historical sword-making, modern metallurgy, practical stats and experimental design. How to structure a business in a not-dumb way that treats employees as people.
Graded Modal Dependent Type Theory, but that’s mostly because only “dozens of” people know it exists.
What kind of grading do you give there? I guess the modal part is about the contexts for the type theory, but it has been some time I have looked into it.
I think “graded” in the name is there in contrast to “quantitative” type theory, which doesn’t have modalities/quantities at the type-level.
The “modal” is borrowed from modal logic. If you pick the correct semiring, you can recover linearity and affine-ity and the other substructural logic pieces.
The quantitative semiring I’ve been working with is
0, 1, ?, n, +, *, which I think will let me use static analysis to do very precise non-strictness and precise/early resource tracking/release. (But, my progress is so slow, that if this were an academic project, I don’t think I’d be getting any more grant funding.)I see, having modalities on type level makes sense as a grading, alike the grading of e.g. polynomial rings.
So you are going along the line of linearity and affine-ity? What kind of stuff are you working out?
https://gitlab.com/bss03/grtt is my published code. But, I have far more intuitions that I need to write code for than finished code.
While evaluating something well-typed under a context, the heap: does not need to contain a value for a binder with modality 0, must contain a single, strict value for a binder with a modality 1, must contain a single, lazy closure for a binder with a modality of ?, must contain multiple references to a shared, strict value for a binder with a modality n, must contain at least a single reference to a strict value for a binder with a modality of +, must contain at least a single reference to a lazy closure for a binder with a modality of *. Since the typing rules propagate the modalities to subterms precisely, we should be able to identify the exact point a closure must be forced to a value (or dropped) before runtime. That’s in addition to being able to compile linear functions to heap updates, eliminating at least some allocations.
There’s some similarities with both the exact-use-count and relevant-or-erased semirings, but I think some things (e.g. around sums) are hard/awkward/impossible to type and the ?/+/* modalities make some make things easier while still allowing the abstract machine to know exactly when to “optimize the heap” based on a runtime flow that “activates” a particular static analysis.
Of course, it’s still MLTT “compatible” – anything that would type-check in MLTT should type-check in my variation of GRTT by “simply” using the
*modality everywhere – so you get full proofs-as-programs and a total language.I’m probably a bit off in the weeds, but it still makes my brain buzz to think about and occasionally I’ll make progress. I’ve been a little bit distracted with https://gitlab.com/bss03/nested which should allow me to write the abstract machine as a fold, but as proven to be place I can also put a lot of programming time into (again, with sporadic real progress).
Interesting. Do you have some specific goal in mind? Like, implementing a language/library for the GRTT stuff.
Sure, eventually, I’d like a language with Haskell-ish syntax to compile to Linux x86_64 and webassembly and use the language to make better software. If my language existed today, I’d probably work on writing my own ActivityPub software, and improve/port https://github.com/NARBEHOUSE/Ben-s-Software- because my father might want it soon.
Propane and propane-related accessories
Guesstimαting where I αm on the Dunning-Kruger Effect Curve for α pαrticulαr topic. 𝖠t leαst I think so . . .
why does your “a” look like that
You notic𝖾d!! 🎉
I b𝖾li𝖾v𝖾 many p𝖾opl𝖾 can’t t𝖾ll the diff𝖾r𝖾nc𝖾 wh𝖾n k𝖾ming or l𝖾tt𝖾rs (i.e. ee, aα, or a s𝖾micolon ; and a Gr𝖾ek qu𝖾stion mark ;) ar𝖾 just a bit off, and I lov𝖾 it!
My nam𝖾 grawlix is the us𝖾 of typographical symbols to r𝖾plac𝖾 profanity (i.e. @$&%#), but I don’t want to b𝖾 too obvious :)hehe that’s neαt
Anything remotely rural. It makes sense that Lemmy would be mostly city-dwellers, but I still manage to be surprised by the gap.
