technical.cx Sources

Lobsters

A line-by-line translation of the OCaml runtime from C to Rust

The Rust community owes the OCaml community a debt of gratitude, the first Rust compiler was written in OCaml. In this post we rewrite the OCaml runtime in Rust. Consider it our down payment on repaying the debt. …

Lobsters

Goodbye, Leaf-and-Spine Networks? « ipSpace.net blog

A friend of mine sent me links to a new paper published by AWS engineers, and an associated LinkedIn post which claims: We got lean, resilient, massive aggregation fabrics that provide 33% better throughput with 69% fewer routers, savings 27% of costs,...

Lobsters

Blogging with an LLM assistant

As a non-native English writer, I rely on LLMs for grammar, copyediting, and translation, despite hating AI slop.

Lobsters

Vulnerabilities | OpenSSL Library

Show issues fixed only in OpenSSL 4.0, 3.6, 3.5, 3.4, 3.3, 3.2, 3.1, 3.0, 1.1.1, 1.1.0, 1.0.2, 1.0.1, 1.0.0, 0.9.8, 0.9.7, 0.9.6.

Lobsters

ATS-PL-SYS

ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both...

Programming

Programming

Lobsters

5.15. Property Graphs

5.15. Property Graphs # A property graph is a way to represent database contents, as an alternative to the usual (in …

Databases

Databases