@chrisamaphone@hci.social
professionally: professing, programming, proving
recreationally: shitposting, collecting hobbies, doing things the hard way
“when abstraction sets to killing you, you’ve got to get busy with it.” —Camus
“i am their fury; i am their patience; i am a conversation. i am made of love, and it’s stronger than you.” —Garnet
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
wrote a short note about linear logic and modalities, trying to flesh out a question I've posed obliquely on here before: is linearity "stronger" or "weaker" than nonlinearity?
"Logical strength/weakness and modes of truth"
https://write.as/chrisamaphone/logical-strength-weakness-and-modes-of-truth
Elk is a nimble Mastodon web client. You can login to your Mastodon account and use it to interact with the fediverse.
Expect some bugs and missing features here and there. Elk is Open Source and we're actively improving it as a community project. Join us and let's build it together!
If you'd like to report a bug, help us testing, give feedback, or contribute, reach out to us on GitHub and get involved.
To boost development, you can sponsor the Team through GitHub Sponsors. We hope you enjoy Elk!
