I have just released #hikari 2.0.0. 🎉! This is the first major release that includes a lot of the stuff we have learned since the release. The changelog is too large for a toot so here's a link 😸 https://hub.darcs.net/raichoo/hikari/browse/CHANGELOG.md Finally all those blockers made way for new blockers to happen 😼 https://hikari.acmelabs.space/ #Wayland #FreeBSD #BSD #Linux
Cedille Cast #10: Zero-cost reuse for dependent types
We consider a pragmatic issue in programming with dependent types: reuse.
Having an informal Zoom discussion in about 3 ½ hours at:
Tonal: 0·5 T.
UTC: 12:30 Midnight
JST: 9:30 AM
EDT: 8:30 PM
PDT: 5:30 PM
To join (in 3 hours):
1) Open the link below
3) Click "join from your browser" in smaller text on the bottom
4) Enter a name or pseudonym & complete captcha nonsense
Greg Maxwell's explanation on why he's not on Twitter goes pretty deep, and makes some good critical points about the pitfalls of (purposefully) limited communication space:
New article in Bitcoin Magazine on @waxwing's SNICKER non-interactive mixing proposal:
If you don't have the time to check out the Stephan Livera podcast w/ @jon on contributing to Bitcoin Core give the transcript a read. Was a great interview https://diyhpl.us/wiki/transcripts/stephan-livera-podcast/2019-11-13-jon-atack/
Today Sourcehut celebrates the 1 year anniversary of it's public alpha beginning 🎉 🎉 🎉
v2.2 will have bug fixes and a handful of sponsored modding features. The goal is to release it in December. More fixes will be included as time allows.
v3.0 will have the new renderer and will be SDL2-based. I don't expect the new renderer to be feature complete yet, so it likely won't be the default option. In addition to Qt being removed, there has been a lot of trimming and cleaning the code base: e.g., the dynamic plugin system is replaced with static extensions.
Mobilizon : lifting the veil on the beta release
Mobilizon is an alternative to Facebook groups and events. After a successful crowdfunding, it is time we gave you a taste of this software and updated you
there'd be a great country song in there about going into debt buying early-adopter hardware and then getting left in the lurch by the vendor
Just found this opensource.com article about Greenpeace becoming an 'open source' organisation. Quite ironic, since a few months ago I met one of their principal IT managers, who openly mocked our efforts to use #foss and #opensource IT in-house. Greenpeace relies 100% on Google's Gsuite. Any comparison with fair trade coffee was met with a "yeah but this is easier, we just don't care about Google's dubious side."
Danish computer scientist living in Mexico. Into functional programming. Currently working on DotNetLightning
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!