Convex Optimization Index
Last edited: March 3, 2026EE364A.stanford.edu
Lecture
I wrote a OS kernel that just runs LISP for the raspberry pi 0
Last edited: March 3, 2026Because cursed languages work best together. Repo is here.
Some Motivation
We wanted an Emacs OS, but that required implementing libc syscalls and also just getting glib to compile, which is obviously not happening. Instead we are going for the second-best thing, which is to be able to interactively write an OS in Emacs.
And thus this project essentially involves enabling the process of incremental development of an operating system kernel. That is, beyond the bare basics and the important, atomic things, everything else should be able to be written and interpreted as they are written (e.g., instead of being compiled into the kernel before).
Interior Point Method
Last edited: March 3, 2026if we are within the feasible set already, we can do these to prevent us form getting out:
inequality constrained optimization
Generally things are of t]shape:
\begin{align} \min_{x}\quad & f_{0}\qty(x) \\ \textrm{s.t.} \quad & f_{i}\qty(x) \leq 0, i = 1\dots m \\ & Ax =b \end{align}
- convex, tie differentiable
- \(p^{*}\) is finite and attained
- strictly feasible
These include… LP, QP, QCQP, geometric program.
indicator barrier
Reformulate:
\begin{align} \min_{x}\quad & f_{0}\qty(x) + \sum_{i=1}^{m} I_{-}\qty(f_{i}\qty(x)) \\ \textrm{s.t.} \quad & Ax = b \end{align}
o
Last edited: March 3, 2026SU-SOC175 MAR092026
Last edited: March 3, 2026China: just lowered the growth target to 4.5% from the 5% go.
China’s Prospects…
Pessimistic
goals
- pre-2008 reforms completely stalled
- SOE too useful for party control and thus they will try to maintain control
- SOEs thus too useful for party control
Because the party starting from 2012 will try to maintain control, party more likely to cling levels of control than try to invocate.
leadership
misconceived priorities: they see SOEs as central 1) global leadership, 2) belt and road — diplomatic and strategic goals and 3) desire to make SOEs national champions
