kirraObj retweetledi
kirraObj
2K posts

kirraObj
@typedfurry
Coding (Mainly Kotlin & Java) / Undergrad.
Gensokyo Katılım Mayıs 2021
1.7K Takip Edilen1.6K Takipçiler

@Rhopunzel The job was actively killing me - when you lay in bed and dreading to get up because you know you are working on managed decline is the worst thing you can do as a person that thrives and lives off passion.
English

@Mikanrico 应该是 Riot 撤资导致项目被砍了
结合 Simon 在 2020 年就把 Hytale 打包卖给了 Riot 和 23 年他们宣布拿 C++ 重写游戏,个人猜测内部的项目管理是灾难级别的
中文

@effectfully Having strong engineering skills doesn't automatically mean one is good at theoretical design, and the reverse is also true. Of course being proficient in both is certainly best.
But the right mindset is to cooperate and learn from each other, rather than criticize or fight.
English
kirraObj retweetledi

There was a lot of confusion about my "PLT people and production compilers" take.
It wasn't meant to be criticism, PLT people do what their job is very well.
I also really didn't mean to suggest that the industry knows how to create programming languages better, almost all langs created by the industry are incoherent crap.
What I meant is that creating a production compiler takes way more than what PLT concerns itself with.
And it's fine, everybody's gotta do their job. For some it's figuring out theory and individual details of practice, for others it's figuring out the high-level practice and how to build a maintainable product:
Donal Fellows@donalfellows
@effectfully Academia mostly produces proofs of concept (and papers discussing them). There are people working on turning those into true prototypes and products (it's my day job), but they're largely not ordinary academics; it's a separate discipline.
English
kirraObj retweetledi
kirraObj retweetledi

预告一下,最近在写一个功能比 github.com/anqurvanillapy… 更多的定理证明器;这次会换一套语法,注意测试覆盖率,并拿来写更多的证明;估计最终只用 1k 行以内 Python;文档和注释使用中文,偏向使用工业和常见术语,隐藏学术术语和细节;两周内估计能发布😋
中文












