Blah-blah #fediverse
A few weeks ago I ditched linked in, my searching goes through #duckduckgo, facebook and instagram are gone, there are a few mailing lists going in the bin daily.
Participating online with mastodon (or other #federated social software) and #gemini remind me of how the web used to be when I got my first computer in the 90s.
I say participating because here we're not trying to sell and buy, there's something more profound. We're sharing ourselves, memories, thoughts, imaginary personas, fantasies, stories, recipes...
Because we have an urge to socialize as humans. I imagine a better web is coming from this, where we're kinder and more respectful to each other.
On "winning" social media
@cstanhope The fediverse wins if the people using it find that they're happier because they're using it.
It's not a numbers game.
"Give me some time.."
submitted by FoundationUseful270
https://reddit.com/r/ProgrammerHumor/comments/udz5ui/give_me_some_time/
Historic post about 'unspecified behaviour':
http://www.eskimo.com/~scs/readings/undef.950311.html
SystemV is a featherweight version of SystemVerilog that captures key structural properties of hardware designs.
Specifically, we are interested in:
- How to represent modular hardware designs;
- How to โcorrectlyโ wire hardware components together;
- How to represent and automatically reason about the emergent properties of data structures both nominally and structurally;
The design and formalisation of SystemV is based on a typed lambda calculus.
The formalisation is mechanised in Idris2
Those of you cross-posting from #Twitter to #Mastodon - will you please consider doing the opposite? Make the #Fediverse your social media home and Twitter an afterthought.
TARGET:
CLASS: Involuntary human technoshaman
SPECIALIZATIONS: Technology, our increasing immersion in nth-order cybernetics, artisanal shitposting.
QUOTE: I'd pour my life out to you here, but then I'd be dead.
ADDITIONAL PROFILE INFORMATION:
________________________________________
#nobot แแดผแถโฑแดฌแดธ แดฐโฑแแตแดฌแดบแถแดฑแดฐ แถ แดฟแดผแดน แดฎโฑแดฟแตแดด