Quinta da Regaleira in Sintra, near Lisbon. But which work of science fiction (or is it weird fiction?) am I thinking of? The author mentions that this was a significant source of inspiration.
Someone who knows #Haskell and ML: is there a writeup somewhere explaining how first-class modules (a la ML) can do similar things to Haskell type classes? I'm finding it hard to figure that out.
To give a more concrete case: suppose I wanted to write something like Control.Applicative, which provides an 'interface' Applicative with some methods, as well as functions that work for any Applicative. How would I do this with ML-style first-class modules?
@koz Not quite your case, but “The next 500 module systems” paper gives a nice overview of the problem, bridging modules, type classes and records (and scopes!).
Video of the interview with #guix founder @civodul is available. A great chat about the #nix deployment model, his interested in #guile and #free software. Lots of interesting chat about motivation in #freesoftware, #gnu and #linux - as well as the Plan9-ification of Guix!!
Is there such a thing as a basic AM/FM tuner that you can plug in to a USB-C port? Watching a little bit of info about disaster preparedness, sometimes internet goes down but terrestrial radio is available. I'd love to have a little gadget that could let me pop in my airpods and receive a local radio signal, but … this does not appear to exist, which seems weird
We are upgrading the preset SimpleX relays to the new version - it is compatible only with the apps starting from v5.5.3 (released early February) - please upgrade to the latest version and ask your friends to upgrade too.
I ask because the handbook opens by saying it is still an active research project and not production-ready yet. However, it seems to be having many mature components used by other projects and startups.
Now that every PC and their dog has had USB-C/USB3 ports for a while It is strange that we can’t use it for direct connection easily and still have to bounce link off some noisy channel first.
Like, come on, the devices are sitting next to each other. With a single symmetric cable we could be having secure 5Gb+ connections right away! :blobcathyper:
Join the #webinar on the GNU Name System (GNS) and the road to publishing an RFC.
GNS is a decentralized and censorship-resistant domain name resolution protocol providing an alternative to DNS. In 2023 the GNS was published as RFC 9498. The authors of the #RFC Martin Schanzenbach & Bernd Fix will talk about GNS & the road to published an RFC.
Stephen Farrell of Tolerant Networks will talk about getting advice with #standardisation processes.