Ada's dependent types, and its types as a whole
(nytpu.com)
So I like to joke occasionally on the Fediverse that when looking at Wikipedia's list of programming languages supporting dependent types:
So I like to joke occasionally on the Fediverse that when looking at Wikipedia's list of programming languages supporting dependent types:
Fortifying the Fediverse: Decentralised Trust and Safety 2024
(iftas.org)
As 2024 comes to a close, it’s a fitting moment to reflect on a year of collaboration and innovation in trust and safety within the decentralised social web.
As 2024 comes to a close, it’s a fitting moment to reflect on a year of collaboration and innovation in trust and safety within the decentralised social web.
The long (after)life of some of our old fileserver hardware
(utoronto.ca)
Over on the Fediverse, I mentioned that we were still running a machine in production that was old enough that its BMC required Java for its KVM-over-IP functionality (and I've given up on working with it, rather than try to maintain a Java environment that could actually work with it). Naturally there's a story here.
Over on the Fediverse, I mentioned that we were still running a machine in production that was old enough that its BMC required Java for its KVM-over-IP functionality (and I've given up on working with it, rather than try to maintain a Java environment that could actually work with it). Naturally there's a story here.
Coordinated Community Response Mitigates Fediverse Spam Attack
(iftas.org)
On October 8, 2024, an IFTAS Connect member observed one of the first spam posts from a network attack conducted by what appeared to be a reuse of the same “nuke” script we saw earlier this year in February, a simple but effective tool to create new accounts in bulk, and use those new accounts to deliver unsolicited messages in an infinite loop.
On October 8, 2024, an IFTAS Connect member observed one of the first spam posts from a network attack conducted by what appeared to be a reuse of the same “nuke” script we saw earlier this year in February, a simple but effective tool to create new accounts in bulk, and use those new accounts to deliver unsolicited messages in an infinite loop.
Fediverse and Browsers
(github.com/w3c-fedid)
These are some personal notes I took from a session at IIW and a few exploratory designs that occurred to me while meeting folks there.
These are some personal notes I took from a session at IIW and a few exploratory designs that occurred to me while meeting folks there.
A TikTok alternative called Loops is coming for the Fediverse
(theverge.com)
The fediverse answer to TikTok is on its way. Signups opened this week for Loops, a short-form looping video app from the creator of Instagram alternative Pixelfed, reports TechCrunch.
The fediverse answer to TikTok is on its way. Signups opened this week for Loops, a short-form looping video app from the creator of Instagram alternative Pixelfed, reports TechCrunch.
Mozilla exits the Fediverse and will shutter its Mastodon server in December
(techcrunch.com)
Mozilla is exiting the fediverse. Though the concept of the open social web, also known as the fediverse, has been picking up momentum ever since Meta last year introduced its first-ever federated app, Instagram Threads, Firefox maker Mozilla on Tuesday announced it would be ending its experiment in running a server on the fediverse.
Mozilla is exiting the fediverse. Though the concept of the open social web, also known as the fediverse, has been picking up momentum ever since Meta last year introduced its first-ever federated app, Instagram Threads, Firefox maker Mozilla on Tuesday announced it would be ending its experiment in running a server on the fediverse.