windows 10 腦的話，大概是啥 font service 當掉了
出現這種症狀時你會發現全部同一個文字都用同樣的方式爛掉
我前一隻 htc 常看到，然後目前這隻 sony 沒發生過
是說搞不好有啥 exploit，如果被蓋掉的是記憶體而不是gpu記憶體的話
閒閒沒事想到一個可能的學術子領域，但是完全看不懂查到的資料
You have just described grammar lol
但應該不能直接用於natural language
你可以去查hindley milner type inference
Yes, I researched that before....
Grammar 衍生concrete syntax tree
但是我覺得這個的問題是他的 type 的描述很不細緻，他只有討論到一個詞是名詞還是其他東西
實際意義可能要參考denotational semantics
我只有programming language theory 的經驗🙈🙈 不知道natural language 的比照是，甚麼
就 可以試著做到「如果一個語句的 type 能被正確求出，那麼這個句子不會有語法上的問題」
type check is stronger than syntax check
我覺得如果我沒辦法知道一個句子的意思，那就是語法錯誤欸
grammar is not related to any semantics
很難不會用在指實體的名詞上吧，只會用在代表動作的名詞或是抽象名詞上
This is similar to the idea of typeclasses
or constrainted type schemes in HM-like system
subtyping, yes, or we can just use typeclasses, which is to say we can make ad hoc polymorphism less ad hoc
subtyping introduces a whole lot of problem in logic🙈🙈
interesting. I had a quick look at the paper
They defined several types of semantics:
formal semantics
lexical semantics etc...
看了看，作者的理論基礎跟haskell 的typesystem，特別是typeclasses，是一樣的
they employed Girard's system F, which is a second ordered lambda calculus system so that we can have universal quantifiers over types
That is, it makes sense to talk about a whole family of types. This formalizes the intuitive notion of parametric polymorphism
我沒有很深入的研究... 我之前要寫某個typer inferer 用HM 就可以了
雖然其中兩個之後又回去中國讀大學了，用台胞優惠入學
台灣恐成最大跳板
They were trying to analyse ML. They did so by analysing the "core" of the language, which they called "Mini-ML".
欸欸 邏輯中怎麼描述這種東西
例如「一個食物沒壞才能吃」
我們知道可以寫成 「能吃 -> 沒壞」
但是感覺只是等價而已，不太精確 (?)
「一個食物沒壞才能吃」應該是「一個食物能吃 only if 沒壞」
if it rains, then the ground is wet
你只要證明什麼是沒壞，壞就自己出來了
那你應該尋找沒壞的定義是什麼
你這樣跟 recusion沒有base case有什1麼分別
欸欸 邏輯中怎麼描述這種句子
例如「一個食物沒壞才能吃」
我們知道可以寫成 「能吃 -> 沒壞」
但是感覺只是等價而已，不太精確 (?)
Situation and answer varies case by case
那我不懂你怎樣才算食物壞掉我們不能base on這個例子討論下去吧
This is very simple to translate
A food is edible ONLY IF it is not rotten
that translates precisely to for all food, Not rotten(food) => edible(food)
「一個食物沒壞才能吃」應該是「一個食物能吃 only if 沒壞」
也就是 只有食物沒有壞才能吃
rotten but edible e.g smelly tofu
taking contrapositive, we thus obtain the equivalent statement:
for all food,
rotten(food) => not edible(food)
Remember, A ONLY IF B means
A => B
because A only happens if B also happens
Or I should say, there is no way A is true without B being true
That's simple enough to understand
This is simple first order propositional logic
You can go look it up in any good introductory math books
also,
for all food F, if F is rotten, then F is not edible
=> for no food F, F is rotten and F is edible
You have used the equivalent form of
(A => B) <=> (!A or B)
And then used negation against the universal quantifier
Yes, I'm being clumsy there
For no food, P(food) is the same as For all food, not P(food)
that's basically the same
necessary and sufficient condition...
yes, basically just how you interpret the (=>)
you are also implicitly invoking de Morgan's law
In real world, F is edible and F is rotten can be true
I just did a formal proof
minecraft rotten flesh lol
if you are starving anyway
It's rotten if strictly speaking
那個只是不能直接喝，煮過其實還是可以，但是味道怪怪就是了
最近有人在美日港ㄉㄇ 幫買iPhone 11 QQ
但是 iPhone 11 也才 3110mAh 啊，多 310mAh 還是很尿袋啊
沒有ㄅ 你自己看一下 benchmark
i11 的使用時間長很多
當你 4G 網路用好用滿的時候，不管哪個手機都很尿袋
帶個 OmniCharge 20 在身上才是真理 (O
不過 90hz / motion sense / ok google / type c 是滿吸引我的
90Hz 除非你很常用螢幕，不然應該也還好
但如果你很常用螢幕，那個電力可能也應付不了一段時間
Motion Sense 我之前玩了一下感覺跟用鏡頭做手勢偵測差不多鳥
我 foodpanda 被雷過一次就不想用了ww
打個統編都可以耍智障
不是喔，VFAT 是 Windows 95 引進的東西
但 Windows 98 開始只看得到 FAT32
VFAT 理論上就是 FAT32 掛上 LFN 等等新功能
只要你可以打 8.3 允許範圍以外的檔案名稱，就是用到 VFAT
啊，等等，FAT32 是 Windows 95 OSR2 才有的
很少人用過 OSR2 ㄅ，連我也都只是路過幾個月就上去 98 了
這是早期 Linux 給 FAT32 的 Extension
你可以看看，雖然已經被比較新的 Kernel 給 Drop 了
那你知道 ext1 和 minix fs 以及 xiafs 嗎？
（前幾天才用過 Slackware 3.1 的我如是說
那你知道 Linux Kernel 還有 UNIXv7 檔案系統的支援嗎？
你知道我在某個-cn群組在fs這方面把某個中国香港人教訓了一頓嗎