@burakemir@discuss.systems avatar

burakemir

@[email protected]

Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust.

Check out Mangle Datalog, a typed, datalog-based logic programming language and deductive database: https://github.com/google/mangle

#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems

This profile is from a federated server and may be incomplete. View on remote instance

@bert_hubert@fosstodon.org avatar bert_hubert , to random

My call for European governments to retain at least a core IT/communication/email/file capability that is independent of US clouds. Named after the iconic Radio Kootwijk which we built in response to the English cutting off our communications with Indonesia in 1916: https://berthub.eu/articles/posts/communicating-without-musk-and-trump-cloud-kootwijk/

burakemir ,
@burakemir@discuss.systems avatar

@bert_hubert Reminds me, I read about the German Bundeswehr's use of matrix recently, covering healthcare communications. It seems like a good use of every nation's army resources to invest in critical infrastructure since they are also supposed to protect it after all. https://element.io/de/matrix-in-deutschland