r/ProgrammingLanguages 17h ago

Verifying the Rust Standard Library

Thumbnail amazon.science
29 Upvotes

r/ProgrammingLanguages 18h ago

Unambiguous Operator Specification for Programming Languages

Thumbnail nvitya.github.io
15 Upvotes

As I changed recently the operators in my programming language I've created this specification:

https://nvitya.github.io/pluops/

I did not wanted to overload the operators like the C does with *, & and /. I was orienting for existing solutions so this is what I came up with. The specification contains the symbol usages and operator precedence too.

If you are developing a new programming language, it would be nice to follow some standard, so at least the expressions would be portable between the languages.

I'm open for debates or suggestions.


r/ProgrammingLanguages 15h ago

Lost Bytes At The Crossroads Between User- And Kernel-Level Memory Allocation

Thumbnail ibr.cs.tu-bs.de
3 Upvotes