Gleki Arxokuna

340 posts

Gleki Arxokuna

Gleki Arxokuna

@Jbotcan

programming, formalization of languages, Lojban

Katılım Nisan 2012
196 Takip Edilen215 Takipçiler
Gleki Arxokuna
Gleki Arxokuna@Jbotcan·
The Lojban community has decided that Lojban isn't mature enough for speaking logically. Careless Lojbanists had a tendency to write fiction or tell jokes. Hence, it was decided today that Lojban must be abandoned in favor of the Lean proof assistant: opaque IsAJoke : α → Prop
English
0
1
3
68
la zmavli caimle poi zmavli je cu caimle
dear followers: what is the value add from following my account what made you want to follow, and what keeps you from unfollowing? please reply in either the comments or in dms
English
8
1
6
1.6K
Gleki Arxokuna
Gleki Arxokuna@Jbotcan·
Just finished watching a horror movie. It was soooo long. Lasted 366 days.
English
1
0
2
0
Gleki Arxokuna
Gleki Arxokuna@Jbotcan·
Oh my, the timer was reset today.
English
0
0
0
0
Gleki Arxokuna retweetledi
skytomo🪼
skytomo🪼@skytomo221·
.ua crisa titla bisli spisa #lojban
skytomo🪼 tweet media
3
4
3
0
Gleki Arxokuna
Gleki Arxokuna@Jbotcan·
I'm gonna create a new language and call it Sax. Its speakers would be called saxophones #conlang
English
0
1
2
0
Gleki Arxokuna
Gleki Arxokuna@Jbotcan·
#lojban language app got audio files and internal structure of compound words #seskari=cnano&sisku=milgra_spirofu" target="_blank" rel="nofollow noopener">la-lojban.github.io/sutysisku/en/#…
Gleki Arxokuna tweet media
English
0
1
3
0