🅴🅻🅸🆇🆇 @elixx@social.drastical.tech

html in emails were a mistake

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.

#dingdong

@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.

You move to an area, and you call us criminals.

"Give me some time.."

submitted by FoundationUseful270
https://reddit.com/r/ProgrammerHumor/comments/udz5ui/give_me_some_time/

respect levels are 70% and falling

(70%) ■■■■■■■□□□

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

https://github.com/border-patrol/system-v

#functionalprogramming
#idris
#verilog
#computingscience

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.

appealing to authority is an existential threat to software quality. do not ask someone else to audit the software you use, do it yourself or shut up, asking for someone to post logical fallacies to make you feel safe is destroying the long term viability of computing in general. learn to read code or shut up.

We turned into hell. This is an understatement. Did I look down at our first time.

This machine served SDF from 1994-1998 and was a gift from Lucent (NCR Napierville, ILL). A few people are chatting in "com" and sharing #ascii #art