Progress

This page is the project's status board. Update it in the same commit as the work.

Milestones

Done

• ☑ Lexer, parser, one-pass type check and x86-64 codegen
• ☑ Static ELF64 writer: no assembler, linker or libc
• ☑ Bounds-checked indexing and slicing, zeroed memory, no escaping slices
• ☑ trusted std module as the only place with raw syscalls
• ☑ Dead-code elimination (only code reachable from main)
• ☑ lpp file.lpp runs like a script, lpp build writes a binary, shebang support
• ☑ argc()/arg(i), copy intrinsic
• ☑ HTTP server, forked workers, static file serving
• ☑ Test suite: examples, runtime traps, rejected unsafe programs, live web routes
• ☑ Socket read/write timeouts (5 s), so an idle connection cannot hold a worker
• ☑ Files streamed in 16 KB chunks: site worker RSS 288 KB → ~70 KB
• ☑ Live memory panel on the home page: HTML+CSS generated by lpp per request, no JavaScript
• ☑ This site, served by an lpp binary on https://lpp.olibuijr.com (2026-10-04)

Adversarial review (2026-10-04)

An independent review filed 23 tasks. Adopted and done:

• ☑ Signed division overflow defined (MIN / -1 wraps, MIN % -1 = 0); separate trap messages
• ☑ put, put_int, parse_int correct over the whole int range
• ☑ copy has memmove semantics
• ☑ Every function is type-checked, even if never called; duplicate parameters and locals rejected
• ☑ Bounded arrays, frames, source size, module count and nesting; page-probed stack growth
• ☑ trusted allowed only in std/sys.lpp
• ☑ Per-user, owner-checked run cache; exclusive temp files; verified cache hits
• ☑ Static files confined by the kernel (openat2), regular files only, length-bounded streaming
• ☑ HTTP requests read across fragments; 400/408/431 handling; HEAD without body; header injection refused
• ☑ Errors kept as negative errno; EINTR retries; accept back-off; lingering close
• ☑ Workers capped at 64, die with the parent, reaped by the kernel
• ☑ Literal interning, short immediates, traps emitted only when used (exit 256 → 191 bytes)
• ☑ lpp check, strict CLI arguments, --help exits 0
• ☑ Test runner with exact exits and diagnostics: 54 checks, including byte-by-byte request fragmentation
• ☑ make bench: reproducible baselines in bench/results/

Moved to the roadmap: cache before compiling, stack-slot reuse, an optimizing code generator, compiler allocation work, an epoll event loop.

Second review (2026-10-04)

18 more tasks (024–041), all adopted and done:

• ☑ Depth limits on the real AST (flat sums, postfix chains, else-if chains); compiler on a 64 MiB-stack thread
• ☑ lpp build never overwrites a source file (extensionless input or any used module)
• ☑ Output and cache modes set explicitly, so umask 0111 still gives runnable binaries
• ☑ put_le/le_u64 round-trip negative numbers; c_path always NUL-terminates; sys_socket adds CLOEXEC idempotently
• ☑ Bounded lingering close (absolute 1 s), every blocking read/send bounded by the time left
• ☑ Header validation before dispatch (Host, names, control bytes, Content-Length, Transfer-Encoding)
• ☑ 204/304 carry no body or Content-Length
• ☑ Check pass keeps one function's code at a time (4,000-function file checks in 31 ms)
• ☑ HEAD never touches the 16 KiB body-chunk stack pages
• ☑ Benchmark: compiler RSS from the compiler itself (LPP_STATS), responses validated, provenance recorded, --self-test
• ☑ Timeout tests run against a 1 s head timeout with matching client budgets
• ☑ Explicit LPP_STD never falls back; -- works for build, check and run
• ☑ SIGPIPE ignored: writes to a closed pipe return -32

0.3 language

• ☑ Structs (nested, array fields, u8/u32 fields, copy semantics)
• ☑ Enums with payloads, match on enums and ints, with exhaustiveness checks
• ☑ &T reference parameters with the no-slice-through-reference rule
• ☑ Function values, fn(...) types, calls through variables and fields
• ☑ Bitwise operators & | ^ << >> ~, \xNN escapes, full-range hex literals
• ☑ file:line:col errors with the source line and a caret
• ☑ HTTP handler API: http_serve(port, workers, handler), Request struct, HttpServer config

Next up

• ☐ return slices derived from parameters
• ☐ [N]T arrays, struct literals, for loops

Numbers

Measured with make bench on an i7-10700K, Linux 7.2. Results are in bench/results/.