Viktor Strate

@viktorstrate
3 Followers
80 Following
23 Posts
PhD student in Computer Science researching choreographic programming. I like programming languages, distributed systems / web, and graphics design.
Websitehttps://qpqp.dk
Githubhttps://github.com/viktorstrate
Keybasehttps://keybase.io/viktorstrate

🚀 Project Chords has taken off! We have started an ambitious research initiative to investigate theory and practice of the paradigm of Choreographic Programming on an unprecedented scale, with the aim of making the development of connected digital systems more effective, transparent, and safe.

We will be posting updates and resources on the website https://www.chords.dev

Stay tuned for our progress!

#choreographicprogramming #programming #chords

Project Chords

Project Chords is a research project that investigates the foundations and applications of Choreographic Programming, a programming paradigm for concurrent and distributed systems.

Project Chords

I’ve just added a playground site to test my experimental programming language Taro. It’s still quite rough but it’s coming along and it’s very fun to work on

https://github.com/viktorstrate/taro-lang

GitHub - viktorstrate/taro-lang: The Taro Programming Language

The Taro Programming Language. Contribute to viktorstrate/taro-lang development by creating an account on GitHub.

GitHub

Okay so the last few days I've been researching #PeerToPeer technologies (actually for study reasons) and the wifi of my #univsersity keeps blocking the sites I try to visit.

Here are some of the technologies that I can't access.
https://joinpeertube.org/
https://www.torproject.org/
https://ipfs.tech/

What is PeerTube? | JoinPeerTube

A free software to take back control of your videos! With more than 600,000 hosted videos, viewed more than 70 millions times and 150,000 users, PeerTube is the decentralized free software alternative to videos platforms developed by Framasoft

JoinPeerTube

Maybe late to the party, but I just found out that the EU commission is running an official #Mastodon and #PeerTube instance as a part of a new Pilot Project testing the use of #OpenSource platforms for official communication.

https://social.network.europa.eu/about/more

@[email protected]

EU Voice

EU Voice is the official ActivityPub microblogging platform of the EU institutions, bodies and agencies (EUIs). Together with EU Video, it is part of an alternative social media pilot program proposed, and provided by the European Data Protection Supervisor (EDPS).

Mastodon hosted on social.network.europa.eu
I haven't been able to stop thinking about 3blue1brown's video on their Wordle-playing algorithm — https://www.youtube.com/watch?v=v68zYyaEmEA — so I'm going to try to implement it in Rust this Saturday at 6pm UTC (https://everytimezone.com/s/116b2d6e). We'll write a very naive implementation of the 3b1b algorithm first, and then iteratively profile and improve to make it fast!
Solving Wordle using information theory

YouTube
Sprite Fright - Open Movie by Blender Studio

PeerTube

Photoview, a simple photo gallery for personal servers. It aims to provide an easy and fast way to navigate directories, with thousands of high resolution photos.

https://github.com/photoview/photoview

#selfhosted #docker

GitHub - photoview/photoview: Photo gallery for self-hosted personal servers

Photo gallery for self-hosted personal servers. Contribute to photoview/photoview development by creating an account on GitHub.

GitHub

Color-Picker-Plus is finally working on on the newest version of macOS.

https://github.com/viktorstrate/color-picker-plus

viktorstrate/color-picker-plus

An Improved Color Picker for macOS. Contribute to viktorstrate/color-picker-plus development by creating an account on GitHub.