5 ms·
Hey everyone, please stop naming things Mir for a while. Thanks!
by DominoTree 7y ago
Hey everyone, please stop naming things Mir for a while. Thanks!
- giancarlostoro 7y ago> https://en.wikipedia.org/wiki/Mir_(disambiguation)#Science_and_technology https://en.wikipedia.org/wiki/Mir_(disambiguation)#Science_a... I feel like this list is missing some more, but yeah, there's been a few 'Mir' projects.
- jordigh 7y agoI was thinking of this Mir: http://docs.mir.dlang.io/latest/index.html http://docs.mir.dlang.io/latest/index.html
- giancarlostoro 7y agoI was thinking of Rust's MIR being missing too: https://blog.rust-lang.org/2016/04/19/MIR.html https://blog.rust-lang.org/2016/04/19/MIR.html
- wyldfire 7y ago> That is, we are introducing a new intermediate representation (IR) of your program that we call MIR: MIR stands for mid-level IR, because the MIR comes between the existing HIR ("high-level IR", roughly an abstract syntax tree) and LLVM (the "low-level" IR). It's so terribly confusing because LLVM itself defines a .mir (Machine IR) that is a syntax between its IR and the backend (which could be thought of as mid-level IR). When I heard about Rust's MIR, I assumed it was some clever way to generate target-dependent IR. The good news is that we now have M(L)IR: the one IR to bring them all and in the darkness bind them.
- anp 7y agoIf anything I expect MLIR to make things more confusing as Rust’s MIR is probably going to be around for the long haul.
- crystaldev 7y agoI was thinking of this Mir: https://mir-server.io/ https://mir-server.io/
- walkingolof 7y agoI was thinking of the Soviet Spacestation Mir, probably will tell you my age... https://en.wikipedia.org/wiki/Mir https://en.wikipedia.org/wiki/Mir
- crystaldev 7y agoEveryone thinks of the Mir space station first, no?
- catalogia 7y agoProbably most people past their mid 20s, I don't know that many schools teach about it.
- crystaldev 7y agoThat sounds right, anybody with memory of 2001 when its deorbit was in the news.
- pleasewaiting 7y ago> DominoTree Are you the same DominoTree as the renowned racist and miscreant Nick Price? If not, that's an unfortunate coincidence for you to have chosen that username! edit: Judging by the votes, I suppose it MUST be! :^)
- NoImmatureAdHom 7y agoPlease don't do this here.