@henrikjernevad@thejtoken My formal specification journey is as follows, parentheses indicate dabbling only:
CDL -> SEDL -> Z -> B-Toolkit -> FDR2 -> (TLA+)
CDL (Common Design Language) and SEDL (Software Engineering Design Language) were IBM internal languages. CDL was taught in the Software Engineering Workshop that was rolled out across IBM. SEDL was a superset of Ada!
B-Tool's specification language was Abstract Machine Notation.
FDR2 was based on CSP.
What's the best way to learn languages casually and socially? (as much as I hate being social...)
I've been seriously neglecting my Japanese practice :neocat_laugh_sweat:
I'm interested in lots of other languages too, currently Chinese (mandarin)
It would be so cool to be able to speak every language in the world tbh #languages#languagelearning#japanese#chinese
My brain melts when I try to switch between Slack, which uses Enter-to-Send and "Control-Enter" for a newline, and Jira, which uses "Enter for newline" and "Control-Enter" to save. It's tough be bilingual between dissonant human interface design languages.
Then I come to post on Mastodon have newline anxiety where I'm not sure if pressing enter will start a new paragraph or send a half-written post.
Ich bemühe mich sehr bei diesen Stoffnamen nicht zu lachen, eventuell muss ich doch die niederländische Version wählen um halbwegs zu verstehen was gemeint ist. @handarbeiten
ICYMI: Are you starting to learn Japanese? Are you wondering whether you should learn with romaji (Roman characters) to help simplify getting started? Well, you shouldn't - and here's why.
A habit I am starting is to write a short sentence, like a diary entry, in Chinese every day. My writing is horrendous but this is one of the ways I am trying to remember the characters.
"When you know enough that you can read most basic sentences, you’ve reached the point where you can start picking up more of the language, not through studying, but through listening, reading, and talking with others."
1/2
I've always loved #languages but my love for #linguistics started when I read about linguists being all about all languages being equal. The standardisation of language is part of human evolution but has sometimes been used to classify people according to socioeconomic background or to consolidate power. For example, RP (the Queen's English), Hochdeutsch, Castillian Spanish.
This intriguing article speaks about this and the serious endangerment of many languages.
'In English, ‘Mvskoke Opunvkv’ simply translates to 'Mvskoke Language'. This brand-new site will serve as a centralized location for finding resources, video/audio and other materials that pertain to learning the Mvskoke Language.'
After an all-too-long development phase, I’m opening the new year with a new version of Tempo. This new version brings with it Android Auto support, one of the most requested features of all time....
Long and fiery winter night it is ! User:Dragons_Bot is importing frequency lists in 500 more #languages from Unilex into #Lingualibre. Dragons Bot script is running tonight, editing Lili persistently. We then will have common words list for 1001 languages, ready for you to record. At step 3 of the Recording Studio, click "local list", then search List:{your_iso}/Unilex and you are good to go ! If your community's languages aren't there you can let me know below. 🎉 https://lingualibre.org/wiki/Special:RecordWizard
Tempo – An open source music client for Subsonic built natively for Android, now with Android Auto support (github.com)
After an all-too-long development phase, I’m opening the new year with a new version of Tempo. This new version brings with it Android Auto support, one of the most requested features of all time....