linear

Building discovery machines that learn, act, and collaborate by discovering how the world works. Research in embodied intelligence, robotics, AI, and machine learning.

<p>An extremely small and incomplete linear algebra I wrote over the weekend to test Rust's handling of const generics.</p>

Binary search looks in the middle of a list to make a guess about where a search value is. If that guess is wrong, it can eliminate half of the list (based on whether the search value is less than …

<p>This can be replicated with the code in the notebook: <a href="https://colab.research.google.com/github/likenneth/othello_world/blob/master/Othello_GPT_Circuits.ipynb" rel="ugc">https://colab.research.google.com/github/likenneth/othello_world/blob/master/Othello_GPT_Circuits.ipynb</a></p>

Memory, Pages, mmap, and Linear Address Spaces

While Large Language Models (LLMs) rely on highly non-linear components, in this work we demonstrate that they exhibit fundamental linearity: when inputs from distinct text streams are linearly combined, the model…

PRIMAL is a high-performance mathematical optimization solver for linear, mixed-integer, quadratic, and conic programming, designed as a modern, open and extensible alternative to proprietary optim...

A benchmark for AI-discovered numerical solvers: fast, accurate, and general solutions to large sparse linear systems.

Linear is one of my favorite software finds of the last few years. I’m not as big of a fan when it comes to their token-hungry MCP server though. I recently switched to this (unofficial) CLI and my rough estimate is…

What is linear pluggable optics (LPO)? Learn how LPO vs DSP optics differ, and why LPO is cutting data center power consumption in AI interconnect deployments.