rosshays
Re:Turnstyle – An esoteric, graphical functional language
on Wednesday August 21, 2024 @09:54PM (#41315987)
Worth maybe calling out that there is a few academic language implementations using this name (turnstile, turnstile+) https://docs.racket-lang.org/turnstile. It's not a standalone language but worth pointing out
Re:A Formal Security Analysis of the Signal Messaging Protocol
on Tuesday November 08, 2016 @09:59AM (#12900708)
The lack of some good history mechanism is what has always kept me away from this kind of software. But I don't know how we could possibly get the kind of messenger I would dream of (secure/encrypted, history backup to cloud, and web app for messaging).