Systems Programming 筆記 part 2
2024 Fall 台大資工系必修 老師:鄭卜壬
OS Concept & Intro. to UNIX
UNIX History, Standardization & Implementation
File I/O
Standard I/O Library
Files and Directories
System Data Files and Information
Environment of a Unix Process
Mark Chen 演講 teaching GPTs to reason
Nov 25, 2024
MIT 畢業,去作 quant,然後加入 openai
history of scaling gpt
GPT-2, build model to solve one thing
GPT-3, inner and outer loop. Can generate news that fools human
GPT-4, perform well on exams(高中生). Scales predictably important for safety
Systems Programming 筆記 part 1
2024 Fall 台大資工系必修 老師:鄭卜壬
OS Concept & Intro. to UNIX
UNIX History, Standardization & Implementation
File I/O
Standard I/O Library
Files and Directories
System Data Files and Information
Environment of a Unix Process
2025-04-15 by Lisa Su
Video
之前就邀請過幾次,但 Computex 時都太忙。
座談
AMD 的從純 CPU 轉變成 CPU+GPU 等的 Powerhouse :大多數觀眾都是CSEE。公司最重要的是決定要成長成怎樣,AMD 的特別之處就是高效能運算、夥伴關係(TSMC)、半導體產業一直在變化(摩爾定律被打破)。
令人興奮的半導體的最新發展:需要一起設計硬體、軟體、系統。
HTML 筆記
HTML week 3
Data labels
Supervised
Unsupervised
Semi-supervised
Self-supervised
自己產生資料,比如從輸出產生輸入,把完整的拼圖打亂,叫Machine把它拼回去。自監督式學習 Self-Supervised Learning for Computer Vision 之概述
Weakly-supervised
TAMC 筆記
week 3
Hardness Amplification(Concrete ver.)
By reduction, suppose $f_k$ is not $(t',\epsilon')-OW$. That is $\exists Adv^{f_k}$ break $(t',\epsilon')-OW$ for $f_k$. Construct R to break $(t,\epsilon)-OW$ for $f$.
Reduction
$\forall i\in[k]$, let $y_i=y, \vec{x_{-i}}\leftarrow {0,1}^{n(k-1)}$, let $\vec{y_{-i}}=f(\vec{x_{-i}})$. Compute $\vec{x'}=Adv^{f_k}(\vec{y})$ for $\frac{2kn}{\gamma}$ times for each $i$. If $Adv^{f_k}$ wins, or $f_k(\vec{x'})=\vec{y}$, then $R(y)=x$ and $R$ wins.
Obs
for $i\in[k]$, $x\leftarrow {0,1}^n, y_{i}=f(x)$.If$$\text{For }x,\Pr[Adv^{f_k}(y_i,y_{-i})\text{ wins}] \ge \frac{\gamma}{2k}$$$$\Rightarrow \Pr[Adv^{f_k}\text{ fails in all }\frac{2kn}{\gamma}\text{ tries}] \le e^{-n}$$