Back to articles

Salt: Systems programming, mathematically verified

News

Salt: Systems programming, mathematically verified

via Lobsterssalt-lang.dev via munksgaard4h ago

Comments

Continue reading on Lobsters

Opens in a new tab

Read Full Article

7 views

Related Articles

Choosing a Language Based on its Syntax?

Lobsters • 39m ago

New York hits the brakes on robotaxi expansion plan

New York hits the brakes on robotaxi expansion plan

TechCrunch • 41m ago

New York drops plan to legalize robotaxis in setback for Waymo

New York drops plan to legalize robotaxis in setback for Waymo

The Verge • 41m ago

Turtle Beach’s new PC controller with swiveling sticks is 30 percent off

Turtle Beach’s new PC controller with swiveling sticks is 30 percent off

The Verge • 52m ago

Zuckerberg grilled in court over social media harms on teens

Zuckerberg grilled in court over social media harms on teens

TechCrunch • 52m ago

Discover More Articles