I’d be curious if this was similar to the Western Digital Pascal chips: https://... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		shrubble 38 days ago \| parent \| context \| favorite \| on: The world has a running Rational R1000/400 compute... I’d be curious if this was similar to the Western Digital Pascal chips: https://en.wikipedia.org/wiki/Pascal_MicroEngine Supposedly the first verification of the first Ada compiler was done on a system made with the Pascal MicroEngine.

MaxLeiter 38 days ago [–]

It doesn’t answer your question but I came across this yesterday doing some research on the R1000 (which is why I came across the OP). You might find it interesting:

Ada Compiler Validation Summary Report: Rational Environment

https://apps.dtic.mil/sti/tr/pdf/ADA157830.pdf

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact