brokenix

@brokenix@emacs.ch

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'

This profile is from a federated server and may be incomplete. Browse more on the original instance.

brokenix, to Lisp

This is a machine for network protocols. Initially in pursuit of a social forum focused on link sharing.
as and free projects alike rush to implement some RFC adding only 'but on the web'. I aim to define a modular protocol server which can support an arbitrary number of network protocols as a network daemon. Our POC in this endeavour will be to build an -like protocol daemon which gateways to storage. The content held in this system can be consumed by arbitrary clients; a web application presenting -like services would be just one of many potential clients, although it is likely that Gnus for Emacs will be the first one.
https://codeberg.org/fade/callisto

louis, to emacs
@louis@emacs.ch avatar

Today marks the 555th day of uninterrupted uptime of our Emacs.ch instance. 🥳

That's also 555 days of admin work and a spending of roughly $1200 for IaaS. Donations of our users make that much more sustainable.

With consistently well over 400 monthly active users, we established a friendly and supportive Fediverse community in the Fediverse united in a passion for the world's most humane "text editor". And you helped to make that happen. 🎈

Emacs is not just a program, it is the incarnation of freedom, self-development, respect, tolerance and companionship in the software world. It will never go away and will never turn against its users.

Let's continue to grow and strengthen our community! If you'd like to contribute, please visit our donation page: https://liberapay.com/emacs-ch

Together, we can keep the spirit of Emacs alive and thriving for years to come. Thank you for being a part of this incredible journey! 🙏

brokenix,

@louis 555 days

phranck, (edited ) to random German
@phranck@chaos.social avatar

Hat wer Lust das meiner „ Alternativen“ Liste zu uebernehmen?

Bitte teilen oder bei mir melden. Danke.
:BoostOK:

https://codeberg.org/phranck/Amazon-Alternativen

brokenix,

@phranck list is only for limited places

alcinnz, to random
@alcinnz@floss.social avatar

I finished reading World Wide Waste by Gerry McGovern. I'd consider it essential reading for anyone working with computers!

https://gerrymcgovern.com/books/world-wide-waste/

It's well cited (though I still need to check those citations) & uses maths effectively to make it's point.

That computers + (surveillance) capitalism is actually worse for the environment than the predigital era. That we can and must move slow and fix things, and fund that vital work directly.

brokenix,

@alcinnz does open hardware helps the problem here in some way?

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • khanakhh
  • magazineikmin
  • thenastyranch
  • Youngstown
  • mdbf
  • rosin
  • slotface
  • InstantRegret
  • tester
  • cubers
  • kavyap
  • tacticalgear
  • DreamBathrooms
  • anitta
  • everett
  • ngwrru68w68
  • Durango
  • modclub
  • ethstaker
  • normalnudes
  • cisconetworking
  • osvaldo12
  • GTA5RPClips
  • Leos
  • megavids
  • provamag3
  • lostlight
  • All magazines