> At Grammarly, the foundation of our business, our core grammar engine, is written in Common Lisp. [...] Contrary to popular opinion, Lisp is an incredibly practical language for building production systems.
Okay I found their ads are less annoying now... #lisp
Snap has refused to allow disabling of auto updates for 5 years
url: https://forum.snapcraft.io/t/disabling-automatic-refresh-for-snap-from-store/707
discussions: https://news.ycombinator.com/item?id=30811520
24 minutes ago|5 points|1 comments
Someone added a bunch of random overflow & underflow checks to my code while changing something else. I think it's just a habit and all of these extra range checks are completely unnecessary - they're already checked elsewhere...
To make a point in the argument, I put the code into CBMC, removed those checks, and started a formal verification run.
The verification failed... 🤡
with a counterexample... 🤡
中国的基本盘集中在底层,是因为穷人天生下贱吗?那是因为秦地的阶级结构就是倒钉型啊,90%的中国人都是底层,当然乍一看贱人都是穷人。现在前10%的城市中产享受完城乡东西巨大剪刀差,一边赞美制造业大国便宜物流快递外卖方便,一边嫌弃底层人没接受现代文明的洗礼生活作风处处透着前现代的野蛮,着急要跟底层割席,到底哪边比较下贱这不是一目了然?按照这样的逻辑,小留的财富水平可以说是超过99.9%的中国人那也没碍着小留满世界随处爱国大小便。被拐大省云贵川的小山村比山东江苏穷多了,但前者的男女平等程度和对性少数群体的宽容度远远超过后者。经济发展能直观地改善人们的生活方式,但并不直接作用于观念的文明化。秦地上流人所谓三观正是什么呢?新自由主义和社会达尔文的特色缝合怪,话语权高地和经济剥削通通占尽,那可比秦始皇摸电门更赢麻,特朗普看了都得友邦惊诧连忙竖起一个中国赞。所以说有钱人的人数劣势的确给人产生贱人没那么多的错觉,但某些中产和上层一犯贱,那可比我们低端人口贱多了。
海の底で独りぼっちになる