Elektrine lite

← Feed

James Wood

mudri@mathstodon.xyz

<p>(2025-06-24) Programming Languages at Huawei. Formerly, linear and modal type systems in Agda. Thesis: <a href="https://stax.strath.ac.uk/concern/theses/tt44pn44w" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">stax.strath.ac.uk/concern/thes</span><span class="invisible">es/tt44pn44w</span></a>. Website: <a href="https://lamudri.github.io/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lamudri.github.io/</span><span class="invisible"></span></a>.</p>

Posts

  • Post #2931600

    What I hate most about going to the dentist&amp;#39;s is the misaligned incentives. Well, that and the gum-stabbing.

  • Post #2931599

    Wow, there&amp;#39;s an incredible temperature difference between Edinburgh and Glasgow at the moment. Glasgow has had a basically warm day and evening, while Edinburgh is getting a frost. For context, these places are 67 km (42 mi) east-west of each other.

  • Post #2931598

    A 35 to Easter Road, taken from a 35 to Ocean Terminal.

  • Post #962046

    Overview of Cangjie Programming Language https://jcst.ict.ac.cn/fileup/1000-9000/PDF/JCST-2603-OF-2509-15978.pdf In case anyone&amp;#39;s been wondering about the project I&amp;#39;m part of in Huawei, we have a paper out going through the language design and compiler architecture of Cangjie, linked above. Also everything is open source now, and available at https://gitcode.com/Cangjie/.