因為學校教我們的是C，但是台中女中解題系統的範例都是C++
我鬼知道他所理解的 var 的意思是不是和 int 的意思一样啊
所以int a =5 的意思跟var a =5的意思一樣嗎
範例是用C++寫的，其實複製貼上這一關就能過了，但我想要試著用C寫
```
#include <stdio.h>
int main() {
int n;
scanf("%d", &n);
return 0;
}
然后丢掉所有电脑概念，学 Z3 和 Type system
我覺得我好無知，還是有人可以告訴我新手提問區的路該怎麼走？
其實我很想問，也沒有人強迫說學C之後才能會程式設計，但為什麼這麼多人都推崇C阿
就像我小學用Scratch用得超開心，學了JS之後才發現難到爆炸，感覺現在C跟JS的情況也是如此
你看路上那麼多人開車，大部分的人都只知道加了油就會動還不是沒差
刚刚退了大学，离开那玫瑰色，充满长腿热裤妹子的校园生活
我說的是真的，就算再給我5年我大概也達不到你們的程度
我读中学六年期间创业，推出，然后继续考试。然后一年半出来创业，做奇怪的研究。之后读大学不到一学期就退了
结果我觉得校园生活浪费时间。因为学不到知识，整天泡妞。我就离开校园实习了。
看到跟我同樣升高中的 Cilff，就感覺自己好像前面十五年都在混
喜欢很多东西啊。现在是喜欢数据类型，类型系统，Haskell, Rust 这些。
喜欢御姐，喜欢研究自己喜欢的东西，喜欢和有热忱的人工作
我好像有說過有台 Access Router 在吉隆坡
挑逗...？你要下一步的話可能要換個群或是 PM 他（？
畢竟外面的人看NEHS，幾乎都是認為 NEHS=雙語部
可能沒有適合的，課本其實就跟一般的一樣，但是老師都不照課本上課
...話說大家都消失了...我還想問一下scanf的意思呢
scanf ("輸入型態", &變數名稱); 這句話不太懂
你看的文件好像一點也不 Beginner Friendly...
媒體上傳會 http 錯誤
看 error log 也只有純 500
wp debug mode 與 php display_error 開了也看不出啥東西
從好到糟是 A++, A+, A, B++, B+, B, C
A++ 0~5%
A+ 5~10%
A 10~20%
B++ 20~35%
B+ 35~50%
B 50~80%
C 80~100%
差不多是這樣，但是比率變動蠻大的
那我把台灣前10名的部落客 正式站直上多數人測試站才敢玩的東西
實驗能力可不可以算 A++++++
是說昨天 Dennis Ritchie 生日誒（？
所以實驗通常是 5%*5%*5%*5%*5%加上作文5級分以上
而實驗幼稚園 小學 國中 都是抽籤制(園區員工限定)or+特取制(歸國子女限定)
可是你的上班很難界定不是嗎？主機一旦有問題你一通電話不就得要到了？
你看看我 高中畢業而已 現在在鴻海科技集團內的公司工作
所以回到英文能力那裏，所以printf跟scanf需要一併使用？
可是你不知道 Input 是多少啊，不然就是
我把 x 個東西放到一個容器裡
這樣？
我記得他的網頁裡就是類似這樣寫，可是他好像看不懂？
var data = input()
跟
scanf(_, &data)
差不多(?
嗚嗚我不會C
那明天我繼續找教學(說實話我再不睡等下被抓到就慘了
說不定先學完 Python 再回過頭來看 C 更簡單（？
How，又不是每個人學 C 都是要學來刻 Driver（？
我不懂 driver 怎麼用 C 寫
是有什麼API嗎
Pointer 不太算是一個 C 入門的人短期內需要學的東西吧...？
我記得在 Linux 上好像有 API 可以讓 Driver Call，這樣 Driver 就不用自己動手實作更底層的東西？
Fatal error: Cannot redeclare fileExtension() (previously declared in /＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
/wp-content/plugins/zimedia-wp-migration/bootstrap.php:211) in ＿＿＿＿＿＿＿＿＿＿＿＿＿＿
/wp-content/plugins/zimedia-wp-migration/bootstrap.php on line 211
我好像是因為寫扣的時候都依賴 IDE 之類的檢查錯誤，所以不是很記得到底是怎麽回事@@
.....................................................
總之 現在我們為了那個站
開了 兩台 aws c4.2xlarge 規格的主機
使用了 aws ElastiCache redis
使用了 aws RDS
使用了 aws S3
我用git rebase -i --root想刪掉一些重複的commits（說來話長ＸＤ）可是我gitignore是後來加的，所以中途出現error: The following untracked working tree files would be overwritten by merge 試了一堆方法不知道怎麼解決orz
看到年紀相仿的Pcc 跟Bobby 我也覺得我過去都在混QQ
有關吧
因為Scanf會變更那個變數的值
所以參數要傳指標啊
refinement type 的 debugger
總覺得 z3 還是比較像工具性質…
或許是我們一般人只會用到這部分
應該說我覺得如果要玩更進階一點的驗證，
可能還是得先學好包括你說的 type system 和計算理論、正規驗證的底子，不然就跟我一樣，會很鴨子聽雷
早上起來看到 theorem prover所以進來打嘴砲 QQ
我朋友說
"C++是最基礎的語言，應該從他開始，Python.JS用途太廣泛，學那個沒有什麼用"
(?
照他那麼說，數學公式都不用用了阿，從最基礎開始求解吧
人家就幫你把麻煩的事包裝好變簡單了，然後卻在那邊說那沒用
N 不是
他很認真的跟我說
"木頭人，你學JS跟Python將來沒有什麼用，你應該學C++的"
然後他學C++後
最會的就是
在CMD列出一段字 :D
這時就要打開VS然後用滑鼠戳出一個GUI，然後跟他說
你用C++可以寫出這樣子的介面媽:D
有学 SML 还是 Ocaml, Haskell 的人吗？
但是你給我的那兩個文件，說實話......我看不太懂
短期里面做一个 total, opt-out lazy 的编程语言是不实际的
我不知道要按照 Haskell 做出一个 Haskell compiler 然后弄一层来给的编程语言玩？
應該是<exec type="application/cpp">
像我，用Scratch可以做出很棒的遊戲，用其他東西做就完全做不出來XD
回他說
那你為什麼不去寫ASM 其他語言能做到的ASM都能做到
@james58899 認為 @newyen2 的意思是： 可4老師說Scratch是給大學生玩的扮家家酒
有機會:D
我已經懶得理他的ww
全班只有我跟他會寫code
只是程度不一樣🙈
認真是國三畢業
亂玩是 minecraft pe 0.7.X那個時候(?
練寫一堆插件(
from z3 import *
x = Int('x')
s = Solver()
s.add(x > 0)
s.check()
m = s.model()
print m[x]
@koru1130 相等於你剛剛在用的那個
(declare-fun x () Int)
(assert (> x 0))
(check-sat)
(get-model)
(exit)
wwwwwwwwwwwwwwwwwwwwwwwwwwww
FUCK Z3 一開始看到 push 跟 pop 就看不懂了QQ
看不懂用法QQ
說明說 push 開一個新域
pop 把夾在中間的都取消(？
完全聽不懂意思www
其實機器學習的概念很簡單 就是相乘丟進函數在相乘再丟進函數然後然後最佳化
基於 ElasticSearch 的中文分詞插件寫出來的
分詞以後就用 VW 這個機器學習庫把分詞以後的文字變成二進制的特徵碼
所以你那隻bot是用Azure的機器學習?
阿你的嬌喘AI是用TenserFlow?
例如 Kinect 找出你動作的最佳解就是用 Decision Tree
For a given number n, send the number of pairs (x, y) where 2*x < x + y < n, and gcd(x, y) * n = x * y
n = 180347474367792943796379419941147573782910437783933417011013802935705299986975755075324485747767221273156198629777348586935107191790615897017341637634877398172505299677
首先用 ML Studio 設計好你的機器學習流程
然後你確認設計無誤的時候就可以從你的設計產生一個 API
我的意思是 對於所有a:Int 都符合 f a=a+3
不能輸入parameter的話 函數大概沒用了（笑
例如 求一個函數符合以下性質
For all (a:Int)
f f a= a
(f a) + a= 0
def your_function(a):
return f(f(a)) == a and f(a) == a
例如
f f arr = arr
f arr != arr
你等於是要讓電腦先不知道從哪裡找來這個func,然後證明耶
你不證明
我可以跟你說f(x)=x
∃x∈R f(x)>0阿
Wolfram Alpha 會把你的算式變成一系列 Hyperbolic function
/g VMware workstation key
google drive 开放了，不用翻墙，桌面客户端直联
推 AJhe0924: 想到「這個子宮形狀不對啦。」XD 09/10 16:19
我記得用這些東西還要注意 C89 跟 C99 的問題，好像還有些在 Linux 底下根本不能用
我記得之前寫作業的時候有看到這樣的問題啊，反正算了都過去了（？
啊對好像就是 itoa 在 Linux 底下不能用
抱歉，我的問題應該是，所以 mingw 不能用 itoa 嘍
在實驗裡面計時這個行為影響實驗本身極小可以忽略不計？
--那你可能是寫不夠深，我可以幫你找需要追求效能的議題研究--
分線程計時好像是另一個問題吧，可是為什麼計時要分線程
等等，你的電視那個廠牌好奇怪，現在還有那家公司啊？
至少像 time.time() 之類的方式計時是不準的，然後用 time 這個指令也不準
Python 下下时间戳应该是 timeit module
timeit 好像嚴格來說還是不夠準的樣子，我之前砍 python/performance 裡面的扣，他們用的是 perf
我記得之前好像說過用 time 這個功能不準是因為 time 測量的時間幅度太大了，從程式開始到程式結束都會測量，這樣對於整體來說可影響的點太多
我之前是用 Haskell 有個 bench 的工具，不過我還沒認真去看為什麼那個測時間比較準確
criterion 厉害的是跑多次，然后得到准确的时间。靠回归啦，常态是独立概率事件的
这种情况，重复运行你要 benchmarking 的部位多次，放大差距 🌚 就好了
Hm...如果真的有那麼簡單，那我之前做實驗的時候幹嘛搞那麼複雜...
忘記了，現在不是很想探討這議題，反正探討了也不能做實驗((
就是我email打錯，後來改了force push了可是有人有我舊的那份所以他merge remote 後push
你不是把前面的commit改掉了嗎 這樣他merge會壞掉吧
對啊我改了前面的commit 他是用gitkracken可能按一按就（？
為什麼這個repo會被init三次啦 —砍掉重練可能比較快ㄦ-
1b78881 4dd9b23 b8c4b78都是init commit喔
真的沒有QQ 我只會基本的add commit push
那你就不要在本地再弄一隻branch出來啊wwwww
奇怪可是我push之後我看log是正常的 等到糖糖弄了才變重複的0.0
我也沒有打過branch 或checkout指令 ...?
ＱＱ 我真的不知道發生什麼了 我只有用我熟悉的幾個command啊啊啊啊
你們要做事先git pull —rebase就沒事惹
想刪掉重複的commit 就是錯誤的email的～
commit 數不多
可不可以重開repo然後cherry pick過去啊
你乾脆跟我講你想要哪幾筆commit要保留好了 我全部拉回一個branch上
因為我不知道你要怎麼刪www 而且還有一堆merge
直接開個 orphan branch 然後 cherry-pick 還比較實際
[GitHub - Z3Prover/z3: The Z3 Theorem Prover]
https://github.com/Z3Prover/z3
Contribute to z3 development by creating an account on GitHub. ... Z3. Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license.
[Z3 - Home]
https://z3.codeplex.com/
13 Apr 2015 ... Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 has moved to github: Z3. News. Most information previously available here is now in the Z3 Wiki. This site will be retired and taken down as ...
[Z3 Tutorial - rise4fun]
http://rise4fun.com/z3/tutorial
Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a ...
可是手機上不也有程式可以解數學題？而且還有 Wolfram Alpha
明明也是解數學題 我覺得matlab更簡單 看起來功能更多耶
剛剛以為是 House Bill 5606
想說估狗應該跟那個沒關係才對XDD
可是除了歐盟外有誰在收費嗎？再說收費也不是問題解決方案啊…
(declare-fun f (Int Int) Int)
(assert (forall ((x Int)) (= (f x 0) 1 )))
(assert (forall ((x Int)) (= (f x 1) x )))
(assert (forall ((x Int) (y Int)) (= (/ (f x y) x) (f x (- y 1)) ) ))
(check-sat)
unknown
可是對於 Google 來說被罰那點根本不痛不癢吧？
應該不可能罰這數字吧，不相信 Google 不會上訴
有興趣玩看看 Cryptocurrency Card 的可以看看（？
我以為 Linux 都不開 Secure Boot 的（？
Lenovo 假設都是用 Windows server
要把第一筆init換掉用replace後才變噁心的
一頁都寫不完
我只有覺得你們很厲害到底為什麼可以把repo弄成那樣
所以呢 看你們是要給我權限幫你們清還是自己clone下來推回去
是在github上init license，然後又在local init?
然後我就怕你們不知道怎麼處理本地的commit了www
希望不是記憶體問題，雖然我是用 ECC rdimm
我剛剛 lxc launch 的時候機器就 panic 啊
我不懂你為什麼要砍掉 /var/log/journal
…為什麼開 LXC 會 Panic，這哪裡會有問題
/usr/bin/xmodmap 那行你放在 .xprofile 就好了啊
單純 sudo rm -rf / 真的多數會黨啦 你自己開虛擬機玩玩看 會阻止
這我開始好奇了，我只記得Windows會擋而已www
我沒時間搞虛擬機且我也不想要在我的實體電腦上這麼做
「話說那個可以建立空檔和更新時間戳的那個指令是啥」
呃 不清楚ㄇ
dd if=/dev/zero of=filename bs=1024 count=2GB
這也算空的啊
備份現有檔案 重新clone
把原本檔案丟回去 commit
6 很像是那種在古老的 Linux 教科書裡面才會看到的版本XD
他自己的commit還沒弄完的意思ＸＤ 不是你啦～
--commit壞了沒關係阿，大不了全部合併成一個commit而已--
話說我伺服器的 IP 是 2001:470:f956:314::
我網卡是拿 2001:470:f956:314:: 的說
是在講我的 v6 是透過 6in4 從
he.net 在香港的 v4 主機轉 v6 出去的
本來想找 6to4 可是發現
he.net 給的是 6in4
中華的 6to4 貌似只給中華用戶
當然
ASCC也收攤了
現在除了hinet直接v6外沒啥辦法了
是說你就算TFN連hinet的v6也是慢到不行啊wwww
我剛確實查了一下，我只是想確認我查到的東西對不對而已，看你的反應就知道對了（？
雖然我能生走TFN v4給HN v6的tunnel
我的 Telegram 已經放棄直接連了，我都開 SS 跳去 GCP TW 再連 Telegram（？
我應該可以再開個 SS 給你，反正我的 SS 都是用 Docker 跑的
My Data Center is DC1 (Miami, US)
My Data Center is DC5 (Singapore, Asia)
My Data Center is DC5 (Singapore, Asia)
My Data Center is DC5 (Singapore, Asia)
My Data Center is DC5 (Singapore, Asia)
My Data Center is DC5 (Singapore, Asia)
My Data Center is DC5 (Singapore, Asia)
My Data Center is DC5 (Singapore, Asia)
是說我以為 Telegram 的 DC 地點都不公開的
反正我就很爽爽在DC1不用跟你們一起塞台灣悲劇的亞洲區互聯(O
My Data Center is DC5 (Singapore, Asia)
My Data Center is DC1 (Miami, US)
但是我們每次merge後 檔案的參數都會抓不到 完全悲劇
Google Voice は米国でのみご利用になれます。Google Voice を利用するには、米国の電話番号でお申し込みください。
我記得我以前好像有成功辦過 Google Voice，不知道是不是因為太久沒用 Google Cancel 掉了（？
為什麼 Google 不推類似 Lightsail 的方案啦QQ
有啊 git Kracken上面給的衝突塊是 我們宣告變數的參數 跟 圖片的部分
我的 GCP 上的 VM 更新了一個鐘頭還沒好 ._.
原本我以為是我程式寫爛，可是直接在local put檔案就正常
我現在Backup and Sync是一個完全開不起來的狀態
試看看是真的 Google Drive File Stream 這麼廢還是是 macOS 的問題（？
我得要確定到底會動到什麼部分，不然等等我毀了別人的 GDrive 就死定了（？
安安 對 Container 有興趣嘛
— 網路是 HKBN 不要介意就好了 —
Why not, although I need more info about pricing
目前是有 NAT 的 所以我開便宜一點好了
1 Core / 512MB RAM
NAT-ed, 1Gbps Port
$5/mo
LXC 沒法子做限制 只好說 Best Effort 誒
@licson 你有 Production-Ready 的 k8s cluster 可以出租嗎？
Node 用 Azure Standard A1v2 level 可能都夠
測試的話 Single node 的 Kubernetes 就好了
到現在我的方法還是用 Azure clone 多一台一樣的出來試