靠邀我剛剛拿 Desmos 去跑 根本沒有對 [0,1] 都成立啊
面積公式 :直接對y積分
弧長公式: \integral sqrt(1+(dy/dx)^2) dx
等等 他會不會是想說 cos(1/x) / x^2
我有預感我告訴你以後10分鐘內你就會告訴我解答
y=y(x)
可是如果是 cos(1/x)
/x^2 就不會是 inf 了
蘋果不能不這麼做啊，中國是立法規定的…如果沒有照做就是違法，尤其針對大型的企業來說，這很重要（？
我還在 bopomopo_tw 然後他很合我打字習慣
截面積
假設高是h
弓形ㄉ面積是 S(0,h)sqrt(r²-(r-x)²)dx
所以體積是
S(0,L)S(0,xr/L)sqrt(r²-(r-y)²)dydx
@koru1130 (a) Find the curve that passes through (1, 4) and has the property that if the tangent line is drawn at any point P
on the curve, then the part of the tangent line that lies in the first quadrant is bisected at P.
可以幫我翻譯這題目到底在說什麼嗎?
就是 Sine 定義是基於 unit circlr
這是 Sawfish WM + Tint2 + GkrellM
Powered by: Neo_Chen's Retro-Style
不過在 VM 跑 Linux 桌面是比 Windows 輕量多了
VM 的話 Windows 花很多 CPU 去點陣化介面
我這邊是 Sawfish + xcompmgr + tint2，所以還算可以
IBM CADET: Can't Add, Doesn't Even Try.
我發現 FreeBSD 的 ZFS 其實有 zstd 的 PR
IBM Mainframe 可以加倍專屬硬件 JVM 處理器
IBM System/360 是能用 Microcode 模擬 IBM 1401 （早期型號）和 IBM 709x （後期型號）的
PDP-10 則是能用 UUO 做 System Call
甚至現在的 Z/System 可以跑以前 System/360 的組語
好像是 64 Bit / 31 Bit / 24 Bit Addressing 都型
他架構很神奇，可以有幾十個 CU（CPU 代名詞）但是為了可以熱插拔 CPU 他會把那麼多顆虛擬為一顆
只不過現在的 IBM 硬體沒有 IBM 7094 相容
VMTSS 的感覺（Virtual Machine Time-sharing System）
我記得 Multics 的 GE645 也可以這樣合體
但 GE 後來把 Mainframe 事業賣給 Honeywell 了
現在還在賣 Mainframe 的大概只有 IBM
而且 IBM 把 Mainframe 生態系弄得和 x86 伺服器的生態系有點重疊
除了 z/OS 還有 Ubuntu on z/System 和 z/VM
這樣下去感覺他們要出 RHEL on z/System
Mainframe 既然這麼威，現在是被拿來幹嘛呀？
和 transactional IO 有關係的東西
x86 伺服器要一群的組叢集才有一台 Mainframe 的穩定
話說如果 z/System 要模擬 IBM System/360，要存取古董磁帶該怎麼辦？
我公司最近買了台 IBM 磁帶櫃
但是磁帶沒貨只插了四十多塊
PDP-7 的 DECtape 格式和 PDP-8 就有差
前陣子有人在挖 PDP-7 軟體的時候就在搞修改 PDP-8 的磁帶控制器
我想算算看要多少容量以上，磁帶儲存（包含磁帶機）的成本才會（向下）超越硬碟
剛剛嘗試用 Linux 的 snd-pcsp （蜂鳴器）模組播放音樂，居然真的能用
不過這模組大概只有我的 linux-Neo_Chen 會開
Imperative Programming 的code 轉成 Functional Programming 的 code
老師說可以用 C#, C++, C 寫，我都用 C
我們來丟些 Haskell 的簡單 Example ㄅ
來一點 Shell Script Orientated Programming
```
fib 1 = 1
fib 2 = 1
fib n = fib (n-1) + fib (n-2)
WOW SUCH RECURSIVE (Doge)
quicksort :: Ord a => [a] -> [a]
quicksort [] = []
quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater)
where
lesser = filter (< p) xs
greater = filter (>= p) xs
不過只要 C 寫得出來的東西，我大概都能翻成 PDP-8 Assembly
我唯一寫過比較有用的東西是一個用 struct 存 Preprocess 過程式碼的 Brainfuck Interpreter
你需要用y組合字，無變數的brainfuck intepreter 嗎(?
我覺得他是我寫過最反人類的東西
我需要 SUBLEQ 的 Brainfuck Interpreter
我覺得我需要一個 Parser 來寫 Assembler
return trainNN(); // who cares
我沒sgd之類的optimizer，所以就乾脆重來
... NN ? 是 Neural Network 嗎
WTF
0 = {}
1 = {S:{}}
2 = {S:{S:{}}}
Randomly Wired Neural Network
add 0 x = x
add (S x) y = add x (S y)
我那只是2->4->1的神經網絡，已經不明白原理了
function add(a, ...others) {
return others.length?
a:
add(subAdd(a, others[0]), others.slice(1))
}
function subAdd(a, b) {
return b.S?
subAdd({S: a}, b.S):
a
}
搞成遞迴是只有針對 for / while 之類的 loop ㄇ
Static Single Assignment form
不夠 Hardcore，改用 X11 直接 Port Forward（
Arch Linux 才是正道， Manjaro 是邪魔外道（X
只是那個 Mellanox 的 SR-IOV VF 網卡進去 VM 以後 Windows 常常給我 code 10
不過，Linux我比較會用，拿來開在家比較合適（？
不過認真說，日常操作的話用 Linux 根本感覺不到差別吧？
唯獨在 Office 之類的時候才不得不用 Microsoft 軟體
cpu tdp * 1.5 + gpu tdp * 1.5
是說 N 卡的 Code 43 好像只存在在 Windows 上
我換 Linux 就沒毛病了，有毛病是 N 家閉源驅動的問題機會比較大（？
9900k超頻 + 2080ti主機 = 95*2.5 + 260 * 1.5 = 627.5w，所以650w電源足夠.. ?
所以..... 我
(145 * 2.5) * 2 + (260 * 1.5) + (180 * 1.5)
OVMF BIOS出現個splash後就卡死不動了
各種搞不懂 可能要考慮對OVMF debug試試了
一個cpu小超頻跑mprime，另一個cpu小超頻跑furmark cpu負載
gpu1超頻跑linux的furmark，gpu2超頻跑windows的furmark
另外，主機閒置220w，兩個cpu終極滿載，主機可遠1050w
幾乎都可以忽略不計
不然就抓個50W給周邊就很夠了
唯一例外是你硬碟一大串
那馬達如果沒錯開啟動電源就要抓更大點
阿就是要debug PCIe passthrough的bug你換平台能幹啥啊
我換 gnome-shell-performance 之後還是會有這種狀況：（
make this bot to say some message, Usage
/ say #channel_name [-rj] messages..
/ say [-rj] messages..
flags:
r: raw string, no line break
j: full js format string
make this bot to say some message, Usage
/ say #channel_name [-rj] messages..
/ say [-rj] messages..
flags:
r: raw string, no line break
j: full js format string
make this bot to say some message, Usage
/ say #channel_name [-rj] messages..
/ say [-rj] messages..
flags:
r: raw string, no line break
j: full js format string
數學上的很多案例告訴我們
只要提到自己就很可能會出事(
ibus never works on telegram
Hm...你的 telegram-desktop 怎麼來的？