Li: software you can trust at speed
A programming language for engineering and science work that needs to run fast and stay checkable.
Some software has to be fast and trustworthy. That is what Li is for.
Li is a programming language for the hard parts of a system: core calculations, simulations, and other work where mistakes are expensive and speed matters. It is not aimed at everyday app screens.
Most languages optimize for shipping features. Li is built so important code can run quickly and still be checked for correctness. Compiler, tools, and proof work sit in one place instead of getting bolted on later.
You should not have to choose between a fast path nobody can verify and a careful path nobody wants to run. Li treats speed and trust as one problem.
Li is still early. Not every comparison is finished. The direction is clear: software that is fast, and easier to trust than a pile of scripts and artificial intelligence glue.
For sail.black, Li is systems research toward a firmer base for scientific software and products that need stronger guarantees.