_index.org

I wrote a OS kernel that just runs LISP for the raspberry pi 0

Last edited: March 3, 2026

Because 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, 2026

if 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, 2026

SU-SOC175 MAR092026

Last edited: March 3, 2026

China: 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