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?
Anything remotely rural. It makes sense that Lemmy would be mostly city-dwellers, but I still manage to be surprised by the gap.
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?
honestly, i know a little about many things so i don’t really know. i guess uh, when it comes to skill, i can definitely draw better than the average lemmy user, and i know some theory as well.
A Jack(athie) of all trades. Nice!
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.
Cats, particularly kittens. I do a whole lot of fostering, particularly with very young and/or sick kittens. At this very moment, I have 16 fosters from 4 different litters.
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.
I undoubtedly know more about fire than the average user here.
I’m a circus performer with a decade of experience with fire performance/tech/safety. I teach other fire performers from beginners to professionals.
That’s so cool (heh)! How did you end up in that profession?
I started with fire spinning as a hobby and attending events. Eventually I got to manage a fire venue, received an invite to join a historic circus (Coney Island), and became a fire safety lead for a large fire retreat. The most important pillar for all this has been community.
Unfortunately I had to flee the US (thanks Trump) so I’m taking things slow for the moment, but I have huge plans for the future
Herpetology is my thing
I am sure there are some cryptologists here, soo… Nothing? Anyway, I know a bit about how RSA is inferior to eliptic-curve based schemes, and how security can be such a diverse and complicated topic than simple two-party communications.
Bad day to be into computers
I once installed linux…
where’s the rest of the limerick, OP?
I once installed the OS of Linux,
But speedy, it definitely wasn’t.
The year '94, a 56k net install,
Mom please hang up the phone this instant.
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
Work: Chemical engineering, activated carbon (especially production), membrane filtration and high pressure boiler systems (shoutout @[email protected]).
Non-work: Moonshine making, Festival organizing (quit two years ago), plumbing, carpentry and general home improvement.
The few, the proud, the usually seated, the stationary engineering people.
very interesting areas of expertise! Any interesting stories you have? Organizing a festival is such a huge undertaking.
Festival organizing is obviously a lot of work, even for smaller festivals like we did (think a big tent with 1500 guests and a few artists and dj’s). Since most of the work is done beforehand, we usually had it quite chill on the festival days. So we always took our times, hung out backstage with the artists and always had a buffet going there. Most artists loved being with us, because usually they would just get an assigned dressing room and a stage time. We loved doing this, because we got to hang out with the artists. So, amateur tip; if you organize a festival, hire bar personnel for the festival day and have a good time.
Sounds fun! Well deserved for all the effort that goes into it.
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. 🙄)
Depends on the community I guess. It’s not a red state thing as I’m in one and it’s hit or miss whether you’ll see guns in Walmart.
I was a citizen of the internet before the www started.
Same. Internet was for usenet, e-mail and irc.
Telecommunications network operation
You and me both mate.
Picture related
Wireless telecoms is no better. Out installation on the right, the competitions on the left.
