Elektrine lite

← Feed

Zhenbo Li

zhenboli@fediscience.org

<p>A grad student at UWaterloo. Computer Science/ <a href="https://fediscience.org/tags/Bioinformatics" class="mention hashtag" rel="tag">#<span>Bioinformatics</span></a> <a href="https://fediscience.org/tags/MassSpectrometry" class="mention hashtag" rel="tag">#<span>MassSpectrometry</span></a>.</p><p><a href="https://fediscience.org/tags/Fedora" class="mention hashtag" rel="tag">#<span>Fedora</span></a> &amp; Wine user since 2012 | <a href="https://fediscience.org/tags/Firefox" class="mention hashtag" rel="tag">#<span>Firefox</span></a><br /> user since 3.0</p><p>Writing notes with <a href="https://fediscience.org/tags/logseq" class="mention hashtag" rel="tag">#<span>logseq</span></a> | Developing <a href="https://fediscience.org/tags/fireSeqSearch" class="mention hashtag" rel="tag">#<spa

Posts

  • View post

    Rust on the JVM now passes &amp;gt;99% of official upstream tests https://www.reddit.com/r/rust/s/MQNfFnBJ11 https://github.com/IntegralPilot/rustc_codegen_jvm I love this crazy idea!

  • View post

    做梦梦见自己搞了一个大工程:用LLM分析哲学论文和著作,定义了一套公理体系以后,输出用lean进行形式化验证的哲学论文 是不是我要走火入魔了