News for hackers. Stuff that matters.
Re:ZZ is a modern formally provable dialect of C by wheels on Wednesday February 05, 2020 @09:47AM (#22247047)
I know people often refer to C as portable assembly, but really it's not. That sounds like the sort of thing gets repeated by people who neither know C nor assembly. C is incomparably higher level than assembly and lacks the quirkiness modern instruction sets have which are focused on specific odd things modern processors do well.
Re:ZZ is a modern formally provable dialect of C by Psyladine on Wednesday February 05, 2020 @10:16AM (#22247385)
Bit like chicken & egg though, with processors chasing better implementations of C rather than better implementations of assembly:

https://queue.acm.org/detail.cfm?id=3212479

Re:ZZ is a modern formally provable dialect of C by lallysingh on Wednesday February 05, 2020 @02:21PM (#22250120)
I refer you to MASM macros in the late 1990s.

If you want the same runtime environment of asm without the tediousness of asm development, and a reasonable optimizer to save you more tediousness, you end up at C. I count that as close enough.