Xie Yuheng
@CicadaLanguage
I am a programmer, and I work as a web developer. I am the creator of http://cicada-lang.org and http://readonly.link
You might like
Using JavaScript-like syntax to program with Interaction Nets: github.com/cicada-lang/in…
github.com
GitHub - xieyuheng/inet-js: This is an implementation of interaction nets, with a familiar JavaSc...
This is an implementation of interaction nets, with a familiar JavaScript-like syntax :) - xieyuheng/inet-js
When Christopher Alexander says "... there is no part of it that doesn't have that deep infusion of life into it." I think about Taylor Otwell @taylorotwell and Laravel. youtube.com/watch?v=NAjz0I…
Object Oriented Programming The Ultimate Mathematical Meta Paradigm! Using classes and inheritance to formalize mathematical structures. cicada-lang.org #ObjectOriented #Programming #Math #Mathematics Please retweet.
Web Developer The Ultimate Math Developer! Using syntax and idioms that are familiar to every web developer to prove mathematical theorems. cicada-lang.org #WebDeveloper #Math #Mathematics Please retweet.
United States Trends
- 1. Thanksgiving 393K posts
- 2. Two National Guard 2,557 posts
- 3. Golesh 2,704 posts
- 4. Camp Haven 7,496 posts
- 5. Fani Willis 18.7K posts
- 6. Denzel 3,664 posts
- 7. #WipersDayGiveaway N/A
- 8. Pizza 46.8K posts
- 9. NextNRG Inc 1,315 posts
- 10. Khabib 7,544 posts
- 11. Hong Kong 88.9K posts
- 12. Trumplican 3,535 posts
- 13. Wine 38.8K posts
- 14. Tom Hardy 1,885 posts
- 15. Bayern 142K posts
- 16. Mendy 5,472 posts
- 17. Stranger Things 167K posts
- 18. Africans 27.9K posts
- 19. Arsenal 262K posts
- 20. Idris 8,091 posts
You might like
-
Ningcong Chen
@JXQNHZr1yUAj5Be -
duedo
@awaydd1989 -
ACce1er4t0r
@ACce1er4t0r -
ruki
@waruqi -
Jiachen YANG
@farseerfc -
David Duong
@__dqbd -
Visions of Gideon
@visionof_gideon -
Schrodinger Zhu @UofR
@ZhuSchrodinger -
Liyuan Liu (Lucas)
@LiyuanLucas -
Maphen Wildwisky
@M_Wildwhisky -
Adrian Sieber
@AdrianSieber -
Jumpei KAWAMI
@junkw
Something went wrong.
Something went wrong.