• 0 Posts
  • 96 Comments
Joined 5 months ago
cake
Cake day: November 17th, 2024

help-circle
rss



  • This is actually the case, according to some vegan YouTuber. From what I understand (and according to these people) veganism is about harm reduction, so they shouldn’t consume anything produced by exploitation or animal (including human) suffering.

    Not consuming animal product should be technically “plant-based” or “vegan diet”.

    I do applaud their effort, and feel they are certainly stepping towards the right direction, but it would probably take a long time for society to accept this definition.

    On the other hand, I feel it is fine to have different definitions for the same word. I think even among the vegan community, there must be many definitions of “animal suffering”. I feel it is okay as long as we are doing the best we can do.











  • I don’t know anything about quantum computing, but recently I heard a long talk by a quantum-computing expert who were trying to convince us to work on quantum error correction. His (probably optimistic) estimate is that: with a good amount of help on error correction, we might achieve 100 logical qbit in 5 to 10 years.

    Completely unpredicted breakthrough is rare in computer science; if Microsoft’s tech can actually solve quantum computing (as you discribed), it would have made much much bigger wave than this.




  • This language reminded me the duality framework developed by Zena Ariola and Paul Dowen (there probably are other people working on it) based on classical logic.

    This is not surprising, as vine claimed to be based on interaction net, a model of classical linear logic. However there are several questions that I hope to get some answers:

    • Based on my extremely limited understanding, Ariola and Dowen’s framework seems to admit a evaluation order for the continuation (a expression with “expectation”) for each evaluation of values, like call-by-covalue, call-by-coneed. I was wondering what is the evaluation order of the continuation here.
    • How does the linear aspect of the interaction net comes into the picture? Is there linear types?


  • I have recently applied for a junior computer scientist position in Europe, U.S., and China. The Chinese employer give me an offer immediately, with almost the same salary as Europe and U.S. In addition to that, the Chinese institute promised me a clear path of advancement, which is not included in my Europe and U.S. offers.

    My current employer in Europe is a famously well-paying institute, but my salary is only minorly higher than my Chinese offer, in a much more expensive city than Beijing, and I have went through a lot of crap moving to Europe.

    The Chinese government is investing a crap ton of money and resource into computing, I cannot imagine many people will make the same choice as I did, especially when they spent most of their lives in China.